8232 search results - page 387 / 1647 » Dynamic Logic Programming |
201
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
236
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
158
click to vote
AAMAS
2008
Springer
15 years 7 months ago
2008
Springer
This article introduces a new theory of intention representation which is based1 on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated2 by the...
252
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
160
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...