73 search results - page 5 / 15 » Nonmonotonic Model Inference-A Formalization of Student Mode... |
DLOG
2011
12 years 11 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
AIED
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
JAPLL
2010
13 years 5 months ago
2010
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
COORDINATION
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
AUSAI
2009
Springer
14 years 2 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...