11436 search results - page 471 / 2288 » Modeling Real Reasoning |
148
click to vote
IEAAIE
1998
Springer
15 years 10 months ago
1998
Springer
In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous sa...
160
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
165
click to vote
DLOG
2008
15 years 8 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
203
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
171
click to vote
EOR
2007
15 years 6 months ago
2007
The purpose of this paper is to learn the order of criteria of lexicographic decision under various reasonable assumptions. We give a sample evaluation and an oracle based algorit...