Computing Argumentation Semantics in Answer Set Programming.
Toshiko WakakiKatsumi NittaPublished in: JSAI (2008)
Keyphrases
- answer set programming
- argumentation semantics
- logic programming
- logic programs
- answer sets
- strong equivalence
- nonmonotonic reasoning
- constraint logic programming
- causal theories
- stable model semantics
- stable models
- answer set programs
- knowledge representation
- answer set semantics
- qualitative spatial and temporal reasoning
- default theories
- argumentation frameworks
- constraint satisfaction
- semantic web
- haplotype inference
- object oriented
- artificial intelligence