| Publication | Date of Publication | Type |
|---|
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains
Journal of Artificial Intelligence Research | 2023-08-28 | Paper |
A uniform tableaux method for nonmonotonic modal logics
Logics in Artificial Intelligence | 2019-10-08 | Paper |
Reasoning about actions with sensing under qualitative and probabilistic uncertainty
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The complexity of existential quantification in concept languages.
Artificial Intelligence | 2010-08-27 | Paper |
| scientific article; zbMATH DE number 2089521 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2089594 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2089606 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1940376 (Why is no real title available?) | 2003-06-26 | Paper |
| scientific article; zbMATH DE number 1940507 (Why is no real title available?) | 2003-06-26 | Paper |
| scientific article; zbMATH DE number 1940538 (Why is no real title available?) | 2003-06-26 | Paper |
Coordination in multi-agent RoboCup teams
Robotics and Autonomous Systems | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1753808 (Why is no real title available?) | 2002-06-11 | Paper |
A theory and implementation of cognitive mobile robots
Journal Of Logic And Computation | 2002-02-13 | Paper |
| Reasoning in expressive description logics | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1531967 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1538053 (Why is no real title available?) | 2000-12-03 | Paper |
| scientific article; zbMATH DE number 1348742 (Why is no real title available?) | 1999-10-10 | Paper |
An epistemic operator for description logics
Artificial Intelligence | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1182733 (Why is no real title available?) | 1998-08-02 | Paper |
Ground Nonmonotonic Modal Logics
Journal Of Logic And Computation | 1998-01-27 | Paper |
The complexity of concept languages
Information and Computation | 1997-08-11 | Paper |
Deduction in Concept Languages: from Subsumption to Instance Checking
Journal Of Logic And Computation | 1994-10-17 | Paper |
| scientific article; zbMATH DE number 140381 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 67502 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 67854 (Why is no real title available?) | 1992-09-27 | Paper |
Reasoning about reasoning in a meta-level architecture
Applied Intelligence | 1992-06-28 | Paper |
Formal synthesis of a unification algorithm by the deductive-tableau method
The Journal of Logic Programming | 1989-01-01 | Paper |
