Automating Defeasible Reasoning with Logic Programming.
Jürgen DixFrieder StolzenburgGuillermo Ricardo SimariPablo R. FillottraniPublished in: German-Argentinian Workshop on Information Technology (1999)
Keyphrases
- logic programming
- defeasible reasoning
- nonmonotonic reasoning
- logic programs
- conditional logic
- default reasoning
- knowledge representation and reasoning
- defeasible logic
- deductive databases
- programming language
- answer set programming
- default logic
- knowledge base
- logic programming language
- nonmonotonic logics
- reasoning tasks
- knowledge representation
- formal semantics
- legal reasoning
- stable models
- classical logic
- possibilistic logic
- argumentation systems
- fixpoint
- probabilistic reasoning
- answer sets
- default theories
- information systems