5634 search results - page 25 / 1127 » About Abstract Classes |
166
click to vote
ICMAS
2000
15 years 7 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 ...
138
click to vote
KRDB
1998
15 years 7 months ago
1998
Buildinglarge Websites is similar in manywaysto building knowledgeand database systems. In particular, byprovidinga declarative,logical viewof a Website's data andstructure, ...
187
click to vote
MIDDLEWARE
2007
Springer
16 years 18 days 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...
166
click to vote
HIS
2003
15 years 7 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...
183
click to vote
COORDINATION
2006
Springer
15 years 10 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...