Keyphrases
- nonmonotonic reasoning
- formal theory
- commonsense reasoning
- logic programming
- default reasoning
- default logic
- nonmonotonic inference
- multi agent
- possibility theory
- conditional logic
- causal inference
- defeasible reasoning
- belief revision
- belief update
- argumentation systems
- multiagent systems
- multi agent systems
- defeasible logic
- knowledge representation
- logic programs
- autoepistemic logic
- default rules
- closely related
- programming language
- autonomous agents
- experimental data
- knowledge base