1636 search results - page 23 / 328 » Reasoning About Quantum Systems |
107
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
132
click to vote
DALT
2004
Springer
15 years 7 months ago
2004
Springer
Engineering systems of heterogeneous agents is a difficult task; one of the ways for achieving the successful industrial deployment of agent technology is the development of engine...
118
click to vote
AIPS
1994
15 years 3 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
114
click to vote
ECSQARU
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
115
click to vote
CACM
2010
15 years 2 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...