Showing cs.AIShow all
2 papers · 1 filter
cs.AI2007
Propositional theories are strongly equivalent to logic programs
Pedro Cabalar, Paolo Ferraris
This paper presents a property of propositional theories under the answer sets semantics (called Equilibrium Logic for this general syntax): any theory can always be reexpressed as…
cs.AI2000
PAL: Pertinence Action Language
Pedro Cabalar, Manuel Cabarcos, Ramon P. Otero
The current document contains a brief description of a system for Reasoning about Actions and Change called PAL (Pertinence Action Language) which makes use of several reasoning pr…