2611 search results - page 236 / 523 » A Logic for Concepts and Similarity |
177
click to vote
DALT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
133
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents new circuit configurationsfor a more robust and efficient form of self-resettingCMOS (SRCMOS). Prior structures for SRCMOS have very high performance but are...
172
click to vote
AI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
134
click to vote
WETICE
1999
IEEE
15 years 10 months ago
1999
IEEE
The prevailing architecture for web-based applications relies on HTML, HTTP and loosely integrated functional elements, propagating a strong distinction between client and server....
188
click to vote
TPHOL
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...