Sciweavers

537 search results - page 7 / 108
» A Theory of Inferred Causation
Sort
View
AI
2008
Springer
15 years 6 months ago
Pouring liquids: A study in commonsense physical reasoning
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
Ernest Davis
ECAI
2006
Springer
15 years 9 months ago
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...
Philippe Chatalic, Gia Hien Nguyen, Marie-Christin...
LOGCOM
2002
142views more  LOGCOM 2002»
15 years 5 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 3 months ago
Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
Andrew Schumann
AIPS
2000
15 years 7 months ago
Planning in Interplanetary Space: Theory and Practice
On May 17th 1999, NASA activated for the first time an AI-based planner/scheduler running on the flight processor of a spacecraft. This was part of the Remote Agent Experiment (RA...
Ari K. Jónsson, Paul H. Morris, Nicola Musc...