62 search results - page 3 / 13 » Background to Qualitative Decision Theory |
IANDC
2006
13 years 7 months ago
2006
Many approaches to deciding the satisfiability of quantifier free formulae with respect to a background theory T -- also known as Satisfiability Modulo Theory, or SMT
AI
2011
Springer
13 years 2 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
SLOGICA
2011
13 years 2 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
MIE
2008
2008
Decision Support System Supporting Clinical Reasoning Process - an Evaluation Study in Dementia Care
13 years 8 months ago
In this paper, a case study is presented in which an early prototype of a decision-support system was integrated in the process of investigating patients with suspected dementia an...
JCNS
2002
13 years 7 months ago
2002
A generalized version of the integrate-and-fire model is presented that qualitatively reproduces firing rates and membrane trajectories of motoneurons. The description is based on ...