5818 search results - page 976 / 1164 » A reasonable Semantic Web |
158
click to vote
SPIN
2005
Springer
16 years 2 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
176
click to vote
TARK
2005
Springer
16 years 2 days ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
178
click to vote
AMAI
2004
Springer
16 years 17 hour ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
161
click to vote
EMSOFT
2004
Springer
16 years 6 hour ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
160
click to vote
ERCIMDL
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...