5818 search results - page 832 / 1164 » A reasonable Semantic Web |
135
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
173
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
200
click to vote
LPAR
2007
Springer
16 years 29 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
203
click to vote
LPNMR
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
177
click to vote
RR
2007
Springer
16 years 28 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...