| Publication | Date of Publication | Type |
|---|
The computational complexity of multi-agent pathfinding on directed graphs
Artificial Intelligence | 2024-04-30 | Paper |
Epistemic planning: perspectives on the special issue
Artificial Intelligence | 2023-06-19 | Paper |
Epistemic Multi-agent Planning Using Monte-Carlo Tree Search
| 2023-03-24 | Paper |
Interval based relaxation heuristics for numeric planning with action costs
KI 2017: Advances in Artificial Intelligence | 2022-11-02 | Paper |
Game description language and dynamic epistemic logic compared
Artificial Intelligence | 2021-11-02 | Paper |
Evaluation of the moral permissibility of action plans
Artificial Intelligence | 2020-11-16 | Paper |
Some thoughts on forward induction in multi-agent-path finding under destination uncertainty
| 2020-06-04 | Paper |
The dynamic logic of policies and contingent planning
| 2020-02-18 | Paper |
Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity
Journal of Artificial Intelligence Research | 2019-03-04 | Paper |
On qualitative route descriptions. Representation, agent models, and computational complexity
Journal of Philosophical Logic | 2015-04-23 | Paper |
In defense of PDDL axioms
Artificial Intelligence | 2007-10-23 | Paper |
scientific article; zbMATH DE number 2089489 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2089499 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2089534 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2044758 (Why is no real title available?)
| 2004-02-18 | Paper |
scientific article; zbMATH DE number 1940371 (Why is no real title available?)
| 2003-06-26 | Paper |
On the computational complexity of assumption-based argumentation for default reasoning.
Artificial Intelligence | 2003-01-21 | Paper |
scientific article; zbMATH DE number 1773069 (Why is no real title available?)
| 2002-07-28 | Paper |
scientific article; zbMATH DE number 1753151 (Why is no real title available?)
| 2002-06-10 | Paper |
On the expressive power of planning formalisms. Conditional effects and Boolean preconditions in the STRIPS formalisms
| 2002-01-02 | Paper |
The FF planning system: Fast plan generation through heuristic search
The Journal of Artificial Intelligence Research (JAIR) | 2001-06-18 | Paper |
scientific article; zbMATH DE number 1531968 (Why is no real title available?)
| 2000-11-19 | Paper |
scientific article; zbMATH DE number 1467489 (Why is no real title available?)
| 2000-07-25 | Paper |
scientific article; zbMATH DE number 1269566 (Why is no real title available?)
| 1999-09-14 | Paper |
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
Artificial Intelligence | 1999-04-28 | Paper |
Reasoning about temporal relations
Journal of the ACM | 1998-02-02 | Paper |
Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
Constraints | 1997-04-22 | Paper |
scientific article; zbMATH DE number 970615 (Why is no real title available?)
| 1997-03-16 | Paper |
An empirical analysis of terminological representation systems
Artificial Intelligence | 1995-05-14 | Paper |
Acquisition and validation of complex object database schemata supporting multiple inheritance
Applied Intelligence | 1995-03-20 | Paper |
On the computational complexity of temporal projection, planning, and plan validation
Artificial Intelligence | 1995-01-02 | Paper |
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Journal of Logic, Language and Information | 1994-03-10 | Paper |
scientific article; zbMATH DE number 140406 (Why is no real title available?)
| 1993-03-28 | Paper |
Reasoning and revision in hybrid representation systems
Lecture Notes in Computer Science | 1993-01-23 | Paper |
scientific article; zbMATH DE number 67967 (Why is no real title available?)
| 1992-09-27 | Paper |
Terminological reasoning is inherently intractable
Artificial Intelligence | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4166927 (Why is no real title available?)
| 1989-01-01 | Paper |
Computational complexity of terminological reasoning in BACK
Artificial Intelligence | 1988-01-01 | Paper |
