Reformulating Action Language C+ in Answer Set Programming.

Published in: Correct Reasoning (2012)

Keyphrases

action language
answer set programming
logic programming
logic programs
answer sets
reasoning tasks
action descriptions
answer set programs
causal theories
stable model semantics
knowledge representation
web services