Sciweavers

1056 search results - page 109 / 212
» ijcai 2007
Sort
View
IJCAI
1997
15 years 9 days ago
A Causal Time Ontology for Qualitative Reasoning
Aiming at explicit description of temporal meaning of causal relations generated by qualitative reasoning systems, this article proposes a causal time ontology which defines a se...
Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizogu...
IJCAI
1997
15 years 9 days ago
Scaling the Dynamic Approach to Autonomous Path Planning: Planning Horizon Dynamics
In the dynamical systems approach to robot path planning both sensed and remembered information contribute to shape a nonlinear vector eld that governs the behavior of an autonomo...
Edward W. Large, Henrik I. Christensen, Ruzena Baj...
IJCAI
1997
15 years 9 days ago
A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics
In the paper, we consider the problem of supporting automated reasoning in a large class of knowledge representation formalisms, including terminological and epistemic logics, who...
Angelo Montanari, Alberto Policriti
IJCAI
1997
15 years 9 days ago
Understanding Three Simultaneous Speeches
Understanding three simultaneous speeches is proposed as a challenge problem to foster artificial intelligence, speech and sound understanding or recognition, and computational au...
Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawab...
IJCAI
1997
15 years 9 days ago
Robust Periodic Planning and Execution for Autonomous Spacecraft
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
Barney Pell, Erann Gat, Ron Keesing, Nicola Muscet...