1636 search results - page 63 / 328 » Reasoning About Quantum Systems |
141
click to vote
CADE
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
155
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
121
Voted
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
135
click to vote
SYNTHESE
2010
15 years 3 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
124
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Developers undertaking a pragmatic reuse task must collect and reason about information that is spread throughout the source code of a system before they can understand the scope ...