1636 search results - page 249 / 328 » Reasoning About Quantum Systems |
198
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
158
click to vote
ECAIW
1994
Springer
15 years 10 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
176
click to vote
AINA
2003
IEEE
15 years 9 months ago
2003
IEEE
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
160
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
176
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...