Cabalar, Pedro, University of Corunna, Spain
-
2011 AAAI Spring Symposium Series - Logical Formalizations of Commonsense Reasoning
Logic Programs and Causal Proofs
Abstract PDF -
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning - Short Papers
Strong Equivalence of Non-Monotonic Temporal Theories
Abstract PDF -
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning - Answer Set Programming and Logic Programming
Introducing Temporal Stable Models for Linear Dynamic Logic
Abstract PDF