Suchergebnisse - Non-monotonic Inductive Logic Programming

Conflict-Driven Inductive Logic Programming von LAW, MARK

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

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

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

Learning weak constraints in answer set programming von 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 …”
Volltext

A new algorithm to automate inductive learning of default theories von 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 …”
Volltext

Using abduction and induction for operational requirements elaboration von 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 …”
Volltext

Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME von 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 …”
Volltext

Introducing possibilistic logic in ILP for dealing with exceptions von 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 …”
Volltext

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

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

Integrated Commonsense Reasoning and Deep Learning for Transparent Decision Making in Robotics von 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 …”
Volltext

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

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

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

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

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

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

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

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

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

A defeasible reasoning model of inductive concept learning from examples and communication von 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 …”
Volltext

A New Algorithm to Automate Inductive Learning of Default Theories von 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 …”
Volltext

PrASP Report von Nickles, Matthias

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

Introduction to the 30th International Conference on Logic Programming Special Issue von 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 …”
Volltext

Introduction to the 27th International Conference on Logic Programming Special Issue von 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 …”
Volltext

Inductive situation calculus von Denecker, Marc, Ternovska, Eugenia

“… inductive definitions and non-monotone forms of inductive definitions such as iterated induction …”
Volltext