Sciweavers

875 search results - page 118 / 175
» Reasoning about Knowledge and Continuity
Sort
View
AAMAS
2008
Springer
14 years 10 months ago
Agents that argue and explain classifications
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent/incomplete/uncertain knowledge, based on the construction and the comparison of ar...
Leila Amgoud, Mathieu Serrurier
ENTCS
2007
143views more  ENTCS 2007»
14 years 9 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn
AAAI
2008
15 years 3 days ago
Artificial Intelligence Needs Open-Access Knowledgebase Contents
ar for abstract concepts, and a number of formally expressed, structural restrictions. Copyright c 2008, Association for the Advancement of Artificial Intelligence (www.aaai.org). ...
Erik Sandewall
ICPR
2002
IEEE
15 years 11 months ago
Visual Orientation in the Sewer Adaptation to the Environment
Most biological systems employ visually acquired information for their locomotion. In the course of evolutionary history, the visual system of organisms has evolved to be adapted ...
Marina Kolesnik
ICRA
2008
IEEE
123views Robotics» more  ICRA 2008»
15 years 4 months ago
Target-directed attention: Sequential decision-making for gaze planning
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...
Julia Vogel, Nando de Freitas