Pedro Cabalar Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Causal Logic Programming. Correct Reasoning 2012: 102-116
c33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Paulo E. Santos: Formalising the Fisherman's Folly puzzle. Artif. Intell. 175(1): 346-377 (2011)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: A logical characterisation of ordered disjunction. AI Commun. 24(2): 165-175 (2011)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Functional answer set programming. TPLP 11(2-3): 203-233 (2011)
c32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
c31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 334-343
c30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Stéphane Demri: Automata-Based Computation of Temporal Equilibrium Models. LOPSTR 2011: 57-72
c29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Loop Formulas for Splitable Temporal Logic Programs. LPNMR 2011: 80-92
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Martín Diéguez: STeLP - A Tool for Temporal Answer Set Programming. LPNMR 2011: 370-375
2010
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: A Normal Form for Linear Temporal Equilibrium Logic. JELIA 2010: 64-76
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Functional Answer Set Programming. CoRR abs/1006.3678 (2010)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: A Logical Charaterisation of Ordered Disjunction. CoRR abs/1011.4833 (2010)
2009
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
2008
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Partial Functions and Equality in Answer Set Programming. ICLP 2008: 392-406
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Gilberto Pérez Vega: Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. CoRR abs/cs/0701095 (2007)
2006
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Paulo E. Santos: Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35
2005
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17
2004
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Lorenzo: New Insights on the Intuitionistic Interpretation of Default Logic. ECAI 2004: 798-802
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, David Lorenzo: Logic Programs with Functions and Default Values. JELIA 2004: 294-306
2002
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: A Three-Valued Characterization for Strong Equivalence of Logic Programs. AAAI/IAAI 2002: 106-111
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP 2002: 378-392
c7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Alternative Characterizations for Strong Equivalence of Logic Programs. CoRR cs.AI/0207032 (2002)
2001
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Well Founded Semantics as Two dimensional Here and There. Answer Set Programming 2001
2000
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose: Temporal Constraint Networks in Action. ECAI 2000: 543-547
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero: PAL: Pertinence Action Language. CoRR cs.AI/0003048 (2000)
1999
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar: Temporal Answer Sets. APPIA-GULP-PRODE 1999: 351-366
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro: Introducing Planning in Discrete Event Systems. EUROCAST 1997: 146-159
1995
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo: Discrete Event Simulation in an Environment for Temporal Expert Systems. EUROCAST 1995: 271-282
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ramón P. Otero, David Lorenzo, Pedro Cabalar: Automatic Induction of DEVS Structures. EUROCAST 1995: 305-313

Coauthor Index

1Felicidad Aguado
[c33] [c29] [c23]
2Alvaro Barreiro
[c3] [c2]
3Manuel Cabarcos
[i1] [c3]
4Stéphane Demri
[c30]
5Martín Diéguez
[c33] [c28]
6Paolo Ferraris
[j1] [i3]
7David Lorenzo
[c11] [c10] [c2] [c1]
8Sergei P. Odintsov
[c26] [j2] [c17] [c16] [c15] [c14]
9Ramón P. Otero
[c5] [i1] [c3] [c2] [c1]
10David Pearce
[c26] [c25] [j2] [c20] [c19] [c17] [c16] [c15] [c14] [c13] [c12]
11Silvia Gómez Pose
[c5]
12Gilberto Pérez
[c33] [c29] [c23]
13Panos Rondogiannis (Panagiotis Rondogiannis)
[c19]
14Paulo E. Santos
[j5] [c22] [c18]
15Agustín Valverde
[c25] [j2] [c20] [c16] [c15] [c13] [c12]
16Gilberto Pérez Vega
[c21]
17Concepción Vidal
[c33] [c29] [c23]
18William W. Wadge
[c19]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 10:54:18 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page