| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7812105 (Why is no real title available?)
| 2024-03-01 | Paper |
Support set selection for abductive and default reasoning
Artificial Intelligence | 2022-09-22 | Paper |
Generating hard satisfiability problems
Artificial Intelligence | 2022-09-22 | Paper |
Some pitfalls for experimenters with random SAT
Artificial Intelligence | 2022-09-22 | Paper |
Indexical knowledge and robot action -- a logical account
Artificial Intelligence | 2022-09-21 | Paper |
Regression and progression in stochastic domains
Artificial Intelligence | 2020-03-04 | Paper |
An epistemic approach to nondeterminism: believing in the simplest course of events
Studia Logica | 2019-11-29 | Paper |
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Artificial Intelligence | 2019-01-18 | Paper |
Incremental execution of guarded theories
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Common sense, the Turing test, and the quest for real AI
| 2017-03-02 | Paper |
A logical theory of localization
Studia Logica | 2016-09-07 | Paper |
scientific article; zbMATH DE number 6606365 (Why is no real title available?)
| 2016-07-26 | Paper |
A logical theory of coordination and joint ability
| 2016-07-26 | Paper |
Robot location estimation in the situation calculus
Journal of Applied Logic | 2015-12-23 | Paper |
Incorporating action models into the situation calculus
Outstanding Contributions to Logic | 2015-05-11 | Paper |
On our best behaviour
Artificial Intelligence | 2014-06-10 | Paper |
How to progress a database. III
Artificial Intelligence | 2013-08-26 | Paper |
The truth about defaults
Correct Reasoning | 2012-07-23 | Paper |
Iterated belief change in the situation calculus
Artificial Intelligence | 2011-06-17 | Paper |
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence | 2011-06-17 | Paper |
The cognitive agents specification language and verification environment
Specification and Verification of Multi-agent Systems | 2010-11-11 | Paper |
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications | 2009-07-09 | Paper |
Goal Change in the Situation Calculus
Journal Of Logic And Computation | 2007-12-10 | Paper |
Knowledge, action, and the frame problem
Artificial Intelligence | 2006-02-07 | Paper |
On the semantics of deliberation in IndiGolog -- from theory to implementation
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence | 2002-07-24 | Paper |
scientific article; zbMATH DE number 1748582 (Why is no real title available?)
| 2002-06-03 | Paper |
Two approaches to efficient open-world reasoning
| 2002-02-19 | Paper |
The logic of knowledge bases
| 2001-11-19 | Paper |
Ability and knowing how in the situation calculus
Studia Logica | 2001-02-11 | Paper |
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence | 2000-10-26 | Paper |
scientific article; zbMATH DE number 1390352 (Why is no real title available?)
| 2000-01-17 | Paper |
scientific article; zbMATH DE number 1305385 (Why is no real title available?)
| 1999-09-23 | Paper |
What robots can do: robot programs and effective achievability
Artificial Intelligence | 1999-01-12 | Paper |
GOLOG: A logic programming language for dynamic domains
The Journal of Logic Programming | 1997-10-23 | Paper |
The complexity of path-based defeasible inheritance
Artificial Intelligence | 1994-01-19 | Paper |
scientific article; zbMATH DE number 88996 (Why is no real title available?)
| 1993-01-16 | Paper |
scientific article; zbMATH DE number 67834 (Why is no real title available?)
| 1992-09-27 | Paper |
Intention is choice with commitment
Artificial Intelligence | 1990-01-01 | Paper |
All I know: A study in autoepistemic logic
Artificial Intelligence | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4176506 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4174350 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4197473 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4197468 (Why is no real title available?)
| 1988-01-01 | Paper |
Foundations of a functional approach to knowledge representation
Artificial Intelligence | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3878395 (Why is no real title available?)
| 1983-01-01 | Paper |
