Keyphrases
- extended logic programs
- logic programming
- programming language
- logic programs
- nonmonotonic reasoning
- answer sets
- incomplete information
- answer set programming
- default logic
- defeasible logic
- conflict resolution
- answer set semantics
- production system
- knowledge representation
- knowledge representation and reasoning
- knowledge base
- general purpose
- object oriented
- stable models
- expert systems
- high level
- artificial intelligence
- default reasoning
- orders of magnitude
- normal logic programs