Defining new argumentation-based semantics by minimal models.
Juan Carlos NievesUlises CortésMauricio OsorioIván OlmosJesus A. GonzalezPublished in: ENC (2006)
Keyphrases
- minimal models
- propositional logic
- autoepistemic logic
- logic programs
- nonmonotonic reasoning
- model theoretic
- default logic
- logic programming
- truth maintenance systems
- semantics for logic programs
- stable models
- default reasoning
- nonmonotonic logics
- default theories
- formal semantics
- operational semantics
- search space
- high level
- knowledge base
- fixpoint
- artificial intelligence
- genetic programming
- relational databases