| Publication | Date of Publication | Type |
|---|
Executable first-order queries in the logic of information flows
Logical Methods in Computer Science | 2024-06-27 | Paper |
Inputs, Outputs, and Composition in the Logic of Information Flows
ACM Transactions on Computational Logic | 2023-11-03 | Paper |
Executable First-Order Queries in the Logic of Information Flows
(available as arXiv preprint) | 2023-02-07 | Paper |
Non-terminating processes in the situation calculus
Annals of Mathematics and Artificial Intelligence | 2020-06-11 | Paper |
| A language-independent framework for reasoning about preferences for declarative problem solving | 2020-05-13 | Paper |
| An algebra of modular systems: static and dynamic perspectives | 2020-05-13 | Paper |
Propagators and Solvers for the Algebra of Modular Systems
EPiC Series in Computing | 2019-01-10 | Paper |
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| scientific article; zbMATH DE number 6606379 (Why is no real title available?) | 2016-07-26 | Paper |
Clause-learning for modular systems
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
A semantic account for modularity in multi-language modelling of search problems
Frontiers of Combining Systems | 2011-10-07 | Paper |
Speed-up techniques for negation in grounding
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
On the complexity of model expansion
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
PBINT, a logic for modelling search problems involving arithmetic
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Inductive situation calculus
Artificial Intelligence | 2009-07-09 | Paper |
Expressive power and abstraction in Essence
Constraints | 2008-09-02 | Paper |
Constructing Camin-Sokal Phylogenies Via Answer Set Programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Model Checking Abstract State Machines with Answer Set Programming
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
| Model checking abstract state machines with answer set programming | 2007-07-24 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
