5216 search results - page 907 / 1044 » Planning as Model Checking |
140
Voted
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
140
Voted
CI
1999
15 years 3 months ago
1999
In this paper we develop a formalization of semantic relations that facilitates efficient implementations of relations in lexical databases or knowledge representation systems usi...
145
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
97
Voted
IJHCI
2010
15 years 2 months ago
2010
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
131
Voted
JAPLL
2010
15 years 1 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...