( en | de | ru )

 

Disambiguation of "Cabalar, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Dynamic Answer Set Programming over Finite Traces.

, , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 148-162. 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

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