2909 search results - page 504 / 582 » Consistency of the theory of contexts |
176
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
146
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
149
click to vote
BALT
2006
15 years 10 months ago
2006
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
239
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
226
click to vote
SDB
1995
15 years 9 months ago
1995
Most of work on partial information in databases asks which operations of standard languages, like relational algebra, can still be performed correctly in the presence of nulls. In...