An Abductive Framework for Extended Logic Programming.
Antonio BrogiEvelina LammaPaolo MancarellaPaola MelloPublished in: LPNMR (1995)
Keyphrases
- logic programming
- logic programs
- extended logic programs
- nonmonotonic reasoning
- deductive databases
- answer set programming
- knowledge base
- constraint logic programming
- knowledge representation
- cooperative multi agent
- logic programming language
- inductive logic programming
- abductive reasoning
- computational logic
- programming language
- machine learning
- object oriented
- reasoning tasks
- stable models
- answer sets
- knowledge representation and reasoning
- domain knowledge
- data model
- linear logic
- declarative semantics
- artificial intelligence
- classical first order logic