453 search results - page 46 / 91 » FLUX: A Logic Programming Method for Reasoning Agents |
149
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
166
Voted
AAAI
2007
15 years 8 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
278
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
278
click to vote
PADL
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
145
click to vote
AI
2008
Springer
16 years 13 days ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...