By Jorge Fandiño,
University of Corunna
2015
Abstract
Answer Set Programming (ASP), a paradigm based on the stable model semantics, has become one of the most successful formalisms for knowledge representation in Artificial Intelligence. Causal logic programs are an extension of ASP whose goal is to reason about the causes that justify derived facts.