Author of the publication

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective.

, , and . Theory Pract. Log. Program., 22 (5): 708-722 (2022)

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.

 

Other publications of authors with the same name

Game Semantics for Non-monotonic Intensional Logic Programming., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 329-341. Springer, (2013)On the Semantic Approaches to Boolean Grammars., , and . Topological and Game-Theoretic Aspects of Infinite Computations, volume 08271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)An Algorithm for Querying Linked Data Using Map-Reduce., , , and . Globe, volume 8059 of Lecture Notes in Computer Science, page 51-62. Springer, (2013)On weak filters and ultrafilters: Set theory from (and for) knowledge representation., , , , and . Log. J. IGPL, 31 (1): 68-95 (January 2023)Locally stratified Boolean grammars., and . Inf. Comput., 206 (9-10): 1219-1233 (2008)Stathis Zachos at 70!, , , , , , , , , and 1 other author(s). CIAC, volume 10236 of Lecture Notes in Computer Science, page 469-484. (2017)Routing and Wavelength Assignment in Generalized WDM Tree Networks of Bounded Degree., , , and . Panhellenic Conference on Informatics, volume 3746 of Lecture Notes in Computer Science, page 57-67. Springer, (2005)Randomized and Approximation Algorithms for Blue-Red Matching., , and . MFCS, volume 4708 of Lecture Notes in Computer Science, page 715-725. Springer, (2007)Well-Founded Semantics for Boolean Grammars., , and . Developments in Language Theory, volume 4036 of Lecture Notes in Computer Science, page 203-214. Springer, (2006)Topological semantics for default conditional logic: preliminary report., and . SAC, page 897-902. ACM, (2022)