Argumentation Reasoning via Circumscription with Pyglaf.
Mario AlvianoPublished in: Fundam. Informaticae (2019)
Keyphrases
- commonsense knowledge
- legal reasoning
- argumentation systems
- defeasible reasoning
- default reasoning
- evidential reasoning
- legal cases
- abstract argumentation
- knowledge representation
- nonmonotonic reasoning
- knowledge base
- default logic
- logic programs
- practical reasoning
- reasoning systems
- automated reasoning
- reasoning tasks
- commonsense reasoning
- nonmonotonic logics
- probabilistic reasoning
- situation calculus
- argumentation based negotiation
- information gathering
- agent communication
- autoepistemic logic
- qualitative reasoning
- partial order
- logic programming
- bayesian networks