4211 search results - page 550 / 843 » A formal approach to MASQ |
161
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
165
click to vote
EMSOFT
2004
Springer
16 years 3 days 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 ...
153
click to vote
ER
2004
Springer
16 years 3 days ago
2004
Springer
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
162
click to vote
ERCIMDL
2004
Springer
16 years 3 days 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...
153
click to vote
EUSAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...