PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Cabalar, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Gelfond-Zhang Aggregates as Propositional Formulas.

, , , and . LPNMR, volume 10377 of Lecture Notes in Computer Science, page 117-131. Springer, (2017)

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.

Dr. Elisete Pedrollo University of Stuttgart

 

Other publications of authors with the same name

A qualitative spatial representation of string loops as holes., and . Artif. Intell., (2016)Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs., , and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 592-601. Springer, (2006)Temporal Logic Programs with Temporal Description Logic Axioms., and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 174-186. Springer, (2019)Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 346-360. Springer, (2006)Multi-Context Systems: Dynamics and Evolution., , and . ASPOCP@LPNMR, volume 1868 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Lower Bound Founded Logic of Here-and-There., , , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 509-525. Springer, (2019)Discrete Event Simulation in an Environment for Temporal Expert Systems., , , and . EUROCAST, volume 1030 of Lecture Notes in Computer Science, page 271-282. Springer, (1995)Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates., , , and . TPLP, 18 (3-4): 390-405 (2018)Functional answer set programming.. TPLP, 11 (2-3): 203-233 (2011)An infinitary encoding of temporal equilibrium logic., , and . TPLP, 15 (4-5): 666-680 (2015)