Sciweavers

Share
KSEM
2010
Springer

A Formalism for Causal Explanations with an Answer Set Programming Translation

9 years 3 months ago
A Formalism for Causal Explanations with an Answer Set Programming Translation
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, the "declarative aspect" was more theoretical than practical. We show how recent improvements in working ASP systems facilitate the translation.
Yves Moinard
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where KSEM
Authors Yves Moinard
Comments (0)
books