Generalized subsumption and its applications to induction and redundancy
Artificial Intelligence
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Intensional updates: abduction via deduction
Logic programming
Induction as nonmonotonic inference
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Proceedings of the first international workshop on Logic programming and non-monotonic reasoning
Proceedings of the first international workshop on Logic programming and non-monotonic reasoning
Belief updating from integrity constraints and queries
Artificial Intelligence
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Logical characterisations of inductive learning
Handbook of defeasible reasoning and uncertainty management systems
Machine Learning
Foundations of Inductive Logic Programming
Foundations of Inductive Logic Programming
Knowledge Representation with Logic Programs
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
The Many Faces of Inductive Logic Programming
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
ILP '97 Proceedings of the 7th International Workshop on Inductive Logic Programming
Normal Programs and Multiple Predicate Learning
ILP '98 Proceedings of the 8th International Workshop on Inductive Logic Programming
Learning Non-Monotonic Logic Programs: Learning Exceptions
ECML '95 Proceedings of the 8th European Conference on Machine Learning
Learning extended logic programs
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
AILP abductive inductive logic programming
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Probabilistic rule learning in nonmonotonic domains
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Inductive logic programming in answer set programming
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Learning from interpretation transition
Machine Learning
| Hi-index | 0.00 |
Nonmonotonic logic programming (NMLP) and inductive logic programming (ILP) are two important extensions of logic programming. The former aims at representing incomplete knowledge and reasoning with commonsense, while the latter targets the problem of inductive construction of a general theory from examples and background knowledge. NMLP and ILP thus have seemingly different motivations and goals, but they have much in common in the background of problems, and techniques developed in each field are related to one another. This paper presents techniques for combining these two fields of logic programming in the context of nonmonotonic inductive logic programming (NMILP). We review recent results and problems to realize NMILP.