( en | de | ru )

 

Disambiguation of "Cabalar, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Lower Bound Founded Logic of Here-and-There.

, , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 509-525. Springer, (2019)

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

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)An Investigation of Actions, Change and Space., and . ICAPS, AAAI, (2013)A Three-Valued Characterization for Strong Equivalence of Logic Programs.. AAAI/IAAI, page 106-111. AAAI Press / The MIT Press, (2002)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)Temporal Equilibrium Logic.. Log-IC@LPNMR, volume 738 of CEUR Workshop Proceedings, page 3. CEUR-WS.org, (2011)Well Founded Semantics as Two dimensional Here and There.. Answer Set Programming, (2001)Deontic Equilibrium Logic with eXplicit Negation., , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 498-514. Springer, (2023)Splitting Epistemic Logic Programs., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 120-133. Springer, (2019)