Sciweavers

8337 search results - page 118 / 1668
» Reasoning With Characteristic Models
Sort
View
ER
2010
Springer
121views Database» more  ER 2010»
15 years 3 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,...
AUSAI
2009
Springer
15 years 11 months ago
Simple Default Reasoning in Theories of Action
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...
Hannes Strass, Michael Thielscher
CSCLP
2007
Springer
15 years 10 months ago
Temporal Reasoning in Nested Temporal Networks with Alternatives
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
Roman Barták, Ondrej Cepek, Martin Hejna
EWCBR
2004
Springer
15 years 9 months ago
Knowledge-Intensive Case-Based Reasoning in CREEK
Knowledge-intensive CBR assumes that cases are enriched with general domain knowledge. In CREEK, there is a very strong coupling between cases and general domain knowledge, in that...
Agnar Aamodt
EWCBR
2004
Springer
15 years 9 months ago
PlayMaker: An Application of Case-Based Reasoning to Air Traffic Control Plays
When events such as severe weather or congestion interfere with the normal flow of air traffic, air traffic controllers may implement plays that reroute one or more traffic flows. ...
Kenneth R. Allendoerfer, Rosina Weber