| Publication | Date of Publication | Type |
|---|
Revision by communication
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Revising and updating using a back-up semantics
Logics in Artificial Intelligence | 2019-10-08 | Paper |
On a comparison of Newton-Raphson solvers for power flow problems
Journal of Computational and Applied Mathematics | 2019-07-26 | Paper |
| Stochastic task networks -- trading performance for stability | 2017-08-04 | Paper |
| Dynamic temporal decoupling | 2017-08-04 | Paper |
Push and rotate: a complete multi-agent pathfinding algorithm
The Journal of Artificial Intelligence Research (JAIR) | 2014-11-13 | Paper |
Flexibility and decoupling in simple temporal networks
Artificial Intelligence | 2014-06-16 | Paper |
Reconfiguration of large-scale surveillance systems
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Program equilibrium -- a program reasoning approach
International Journal of Game Theory | 2013-08-19 | Paper |
Efficiently identifying deterministic real-time automata from labeled data
Machine Learning | 2012-05-23 | Paper |
The efficiency of identifying timed automata and the power of clocks
Information and Computation | 2011-07-27 | Paper |
A likelihood-ratio test for identifying probabilistic deterministic real-time automata from positive data
Grammatical Inference: Theoretical Results and Applications | 2010-09-10 | Paper |
| scientific article; zbMATH DE number 5775533 (Why is no real title available?) | 2010-08-27 | Paper |
Plan decoupling of agents with qualitatively constrained tasks
Multiagent and Grid Systems | 2010-02-05 | Paper |
One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit
Language and Automata Theory and Applications | 2009-04-02 | Paper |
Fuzzy Argumentation for Trust
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Plan-Coordination Mechanisms and the Price of Autonomy
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Polynomial Distinguishability of Timed Automata
Grammatical Inference: Algorithms and Applications | 2008-10-16 | Paper |
KI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2087875 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2063025 (Why is no real title available?) | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 1929179 (Why is no real title available?) | 2003-06-17 | Paper |
A resource logic for multi-agent plan merging
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
Plan coordination by revision in collective agent based systems.
Artificial Intelligence | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1761414 (Why is no real title available?) | 2002-06-30 | Paper |
| How to recover from (non)monotonic inconsistencies | 2002-02-28 | Paper |
| scientific article; zbMATH DE number 1292287 (Why is no real title available?) | 1999-05-27 | Paper |
| scientific article; zbMATH DE number 1241675 (Why is no real title available?) | 1999-01-18 | Paper |
Recovery of (non)monotonic theories
Artificial Intelligence | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1163571 (Why is no real title available?) | 1998-10-11 | Paper |
| scientific article; zbMATH DE number 550000 (Why is no real title available?) | 1994-04-12 | Paper |
Skeptical reason maintenance and belief revision
Artificial Intelligence | 1994-01-19 | Paper |
| scientific article; zbMATH DE number 140420 (Why is no real title available?) | 1993-03-28 | Paper |
Inferring control structures from the behaviour of a production system
Information and Control | 1981-01-01 | Paper |
