Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste.
Mario AlvianoPublished in: RCRA@AI*IA (2017)
Keyphrases
- programming language
- nonmonotonic reasoning
- argumentation systems
- open source
- default logic
- defeasible reasoning
- knowledge base
- default reasoning
- query answering
- situation calculus
- theorem prover
- user preferences
- autoepistemic logic
- answer sets
- consistency checking
- open source software
- commonsense knowledge
- closed world assumption
- nonmonotonic logics
- logic programs
- argumentation frameworks
- clinical practice
- practical reasoning
- scripting language
- control algorithm
- general purpose
- argumentation semantics
- stable model semantics
- argumentation skills
- graphical user interface
- conceptual change
- evidential reasoning
- object oriented programming
- answer set programming
- temporal reasoning
- loop formulas
- partial order
- neural network