3573 search results - page 9 / 715 » Reasoning about Codata |
IAAI
2003
13 years 11 months ago
2003
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
PODS
2008
ACM
14 years 10 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
SOCO
2010
Springer
13 years 4 months ago
2010
Springer
Abstract When searching for information about historical events, queries are naturally formulated using temporal constraints. However, the structured temporal information needed to...
ECSQARU
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...