( en | de | ru )

 

Disambiguation of "Cabalar, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Equilibrium Logic: A First Approach.

, and . EUROCAST, volume 4739 of Lecture Notes in Computer Science, page 241-248. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Other publications of authors with the same name

Well Founded Semantics as Two dimensional Here and There.. Answer Set Programming, (2001)Answer Set Programming from a Logical Point of View., , and . Künstliche Intell., 32 (2-3): 109-118 (2018)Editor's Note., , , , , , , , , and . Int. J. Interact. Multim. Artif. Intell., 6 (5): 4-7 (2021)Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles., , , , and . Appl. Intell., 52 (4): 4488-4510 (2022)Causal Logic Programming.. Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 102-116. Springer, (2012)A Three-Valued Characterization for Strong Equivalence of Logic Programs.. AAAI/IAAI, page 106-111. AAAI Press / The MIT Press, (2002)Temporal Equilibrium Logic.. Log-IC@LPNMR, volume 738 of CEUR Workshop Proceedings, page 3. CEUR-WS.org, (2011)Deontic Equilibrium Logic with eXplicit Negation., , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 498-514. Springer, (2023)Stable Models for Temporal Theories - - Invited Talk -.. LPNMR, volume 9345 of Lecture Notes in Computer Science, page 1-13. Springer, (2015)Enablers and Inhibitors in Causal Justifications of Logic Programs., and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 199-212. Springer, (2015)