- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c34 |      | |
| c33 | | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal: Paving the Way for Temporal Grounding. ICLP (Technical Communications) 2012: 290-300 |
| 2011 | ||
| j5 | | Pedro Cabalar, Paulo E. Santos: Formalising the Fisherman's Folly puzzle. Artif. Intell. 175(1): 346-377 (2011) |
| j4 | | |
| j3 | | |
| c32 | | Pedro Cabalar: Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 |
| c31 | | Pedro Cabalar: Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 334-343 |
| c30 | | Pedro Cabalar, Stéphane Demri: Automata-Based Computation of Temporal Equilibrium Models. LOPSTR 2011: 57-72 |
| c29 | | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Loop Formulas for Splitable Temporal Logic Programs. LPNMR 2011: 80-92 |
| c28 | | Pedro Cabalar, Martín Diéguez: STeLP - A Tool for Temporal Answer Set Programming. LPNMR 2011: 370-375 |
| 2010 | ||
| c27 | | |
| i5 | | |
| i4 | | |
| 2009 | ||
| c26 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11 |
| c25 | | Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70 |
| 2008 | ||
| c24 | | |
| c23 | | Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20 |
| 2007 | ||
| j2 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007) |
| j1 | | Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007) |
| c22 | | Paulo E. Santos, Pedro Cabalar: Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 144-149 |
| c21 | | Pedro Cabalar, Gilberto Pérez Vega: Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248 |
| c20 | | |
| c19 | | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 |
| i3 | | Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. CoRR abs/cs/0701095 (2007) |
| 2006 | ||
| c18 | | Pedro Cabalar, Paulo E. Santos: Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429 |
| c17 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601 |
| c16 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360 |
| c15 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94 |
| c14 | | Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35 |
| 2005 | ||
| c13 | | Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005 |
| c12 | | Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17 |
| 2004 | ||
| c11 |  | Pedro Cabalar, David Lorenzo: New Insights on the Intuitionistic Interpretation of Default Logic. ECAI 2004: 798-802 |
| c10 | | |
| 2002 | ||
| c9 | | Pedro Cabalar: A Three-Valued Characterization for Strong Equivalence of Logic Programs. AAAI/IAAI 2002: 106-111 |
| c8 | | Pedro Cabalar: A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP 2002: 378-392 |
| c7 | | Pedro Cabalar: Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237 |
| i2 | | Pedro Cabalar: Alternative Characterizations for Strong Equivalence of Logic Programs. CoRR cs.AI/0207032 (2002) |
| 2001 | ||
| c6 | | Pedro Cabalar: Well Founded Semantics as Two dimensional Here and There. Answer Set Programming 2001 |
| 2000 | ||
| c5 | | Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose: Temporal Constraint Networks in Action. ECAI 2000: 543-547 |
| i1 | | Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero: PAL: Pertinence Action Language. CoRR cs.AI/0003048 (2000) |
| 1999 | ||
| c4 | | |
| 1997 | ||
| c3 | | Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro: Introducing Planning in Discrete Event Systems. EUROCAST 1997: 146-159 |
| 1995 | ||
| c2 | | Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo: Discrete Event Simulation in an Environment for Temporal Expert Systems. EUROCAST 1995: 271-282 |
| c1 | | Ramón P. Otero, David Lorenzo, Pedro Cabalar: Automatic Induction of DEVS Structures. EUROCAST 1995: 305-313 |
Colors in the list of coauthors
Last update Sat May 25 12:24:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page