1902 search results - page 81 / 381 » Differential Dynamic Logics |
206
Voted
JELIA
2004
Springer
15 years 10 months 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...
140
click to vote
AAMAS
2008
Springer
15 years 5 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...
218
click to vote
ENTCS
2006
15 years 5 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 (...
179
click to vote
BIBM
2010
IEEE
15 years 2 months ago
2010
IEEE
This study presents a novel computational approach to identifying a smoking-associated gene signature. The methodology contains the following steps: 1) identifying genes significa...
139
click to vote
FOSSACS
2004
Springer
15 years 10 months 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...