On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming.
Phan Minh DungPublished in: IJCAI (1993)
Keyphrases
- logic programming
- nonmonotonic reasoning
- logic programs
- argumentation systems
- defeasible reasoning
- default reasoning
- default logic
- defeasible argumentation
- answer set programming
- conditional logic
- extended logic programs
- autoepistemic logic
- deductive databases
- answer sets
- nonmonotonic logics
- classical logic
- knowledge base
- knowledge representation
- abductive reasoning
- programming language
- possibility theory
- probabilistic reasoning
- constraint logic programming
- knowledge representation and reasoning
- abstract argumentation
- stable models
- defeasible logic
- belief revision
- minimal models
- fixpoint
- object oriented
- database
- defeasible logic programming
- truth maintenance systems
- answer set semantics
- expert systems
- database systems
- artificial intelligence