3358 search results - page 285 / 672 » Dynamic Description Logics |
198
click to vote
AML
2010
15 years 7 months ago
2010
Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'. We ext...
165
click to vote
AML
2006
15 years 6 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
170
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We investigate the design of a clean-slate control and nt plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of logically c...
169
click to vote
JVCA
2010
15 years 5 months ago
2010
We present a simple and intuitive method for encapsulating part of agents’ steering and coordinating abilities into a new class of agents, called situation agents. Situation age...
219
click to vote
IFIP12
2004
15 years 8 months ago
2004
With the evolution of Web service technology, services will not only become increasingly sophisticated, but also move into the area of business-to-consumer and peer-to-peer interac...