3191 search results - page 17 / 639 » Qualitative Modeling in Education |
BMCBI
2010
13 years 7 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
ENTCS
2006
13 years 7 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
APN
2004
Springer
14 years 1 months ago
2004
Springer
ITS
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE