Výsledky vyhľadávania - Non-monotonic Inductive Logic Programming

Conflict-Driven Inductive Logic Programming Autor LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples…”
Získať plný text

Iterative Learning of Answer Set Programs from Context Dependent Examples Autor LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA

“…In recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP…”
Získať plný text

Learning weak constraints in answer set programming Autor LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA

“…This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP…”
Získať plný text

A new algorithm to automate inductive learning of default theories Autor SHAKERIN, FARHAD, SALAZAR, ELMER, GUPTA, GOPAL

“… In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs…”
Získať plný text

Using abduction and induction for operational requirements elaboration Autor Alrajeh, D., Ray, O., Russo, A., Uchitel, S.

“… This paper presents an Inductive Logic Programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification…”
Získať plný text

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME Autor Shakerin, Farhad, Gupta, Gopal

“… Then, in order to explain the model's global behavior, we propose the LIME-FOLD algorithm ---a heuristic-based inductive logic programming (ILP…”
Získať plný text

Introducing possibilistic logic in ILP for dealing with exceptions Autor Serrurier, Mathieu, Prade, Henri

“…In this paper we propose a new formalization of the inductive logic programming (ILP) problem for a better handling of exceptions…”
Získať plný text

Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models Autor Shakerin, Farhad

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Získať plný text

Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics Autor Mota, Tiago, Sridharan, Mohan, Leonardis, Aleš

“… As a step towards addressing this challenge, our architecture combines the complementary strengths of non-monotonic logical reasoning with incomplete commonsense domain knowledge, deep learning, and inductive learning…”
Získať plný text

Inductive Learning of Answer Set Programs from Noisy Examples Autor Law, Mark, Russo, Alessandra, Broda, Krysia

“…In recent years, non-monotonic Inductive Logic Programming has received growing interest…”
Získať plný text

Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models Autor Shakerin, Farhad

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Získať plný text

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions Autor Hou, Ping, Wittocx, Johan, Denecker, Marc

“…The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions…”
Získať plný text

Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining Autor Shakerin, Farhad, Gupta, Gopal

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Získať plný text

A Logic for Non-Monotone Inductive Definitions Autor Denecker, Marc, Ternovska, Eugenia

“…), this paper formalizes the principle of iterated induction in a new logic for Non-Monotone Inductive Definitions (ID-logic…”
Získať plný text

A defeasible reasoning model of inductive concept learning from examples and communication Autor Ontañón, Santiago, Dellunde, Pilar, Godo, Lluís, Plaza, Enric

“… We define a consequence relation characterizing which hypotheses can be induced from given sets of examples, and study its properties, showing they correspond to a rather well-behaved non-monotonic logic…”
Získať plný text

A New Algorithm to Automate Inductive Learning of Default Theories Autor Shakerin, Farhad, Salazar, Elmer, Gupta, Gopal

“… In this paper, we present new algorithms to learn default theories in the form of non-monotonic logic programs…”
Získať plný text

PrASP Report Autor Nickles, Matthias

“…This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP…”
Získať plný text

Introduction to the 30th International Conference on Logic Programming Special Issue Autor LEUSCHEL, MICHAEL, SCHRIJVERS, TOM

“…The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic…”
Získať plný text

Introduction to the 27th International Conference on Logic Programming Special Issue Autor GALLAGHER, JOHN, GELFOND, MICHAEL

“…Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again…”
Získať plný text

Inductive situation calculus Autor Denecker, Marc, Ternovska, Eugenia

“… inductive definitions and non-monotone forms of inductive definitions such as iterated induction…”
Získať plný text