Sciweavers

400 search results - page 39 / 80
» Singularities in Qualitative Reasoning
Sort
View
KBS
2002
136views more  KBS 2002»
13 years 9 months ago
Diagnostic reasoning based on means-end models: experiences and future prospects
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
Jan Eric Larsson
ER
2010
Springer
121views Database» more  ER 2010»
13 years 8 months ago
Reasoning with Optional and Preferred Requirements
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
Neil A. Ernst, John Mylopoulos, Alexander Borgida,...
AIED
2005
Springer
14 years 3 months ago
Teaching about Dynamic Processes A Teachable Agents Approach
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...
Ruchi Gupta, Yanna Wu, Gautam Biswas
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
14 years 2 months ago
Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
Frieder Stolzenburg, Oliver Obst, Jan Murray, Bj&o...
IJCAI
1989
13 years 11 months ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall