| Publication | Date of Publication | Type |
|---|
| An abductive proof procedure for reasoning about actions in modal logic programming | 2024-10-24 | Paper |
| Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL | 2023-04-04 | Paper |
| Hypothetical updates, priority and inconsistency in a logic programming language | 2022-08-30 | Paper |
| An abductive proof procedure for conditional logic programming | 2019-04-29 | Paper |
| Achieving completeness in the verification of action theories by Bounded Model Checking in ASP | 2015-12-28 | Paper |
| Business process verification with constraint temporal answer set programming | 2014-02-27 | Paper |
| Specialization of interaction protocols in a temporal action logic | 2013-10-07 | Paper |
| Reasoning about interaction protocols for web service composition | 2013-09-11 | Paper |
| Reasoning about actions with Temporal Answer Sets | 2013-06-26 | Paper |
| Verifying Business Process Compliance by Reasoning about Actions | 2010-08-24 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| AI*IA 2003: Advances in Artificial Intelligence | 2010-03-05 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Verifying Agents’ Conformance with Multiparty Protocols | 2009-08-20 | Paper |
| Verification of Protocol Conformance and Agent Interoperability | 2009-04-28 | Paper |
| The Seventies | 2008-06-19 | Paper |
| Specifying and verifying interaction protocols in a temporal action logic | 2007-07-25 | Paper |
| Tableau-based automata construction for dynamic linear time temporal logic | 2007-01-24 | Paper |
| Reasoning about interaction protocols for customizing web service selection and composition | 2007-01-09 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| Programming rational agents in a modal action logic | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4448379 | 2004-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799264 | 2003-03-18 | Paper |
| Reasoning about actions in dynamic linear time temporal logic | 2001-05-16 | Paper |
| Ramification and causality in a modal action logic | 2000-12-19 | Paper |
| Conditional reasoning in logic programming | 2000-05-25 | Paper |
| A modal extension of logic programming: modularity, beliefs and hypothetical reasoning | 1999-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3838802 | 1998-10-08 | Paper |
| Extending negation as failure by abduction: A three-valued stable model semantics | 1997-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893673 | 1997-01-02 | Paper |
| Structuring logic programs: a modal approach | 1995-05-18 | Paper |
| On cumulative default logics | 1995-01-02 | Paper |
| Extending Horn clause logic with implication goals | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3991208 | 1992-06-28 | Paper |
| An Efficient Unification Algorithm | 1982-01-01 | Paper |
| Dynamic Programming as Graph Searching: An Algebraic Approach | 1981-01-01 | Paper |
| Optimizing decision trees through heuristically guided search | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190088 | 1978-01-01 | Paper |
| On the complexity of admissible search algorithms | 1977-01-01 | Paper |
| A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph | 1976-01-01 | Paper |
| An application of heuristic search methods to edge and contour detection | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140765 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777945 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050632 | 1974-01-01 | Paper |
| Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice | 1972-01-01 | Paper |
