On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games.
Phan Minh DungPublished in: Artif. Intell. (1995)
Keyphrases
- nonmonotonic reasoning
- logic programming
- logic programs
- argumentation systems
- defeasible reasoning
- default reasoning
- default logic
- answer set programming
- deductive databases
- abstract argumentation
- knowledge representation
- defeasible argumentation
- conditional logic
- game theory
- belief revision
- knowledge base
- reasoning tasks
- extended logic programs
- answer sets
- autoepistemic logic
- abductive reasoning
- programming language
- classical logic
- knowledge representation and reasoning
- nonmonotonic logics
- constraint logic programming
- possibility theory
- defeasible logic
- argumentation semantics
- truth maintenance systems
- defeasible logic programming
- stable models
- default theories
- fixpoint
- answer set semantics
- normal logic programs
- database
- partial order
- natural language
- database systems
- machine learning