1435 search results - page 129 / 287 » E-connections of Description Logics |
107
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We discuss the definability of finite graphs in first-order logic with two relation symbols for adjacency and equality of vertices. The logical depth D(G) of a graph G is equal to ...
113
click to vote
ROBOCUP
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
137
click to vote
AMAI
2004
Springer
15 years 1 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
121
click to vote
POPL
2010
ACM
15 years 3 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
103
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...