Author of the publication

The DIAMOND System for Computing with Abstract Dialectical Frameworks.

, and . COMMA, volume 266 of Frontiers in Artificial Intelligence and Applications, page 233-240. IOS Press, (2014)

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

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams., , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 177-189. Springer, (2022)The DIAMOND System for Computing with Abstract Dialectical Frameworks., and . COMMA, volume 266 of Frontiers in Artificial Intelligence and Applications, page 233-240. IOS Press, (2014)Evaluating Abstract Dialectical Frameworks with ASP., and . COMMA, volume 245 of Frontiers in Artificial Intelligence and Applications, page 505-506. IOS Press, (2012)ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks., and . AI³@AI*IA, volume 3546 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Answering Queries with Negation over Existential Rules., , and . AAAI, page 5626-5633. AAAI Press, (2022)Asynchronous Multi-Context Systems., and . Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, volume 9060 of Lecture Notes in Computer Science, page 141-156. Springer, (2015)DIAMOND 3.0 - A Native C++ Implementation of DIAMOND., and . COMMA, volume 287 of Frontiers in Artificial Intelligence and Applications, page 471-472. IOS Press, (2016)Multi-Context Reasoning in Continuous Data-Flow Environments.. Leipzig University, Germany, (2018)ADF-BDD: An ADF Solver Based on Binary Decision Diagrams., , , and . COMMA, volume 353 of Frontiers in Artificial Intelligence and Applications, page 355-356. IOS Press, (2022)Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications.. ICCSW, volume 35 of OASIcs, page 19-26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2013)