Extensions or the multiadjunct paradigm: logic programming with multireticles and applications to the formal analysis of concepts.
Jorge Ruiz-CalviñoPublished in: Inteligencia Artif. (2009)
Keyphrases
- logic programming
- formal analysis
- default logic
- logic programs
- deductive databases
- nonmonotonic reasoning
- answer set programming
- declarative programming
- knowledge representation
- formal methods
- horn clause logic
- logic programming language
- programming language
- computational logic
- knowledge base
- default theories
- constraint logic programming
- answer sets
- stable models
- inductive logic programming
- background knowledge
- agent model
- general purpose
- high level
- reasoning about actions
- nonmonotonic logics
- normal logic programs
- artificial intelligence
- autoepistemic logic
- fixpoint
- disjunctive logic programming
- propositional variables
- machine learning
- database