| Publication | Date of Publication | Type |
|---|
| How should robots think about space? | 2024-09-06 | Paper |
| Metric topologies over some categories of simple open regions in Euclidean space | 2021-09-17 | Paper |
Proof verification technology and elementary physics
Algorithms and Complexity in Mathematics, Epistemology, and Science | 2020-07-07 | Paper |
Logical formalizations of commonsense reasoning: a survey
Journal of Artificial Intelligence Research | 2017-10-24 | Paper |
Commonsense reasoning about containers using radically incomplete information
Artificial Intelligence | 2017-09-29 | Paper |
The scope and limits of simulation in automated reasoning
Artificial Intelligence | 2016-03-08 | Paper |
The expressive power of first-order topological languages
Journal of Logic and Computation | 2013-11-21 | Paper |
Elementarily equivalent structures for topological languages over regions in Euclidean space
Journal Of Logic And Computation | 2013-06-27 | Paper |
Preserving geometric properties in reconstructing regions from internal and nearby points
Computational Geometry | 2012-05-18 | Paper |
| Linear algebra and probability for computer science applications | 2012-02-15 | Paper |
How does a box work? A study in the qualitative dynamics of solid objects
Artificial Intelligence | 2011-06-17 | Paper |
Pouring liquids: a study in commonsense physical reasoning
Artificial Intelligence | 2009-07-17 | Paper |
Knowledge and communication: A first-order theory
Artificial Intelligence | 2007-10-23 | Paper |
Processes and continuous change in a SAT-based planner
Artificial Intelligence | 2007-10-23 | Paper |
The Expressivity of Quantifying over Regions
Journal Of Logic And Computation | 2007-04-13 | Paper |
A First-order Theory of Communication and Multi-agent Plans
Journal Of Logic And Computation | 2006-03-09 | Paper |
Introduction: Progress in formal commonsense reasoning
Artificial Intelligence | 2006-02-07 | Paper |
Continuous shape transformation and metrics on regions
Fundamenta Informaticae | 2001-07-23 | Paper |
Constraint networks of topological relations and convexity
Constraints | 2000-01-04 | Paper |
| scientific article; zbMATH DE number 1249660 (Why is no real title available?) | 1999-02-09 | Paper |
The kinematics of cutting solid objects
Annals of Mathematics and Artificial Intelligence | 1997-05-11 | Paper |
Knowledge Preconditions for Plans
Journal Of Logic And Computation | 1995-06-30 | Paper |
| scientific article; zbMATH DE number 43240 (Why is no real title available?) | 1993-01-23 | Paper |
Constraint propagation with interval labels
Artificial Intelligence | 1987-01-01 | Paper |
Algorithms for Scheduling Tasks on Unrelated Processors
Journal of the ACM | 1981-01-01 | Paper |
