Search Results - Non-monotonic Inductive Logic Programming

Conflict-Driven Inductive Logic Programming by LAW, MARK

“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples…”
Get full text

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

“…In recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP…”
Get full text

Learning weak constraints in answer set programming by 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…”
Get full text

A new algorithm to automate inductive learning of default theories by 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…”
Get full text

Using abduction and induction for operational requirements elaboration by 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…”
Get full text

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME by 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…”
Get full text

Introducing possibilistic logic in ILP for dealing with exceptions by 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…”
Get full text

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

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Get full text

Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics by 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…”
Get full text

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

“…In recent years, non-monotonic Inductive Logic Programming has received growing interest…”
Get full text

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

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Get full text

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions by 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…”
Get full text

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

“…We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models…”
Get full text

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

“…), this paper formalizes the principle of iterated induction in a new logic for Non-Monotone Inductive Definitions (ID-logic…”
Get full text

A defeasible reasoning model of inductive concept learning from examples and communication by 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…”
Get full text

A New Algorithm to Automate Inductive Learning of Default Theories by 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…”
Get full text

PrASP Report by Nickles, Matthias

“…This technical report describes the usage, syntax, semantics and core algorithms of the probabilistic inductive logic programming framework PrASP…”
Get full text

Introduction to the 30th International Conference on Logic Programming Special Issue by 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…”
Get full text

Introduction to the 27th International Conference on Logic Programming Special Issue by 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…”
Get full text

Inductive situation calculus by Denecker, Marc, Ternovska, Eugenia

“… inductive definitions and non-monotone forms of inductive definitions such as iterated induction…”
Get full text