Search the dblp DataBase
Pedro Cabalar :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Pedro Cabalar A Three-Valued Characterization for Strong Equivalence of Logic Programs. [Citation Graph (0, 0)][DBLP ] AAAI/IAAI, 2002, pp:106-111 [Conf ] Pedro Cabalar Temporal Answer Sets. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1999, pp:351-366 [Conf ] Pedro Cabalar Well Founded Semantics as Two dimensional Here and There. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] Pedro Cabalar , David Pearce , Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2005, pp:- [Conf ] Pedro Cabalar , David Lorenzo New Insights on the Intuitionistic Interpretation of Default Logic. [Citation Graph (0, 0)][DBLP ] ECAI, 2004, pp:798-802 [Conf ] Pedro Cabalar , Ramón P. Otero , Silvia Gómez Pose Temporal Constraint Networks in Action. [Citation Graph (0, 0)][DBLP ] ECAI, 2000, pp:543-547 [Conf ] Pedro Cabalar , David Pearce , Agustín Valverde Reducing Propositional Theories in Equilibrium Logic to Logic Programs. [Citation Graph (0, 0)][DBLP ] EPIA, 2005, pp:4-17 [Conf ] Pedro Cabalar , Ramón P. Otero , Manuel Cabarcos , Alvaro Barreiro Introducing Planning in Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] EUROCAST, 1997, pp:146-159 [Conf ] Ramón P. Otero , Alvaro Barreiro , Pedro Cabalar , David Lorenzo Discrete Event Simulation in an Environment for Temporal Expert Systems. [Citation Graph (0, 0)][DBLP ] EUROCAST, 1995, pp:271-282 [Conf ] Ramón P. Otero , David Lorenzo , Pedro Cabalar Automatic Induction of DEVS Structures. [Citation Graph (0, 0)][DBLP ] EUROCAST, 1995, pp:305-313 [Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. [Citation Graph (0, 0)][DBLP ] IBERAMIA-SBIA, 2006, pp:592-601 [Conf ] Pedro Cabalar , Paulo Santos Strings and Holes: An Exercise on Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] IBERAMIA-SBIA, 2006, pp:419-429 [Conf ] Pedro Cabalar A Rewriting Method for Well-Founded Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP ] ICLP, 2002, pp:378-392 [Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce , Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. [Citation Graph (0, 0)][DBLP ] ICLP, 2006, pp:346-360 [Conf ] Pedro Cabalar , David Lorenzo Logic Programs with Functions and Default Values. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:294-306 [Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce , Agustín Valverde On the Logic and Computation of Partial Equilibrium Models. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:82-94 [Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce Logical Foundations of Well-Founded Semantics. [Citation Graph (0, 0)][DBLP ] KR, 2006, pp:25-35 [Conf ] Pedro Cabalar , David Pearce , Panos Rondogiannis , William W. Wadge A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. [Citation Graph (0, 0)][DBLP ] LPNMR, 2007, pp:44-57 [Conf ] Pedro Cabalar Alternative characterizations for strong equivalence of logic programs. [Citation Graph (0, 0)][DBLP ] NMR, 2002, pp:229-237 [Conf ] Pedro Cabalar , Manuel Cabarcos , Ramón P. Otero PAL: Pertinence Action Language [Citation Graph (0, 0)][DBLP ] CoRR, 2000, v:0, n:, pp:- [Journal ] Pedro Cabalar Alternative Characterizations for Strong Equivalence of Logic Programs [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Pedro Cabalar , Gilberto Pérez Vega Temporal Equilibrium Logic: A First Approach. [Citation Graph (0, 0)][DBLP ] EUROCAST, 2007, pp:241-248 [Conf ] Pedro Cabalar , David Pearce , Agustín Valverde Minimal Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:104-118 [Conf ] Pedro Cabalar , Sergei P. Odintsov , David Pearce , Agustín Valverde Partial equilibrium logic. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2007, v:50, n:3-4, pp:305-331 [Journal ] Pedro Cabalar , Paolo Ferraris Propositional theories are strongly equivalent to logic programs [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Well-Founded and Partial Stable Semantics Logical Aspects. [Citation Graph (, )][DBLP ] Partial Functions and Equality in Answer Set Programming. [Citation Graph (, )][DBLP ] A Normal Form for Linear Temporal Equilibrium Logic. [Citation Graph (, )][DBLP ] Strongly Equivalent Temporal Logic Programs. [Citation Graph (, )][DBLP ] A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP ] Functional Answer Set Programming [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.302secs