dblp.uni-trier.dewww.uni-trier.de

Pedro Cabalar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
28EEPedro Cabalar: Partial Functions and Equality in Answer Set Programming. ICLP 2008: 392-406
27EEFelicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20
2007
26EEPedro Cabalar, Gilberto Pérez Vega: Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248
25EEPedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
24EEPedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
23EEPedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
22EEPedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs CoRR abs/cs/0701095: (2007)
21EEPedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
2006
20EEPedro Cabalar, Paulo Santos: Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429
19EEPedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
18EEPedro 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
17EEPedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94
16 Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. KR 2006: 25-35
2005
15EEPedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
14EEPedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17
2004
13 Pedro Cabalar, David Lorenzo: New Insights on the Intuitionistic Interpretation of Default Logic. ECAI 2004: 798-802
12EEPedro Cabalar, David Lorenzo: Logic Programs with Functions and Default Values. JELIA 2004: 294-306
2002
11 Pedro Cabalar: A Three-Valued Characterization for Strong Equivalence of Logic Programs. AAAI/IAAI 2002: 106-111
10EEPedro Cabalar: A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP 2002: 378-392
9 Pedro Cabalar: Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237
8EEPedro Cabalar: Alternative Characterizations for Strong Equivalence of Logic Programs CoRR cs.AI/0207032: (2002)
2001
7EEPedro Cabalar: Well Founded Semantics as Two dimensional Here and There. Answer Set Programming 2001
2000
6 Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose: Temporal Constraint Networks in Action. ECAI 2000: 543-547
5EEPedro Cabalar, Manuel Cabarcos, Ramón P. Otero: PAL: Pertinence Action Language CoRR cs.AI/0003048: (2000)
1999
4 Pedro Cabalar: Temporal Answer Sets. APPIA-GULP-PRODE 1999: 351-366
1997
3 Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro: Introducing Planning in Discrete Event Systems. EUROCAST 1997: 146-159
1995
2 Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo: Discrete Event Simulation in an Environment for Temporal Expert Systems. EUROCAST 1995: 271-282
1 Ramón P. Otero, David Lorenzo, Pedro Cabalar: Automatic Induction of DEVS Structures. EUROCAST 1995: 305-313

Coauthor Index

1Felicidad Aguado [27]
2Alvaro Barreiro [2] [3]
3Manuel Cabarcos [3] [5]
4Paolo Ferraris [21] [22]
5David Lorenzo [1] [2] [12] [13]
6Sergei P. Odintsov [16] [17] [18] [19] [23]
7Ramón P. Otero [1] [2] [3] [5] [6]
8David Pearce [14] [15] [16] [17] [18] [19] [23] [24] [25]
9Gilberto Pérez [27]
10Silvia Gómez Pose [6]
11Panos Rondogiannis (Panagiotis Rondogiannis) [24]
12Paulo Santos [20]
13Agustín Valverde [14] [15] [17] [18] [23] [25]
14Gilberto Pérez Vega [26]
15Concepción Vidal [27]
16William W. Wadge [24]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)