- A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
- Minimal logic programs Pedro Cabalar1
- Automata-based Computation of Temporal Equilibrium Models
- Strings and holes: an exercise on spatial reasoning Pedro Cabalar1
- Mtodo automtico de recogida de prcticas file:///c:/Documents%20and%20Settings/viccar/Escritorio/prc/prarec.html 1 de 2 06/04/2005 12:16
- Safety Preserving Transformations for General Answer Set Programs
- Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
- Strongly equivalent temporal logic programs Felicidad Aguado, Pedro Cabalar,
- Loop Formulas for Splitable Temporal Logic Programs
- Holes, Knots and Shapes: A Spatial Ontology of a Puzzle Paulo Santos
- Reducing Propositional Theories in Equilibrium Logic to Logic Programs
- Temporal Equilibrium Logic: a first approach Pedro Cabalar and Gilberto Perez Vega
- Analysing and Extending Well-Founded and Partial Stable Semantics using Partial
- Passing through holes and getting entangled by strings: an automated solution for a spatial puzzle
- Logical Foundations of Well-Founded Semantics Pedro Cabalar
- Logic Programs with Functions and Default Values
- Answer Set; Programming? Pedro Cabalar
- STeLP a Tool for Temporal Answer Set Programming
- A Functional Action Language Front-End Pedro Cabalar
- New insights on the intuitionistic interpretation of Default Logic
- A Revised Concept of Safety for General Answer Set Programs
- Existential quantifiers in the rule body Pedro Cabalar
- Partial Functions and Equality in Answer Set Programming
- A Logical Characterisation of Ordered Disjunction
- On the Logic and Computation of Partial Equilibrium Models (extended version)
- On the Logic and Computation of Partial Equilibrium Pedro Cabalar1
- Minimal logic programs (extended report) Pedro Cabalar1
- Partial Equilibrium Logic Pedro Cabalar1, Sergei Odintsov2, David Pearce3, and Agustin Valverde4
- An Experiment on Tabled Evaluation for Hidden Predicates
- A Preliminary Study on Reasoning About Causes Pedro Cabalar
- Logic Programs and Causal Proofs Pedro Cabalar
- A Normal Form for Linear Temporal Equilibrium Logic
- A rewriting method for Well-Founded Semantics with Explicit Negation.
- Temporal Constraint Networks in Action Pedro Cabalar 1 , Ram on P. Otero 1 and Silvia G. Pose 2
- Universidade da Coru~na Departamento de Computaci on
- Well Founded Semantics as Twodimensional HereandThere Pedro Cabalar
- A ThreeValued Characterization for Strong Equivalence of Logic Programs
- Alternative Characterizations for Strong Equivalence of Logic Programs
- A Logical Characterisation of Ordered Disjunction
- New insights on the intuitionistic interpretation of Default Logic
- SPATIAL COGNITION AND COMPUTATION, vol(issue), 1end Copyright c YYYY, Lawrence Erlbaum Associates, Inc.
- A Logic for Reasoning about Well-Founded Semantics: Preliminary Report
- Formalising the Fisherman's Folly puzzle Pedro Cabalara
