Autor der Publikation

Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.

, , , , , , , , , und (Hrsg.) Volume 306 von EPTCS, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)., und . CoRR, (2023)Distributed Subweb Specifications for Traversing the Web., , , , , und . CoRR, (2023)Certified Dominance and Symmetry Breaking for Combinatorial Optimisation., , , und . J. Artif. Intell. Res., (2023)Fixpoint Semantics for Recursive SHACL., und . ICLP Technical Communications, Volume 345 von EPTCS, Seite 41-47. (2021)Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended algorithms and examples)., , und . CoRR, (2023)Predicate logic as a modeling language: the IDP system., , , , und . Declarative Logic Programming, Volume 20 von ACM Books, ACM / Morgan & Claypool, (2018)Non-deterministic Approximation Operators: Ultimate Operators, Semi-equilibrium Semantics, and Aggregates., und . Theory Pract. Log. Program., 23 (4): 632-647 (Juli 2023)Exploiting Game Theory for Analysing Justifications., , und . Theory Pract. Log. Program., 20 (6): 880-894 (2020)Executable First-Order Queries in the Logic of Information Flows., , , , und . ICDT, Volume 155 von LIPIcs, Seite 4:1-4:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Simplifying Step-Wise Explanation Sequences., , , , und . CP, Volume 280 von LIPIcs, Seite 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)