191 search results - page 7 / 39 » Adapting Mathematical Domain Reasoners |
153
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes two approaches that enable the AI Planner LPGP to reason about domains with exogenous events and goals with duration: the first investigates how such domains...
144
Voted
FM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
174
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
Decomposing the domain of a function into parts has many uses in mathematics. A domain may naturally be a union of pieces, a function may be defined by cases, or different bounda...
129
Voted
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...