5818 search results - page 257 / 1164 » A reasonable Semantic Web |
181
click to vote
CN
1999
15 years 6 months ago
1999
Traditional techniques for a distributed web server design rely on manipulation of central resources, such as routers or DNS services, to distribute requests designated for a sing...
315
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We introduce a new notion of bisimulation for showing contextual equivalence of expressions in an untyped lambda-calculus with an explicit store, and in which all expressed values...
174
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
183
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
181
click to vote
OWLED
2007
15 years 8 months ago
2007
A new approach to spatioterminological reasoning is presented which is based on a hybrid knowledge representation system architecture and on a representation of the RCC family tree...