The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pedro Cabalar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pedro Cabalar
    A Three-Valued Characterization for Strong Equivalence of Logic Programs. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:106-111 [Conf]
  2. Pedro Cabalar
    Temporal Answer Sets. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:351-366 [Conf]
  3. Pedro Cabalar
    Well Founded Semantics as Two dimensional Here and There. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  4. 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]
  5. Pedro Cabalar, David Lorenzo
    New Insights on the Intuitionistic Interpretation of Default Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:798-802 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. Ramón P. Otero, David Lorenzo, Pedro Cabalar
    Automatic Induction of DEVS Structures. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1995, pp:305-313 [Conf]
  11. 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]
  12. Pedro Cabalar, Paulo Santos
    Strings and Holes: An Exercise on Spatial Reasoning. [Citation Graph (0, 0)][DBLP]
    IBERAMIA-SBIA, 2006, pp:419-429 [Conf]
  13. Pedro Cabalar
    A Rewriting Method for Well-Founded Semantics with Explicit Negation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:378-392 [Conf]
  14. 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]
  15. Pedro Cabalar, David Lorenzo
    Logic Programs with Functions and Default Values. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:294-306 [Conf]
  16. 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]
  17. Pedro Cabalar, Sergei P. Odintsov, David Pearce
    Logical Foundations of Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:25-35 [Conf]
  18. 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]
  19. Pedro Cabalar
    Alternative characterizations for strong equivalence of logic programs. [Citation Graph (0, 0)][DBLP]
    NMR, 2002, pp:229-237 [Conf]
  20. Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero
    PAL: Pertinence Action Language [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  21. Pedro Cabalar
    Alternative Characterizations for Strong Equivalence of Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  22. Pedro Cabalar, Gilberto Pérez Vega
    Temporal Equilibrium Logic: A First Approach. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:241-248 [Conf]
  23. Pedro Cabalar, David Pearce, Agustín Valverde
    Minimal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:104-118 [Conf]
  24. 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]
  25. Pedro Cabalar, Paolo Ferraris
    Propositional theories are strongly equivalent to logic programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  26. Well-Founded and Partial Stable Semantics Logical Aspects. [Citation Graph (, )][DBLP]


  27. Partial Functions and Equality in Answer Set Programming. [Citation Graph (, )][DBLP]


  28. A Normal Form for Linear Temporal Equilibrium Logic. [Citation Graph (, )][DBLP]


  29. Strongly Equivalent Temporal Logic Programs. [Citation Graph (, )][DBLP]


  30. A Revised Concept of Safety for General Answer Set Programs. [Citation Graph (, )][DBLP]


  31. Functional Answer Set Programming [Citation Graph (, )][DBLP]


Search in 0.010secs, Finished in 0.011secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002