11436 search results - page 200 / 2288 » Modeling Real Reasoning |
121
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
128
click to vote
ECSQARU
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning. For this we conside...
136
click to vote
EKAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
140
click to vote
SETN
2010
Springer
15 years 1 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
126
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...