Pedro Cabalar

	2011
41		Pedro Cabalar: Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011
40		Pedro Cabalar, Martín Diéguez: STeLP - A Tool for Temporal Answer Set Programming. LPNMR 2011: 370-375
39		Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Loop Formulas for Splitable Temporal Logic Programs. LPNMR 2011: 80-92
38		Pedro Cabalar: Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 334-343
37		Pedro Cabalar: A logical characterisation of ordered disjunction. AI Commun. 24(2): 165-175 (2011)
36		Pedro Cabalar, Paulo E. Santos: Formalising the Fisherman's Folly puzzle. Artif. Intell. 175(1): 346-377 (2011)
35		Pedro Cabalar: Functional answer set programming. TPLP 11(2-3): 203-233 (2011)
	2010
34		Pedro Cabalar: A Normal Form for Linear Temporal Equilibrium Logic. JELIA 2010: 64-76
33		Pedro Cabalar: Functional Answer Set Programming CoRR abs/1006.3678: (2010)
32		Pedro Cabalar: A Logical Charaterisation of Ordered Disjunction CoRR abs/1011.4833: (2010)
	2009
31		Pedro Cabalar, Sergei P. Odintsov, David Pearce: Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11
30		Pedro Cabalar, David Pearce, Agustín Valverde: A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70
	2008
29		Pedro Cabalar: Partial Functions and Equality in Answer Set Programming. ICLP 2008: 392-406
28		Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal: Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20
	2007
27		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
26		Pedro Cabalar, Gilberto Pérez Vega: Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248
25		Pedro Cabalar, David Pearce, Agustín Valverde: Minimal Logic Programs. ICLP 2007: 104-118
24		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		Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde: Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007)
22		Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs CoRR abs/cs/0701095: (2007)
21		Pedro Cabalar, Paolo Ferraris: Propositional theories are strongly equivalent to logic programs. TPLP 7(6): 745-759 (2007)
	2006
20		Pedro Cabalar, Paulo E. Santos: Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429
19		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		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		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		Pedro Cabalar, David Pearce, Agustín Valverde: Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005
14		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		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		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		Pedro Cabalar: Alternative Characterizations for Strong Equivalence of Logic Programs CoRR cs.AI/0207032: (2002)
	2001
7		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		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	[28] [39]
2	Alvaro Barreiro	[2] [3]
3	Manuel Cabarcos	[3] [5]
4	Martín Diéguez	[40]
5	Paolo Ferraris	[21] [22]
6	David Lorenzo	[1] [2] [12] [13]
7	Sergei P. Odintsov	[16] [17] [18] [19] [23] [31]
8	Ramón P. Otero	[1] [2] [3] [5] [6]
9	David Pearce	[14] [15] [16] [17] [18] [19] [23] [24] [25] [30] [31]
10	Gilberto Pérez	[28] [39]
11	Silvia Gómez Pose	[6]
12	Panos Rondogiannis (Panagiotis Rondogiannis)	[24]
13	Paulo E. Santos	[20] [27] [36]
14	Agustín Valverde	[14] [15] [17] [18] [23] [25] [30]
15	Gilberto Pérez Vega	[26]
16	Concepción Vidal	[28] [39]
17	William W. Wadge	[24]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page