356 search results - page 26 / 72 » Axiomatizing Causal Reasoning |
130
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
142
Voted
TIME
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...
123
Voted
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
139
Voted
AIME
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents an EMG diagnostic Knowledge Based System, that is the first application of our methodology for reasoning with causal-functional (meta-)models. Despite past diff...
139
Voted
CSL
2003
Springer
15 years 10 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...