A Logic Programming System for Nonmonotonic Reasoning.
José Júlio AlferesCarlos Viegas DamásioLuís Moniz PereiraPublished in: J. Autom. Reason. (1995)
Keyphrases
- nonmonotonic reasoning
- logic programming
- logic programs
- default reasoning
- deductive databases
- knowledge representation
- answer set programming
- conditional logic
- default logic
- knowledge base
- abductive reasoning
- reasoning tasks
- possibility theory
- answer sets
- knowledge representation and reasoning
- nonmonotonic logics
- programming language
- autoepistemic logic
- probabilistic reasoning
- stable models
- general purpose
- extended logic programs
- constraint logic programming
- answer set semantics
- defeasible reasoning
- classical logic
- artificial intelligence
- default theories
- defeasible logic