@inbook{95fcb7c8c3e84cb3950de05e7ebf3355,
title = "Reformulating action language C+ in answer set programming",
abstract = "Action language C+ is a high level notation of nonmonotonic causal logic for describing properties of actions. The definite fragment of C+ is implemented in Version 2 of the Causal Calculator (CCalc) based on the reduction of nonmonotonic causal logic to propositional logic. On the other hand, here we present two reformulations of the definite fragment of C+ in terms of different versions of the stable model semantics. The first reformulation is in terms of the recently proposed stable model semantics of formulas with intensional functions, and can be encoded in the input language of CSP solvers. The second reformulation is in terms of the stable model semantics of propositional logic programs, which can be encoded in the input language of ASP systems. The second one is obtained from the first one by eliminating intensional functions in favor of intensional predicates.",
author = "Joohyung Lee",
year = "2012",
doi = "10.1007/978-3-642-30743-0_28",
language = "English (US)",
isbn = "9783642307423",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "405--421",
editor = "Erdem Esra and Lee Joohyung and Lierler Yuliya and Pearce David",
booktitle = "Correct Reasoning",
}