5634 search results - page 25 / 1127 » About Abstract Classes |
ICMAS
2000
14 years 12 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
KRDB
1998
14 years 12 months ago
1998
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
MIDDLEWARE
2007
Springer
15 years 4 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
HIS
2003
14 years 12 months ago
2003
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...