4224 search results - page 501 / 845 » Reasoning about Choice |
167
click to vote
AAAI
2008
15 years 9 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
178
click to vote
AAAI
2007
15 years 9 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...
180
click to vote
FLAIRS
2007
15 years 9 months ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
182
click to vote
FLAIRS
2007
15 years 9 months ago
2007
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
201
click to vote
ICIA
2007
2007
Integrating Multiple Representations of Spatial Knowledge for Mapping, Navigation, and Communication
15 years 9 months ago
A robotic chauffeur should reason about spatial information with a variety of scales, dimensions, and ontologies. Rich representations of both the quantitative and qualitative cha...