3032 search results - page 267 / 607 » Description Logic Rules |
166
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
117
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recent...
149
click to vote
AGP
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
130
Voted
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
147
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...