A Model-Theoretic Semantics for Two-Sided Argumentation.
Geng WangZuoquan LinPublished in: FLAIRS Conference (2012)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- proof theoretic
- decision procedures
- logic programs
- default reasoning
- fixpoint
- fixpoint semantics
- probabilistic reasoning
- autoepistemic logic
- proof procedure
- knowledge representation
- logic programming
- reasoning mechanism
- argumentation semantics
- modal logic
- integrity constraints
- query language
- natural language
- finite state machines
- bayesian networks
- query evaluation
- minimal models
- multi agent