Algebraic Approach to Causal Logic Programs

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.

EXTENDED ABSTRACT