159 search results - page 16 / 32 » Dynamic Description Logic: Embracing Actions into Descriptio... |
92
Voted
ECP
1997
Springer
15 years 3 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
105
click to vote
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
85
Voted
EDOC
2004
IEEE
15 years 3 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
124
click to vote
BXML
2003
15 years 29 days ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
101
click to vote
POLICY
2005
Springer
15 years 5 months ago
2005
Springer
In this paper, we describe the use of description logic as the basis for a policy representation language and show how it is used in our implementation of a policy managed pervasi...