An Argumentation Approach to Semantics of Declarative Programs with Defeasible Inheritance.
Ekawit NantajeewarawatVilas WuwongsePublished in: ASIAN (1999)
Keyphrases
- defeasible reasoning
- declarative semantics
- argumentation frameworks
- defeasible logic
- formal semantics
- argumentation systems
- nonmonotonic reasoning
- conditional logic
- legal reasoning
- argumentation semantics
- inheritance reasoning
- fixpoint semantics
- practical reasoning
- knowledge representation
- logic programming
- multiple inheritance
- update semantics
- object oriented
- default reasoning
- argumentation theory
- deductive databases
- object oriented databases
- truth maintenance systems
- object oriented languages
- natural language
- grounded semantics
- abstract argumentation frameworks
- logic programming language
- abstract argumentation
- argumentation schemes
- nonmonotonic logics
- default logic
- knowledge representation and reasoning
- control flow
- fixpoint