Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming.
Joseph BabbJoohyung LeePublished in: LPNMR (2013)
Keyphrases
- answer set programming
- action language
- logic programming
- logic programs
- answer sets
- answer set solvers
- answer set programs
- reasoning tasks
- action descriptions
- stable model semantics
- causal theories
- default theories
- stable models
- modulo theories
- update semantics
- knowledge representation
- incomplete information
- first order logic
- state space