4 research outputs found
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
This paper presents a rich knowledge representation language aimed at
formalizing causal knowledge. This language is used for accurately and directly
formalizing common benchmark examples from the literature of actual causality.
A definition of cause is presented and used to analyze the actual causes of
changes with respect to sequences of actions representing those examples.Comment: Under consideration for publication in Theory and Practice of Logic
Programmin
An Online Logic Programming Development Environment
Recent progress in logic programming, particularly answer set programming, has enabled us to teach it to undergraduate and high school students. We developed an online answer set programming environment with simple interface and self contained file system. It is expected to make the teaching of answer set programming more effective and help us to reach more students