| 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
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
An abductive proof procedure for conditional logic programming
Practical Reasoning | 2019-04-29 | Paper |
Achieving completeness in the verification of action theories by bounded model checking in ASP
Journal Of Logic And Computation | 2015-12-28 | Paper |
Business process verification with constraint temporal answer set programming
Theory and Practice of Logic 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
Theory and Practice of Logic Programming | 2013-06-26 | Paper |
Verifying business process compliance by reasoning about actions
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Specifying and verifying systems of communicating agents in a temporal action logic
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Reasoning about conversation protocols in a logic-based agent language
Lecture Notes in Computer Science | 2010-03-05 | Paper |
Theoretical Computer Science
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Verifying Agents’ Conformance with Multiparty Protocols
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Verification of Protocol Conformance and Agent Interoperability
Lecture Notes in Computer Science | 2009-04-28 | Paper |
The Seventies
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Specifying and verifying interaction protocols in a temporal action logic
Journal of Applied Logic | 2007-07-25 | Paper |
Tableau-based automata construction for dynamic linear time temporal logic
Annals of Mathematics and Artificial Intelligence | 2007-01-24 | Paper |
Reasoning about interaction protocols for customizing web service selection and composition
The Journal of Logic and Algebraic Programming | 2007-01-09 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Programming rational agents in a modal action logic
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2044515 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1884362 (Why is no real title available?) | 2003-03-18 | Paper |
Reasoning about actions in dynamic linear time temporal logic
Logic Journal of the IGPL | 2001-05-16 | Paper |
Ramification and causality in a modal action logic
Journal Of Logic And Computation | 2000-12-19 | Paper |
Conditional reasoning in logic programming
The Journal of Logic Programming | 2000-05-25 | Paper |
A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
Journal Of Logic And Computation | 1999-01-03 | Paper |
| scientific article; zbMATH DE number 1189095 (Why is no real title available?) | 1998-10-08 | Paper |
Extending negation as failure by abduction: A three-valued stable model semantics
The Journal of Logic Programming | 1997-05-28 | Paper |
| scientific article; zbMATH DE number 928020 (Why is no real title available?) | 1997-01-02 | Paper |
Structuring logic programs: a modal approach
The Journal of Logic Programming | 1995-05-18 | Paper |
On cumulative default logics
Artificial Intelligence | 1995-01-02 | Paper |
Extending Horn clause logic with implication goals
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 36613 (Why is no real title available?) | 1992-06-28 | Paper |
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems | 1982-01-01 | Paper |
Dynamic Programming as Graph Searching: An Algebraic Approach
Journal of the ACM | 1981-01-01 | Paper |
Optimizing decision trees through heuristically guided search
Communications of the ACM | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3628339 (Why is no real title available?) | 1978-01-01 | Paper |
On the complexity of admissible search algorithms
Artificial Intelligence | 1977-01-01 | Paper |
A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph
Journal of the ACM | 1976-01-01 | Paper |
An application of heuristic search methods to edge and contour detection
Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3570219 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3454407 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3465339 (Why is no real title available?) | 1974-01-01 | Paper |
Nonserial dynamic programming: On the optimal strategy of variable elimination for the rectangular lattice
Journal of Mathematical Analysis and Applications | 1972-01-01 | Paper |
