Pedro Cabalar

2008
28	EE	Pedro Cabalar: Partial Functions and Equality in Answer Set Programming. ICLP 2008: 392-406
27	EE	Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20
2007
26	EE	Pedro Cabalar, Gilberto Pérez Vega: Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248
25	EE	Pedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
24	EE	Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge: A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57
23	EE	Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
22	EE	Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs CoRR abs/cs/0701095: (2007)
21	EE	Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
2006
20	EE	Pedro Cabalar, Paulo Santos: Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429
19	EE	Pedro Cabalar, Sergei P. Odintsov, David Pearce: Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601
18	EE	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
17	EE	Pedro 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
15	EE	Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
14	EE	Pedro 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
12	EE	Pedro 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
10	EE	Pedro 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
8	EE	Pedro Cabalar: Alternative Characterizations for Strong Equivalence of Logic Programs CoRR cs.AI/0207032: (2002)
2001
7	EE	Pedro 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
5	EE	Pedro 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

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

Colors in the list of coauthors