Ernest Davis

Available identifiers

zbMath Open davis.ernestMaRDI QIDQ253996

List of research outcomes

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	2020-07-07	Paper
Logical Formalizations of Commonsense Reasoning: A Survey	2017-10-24	Paper
Commonsense reasoning about containers using radically incomplete information	2017-09-29	Paper
The scope and limits of simulation in automated reasoning	2016-03-08	Paper
The expressive power of first-order topological languages	2013-11-21	Paper
Elementarily equivalent structures for topological languages over regions in Euclidean space	2013-06-27	Paper
Preserving geometric properties in reconstructing regions from internal and nearby points	2012-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3116960	2012-02-15	Paper
How does a box work? A study in the qualitative dynamics of solid objects	2011-06-17	Paper
Pouring liquids: a study in commonsense physical reasoning	2009-07-17	Paper
Knowledge and communication: A first-order theory	2007-10-23	Paper
Processes and continuous change in a SAT-based planner	2007-10-23	Paper
The Expressivity of Quantifying over Regions	2007-04-13	Paper
A First-order Theory of Communication and Multi-agent Plans	2006-03-09	Paper
Introduction: Progress in formal commonsense reasoning	2006-02-07	Paper
Continuous shape transformation and metrics on regions	2001-07-23	Paper
Constraint networks of topological relations and convexity	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4230733	1999-02-09	Paper
The kinematics of cutting solid objects	1997-05-11	Paper
Knowledge Preconditions for Plans	1995-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q3992824	1993-01-23	Paper
Constraint propagation with interval labels	1987-01-01	Paper
Algorithms for Scheduling Tasks on Unrelated Processors	1981-01-01	Paper

Research outcomes over time

This page was built for person: Ernest Davis