Author of the publication

Simplifying Step-Wise Explanation Sequences.

, , , , and . CP, volume 280 of LIPIcs, page 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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

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