455 search results - page 7 / 91 » Understanding Counterexamples with explain |
90
Voted
JURIX
2007
15 years 15 days ago
2007
In the context of intelligent disclosure of case law, we report on our findings with respect to the presentation of relevant court decisions back to the laymen users. For this pres...
DSS
2008
14 years 11 months ago
2008
When solving clinical decision-making problems with modern graphical decision-theoretic models such as influence diagrams, we obtain decision tables with optimal decision alternat...
CADE
2001
Springer
15 years 11 months ago
2001
Springer
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
SGAI
2009
Springer
15 years 5 months ago
2009
Springer
Within the medical domain there are clear expectations as to how a patient should respond to treatments administered. When these responses are not observed it can be challenging fo...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...