3970 search results - page 320 / 794 » A Logic For Causal Reasoning |
187
click to vote
CAEPIA
2003
Springer
15 years 10 months ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
153
click to vote
AIR
2010
15 years 7 months ago
2010
Understanding argumentation and its role in human reasoning has been a continuous subject of investigation for scholars from the ancient Greek philosophers to current researchers ...
167
click to vote
AAAI
2007
15 years 9 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
160
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
159
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...