Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017.
Published in: DARe@LPNMR (2017)
Keyphrases
- nonmonotonic reasoning
- logic programming
- inheritance reasoning
- defeasible reasoning
- nonmonotonic inference
- default reasoning
- reasoning tasks
- logic programs
- commonsense reasoning
- default logic
- knowledge representation and reasoning
- default rules
- defeasible logic
- knowledge base
- abductive reasoning
- knowledge representation
- conditional logic
- answer set programming
- deductive databases
- classical logic
- programming language
- possibility theory
- argumentation systems
- truth maintenance systems
- nonmonotonic logics
- probabilistic reasoning
- answer sets
- extended logic programs
- constraint logic programming
- autoepistemic logic
- defeasible argumentation
- stable models
- answer set semantics
- fixpoint
- description logics
- object oriented
- relational databases
- bayesian networks