Sciweavers

2082 search results - page 5 / 417
» Change Paths in Reasoning!
Sort
View
DKE
2007
131views more  DKE 2007»
14 years 10 months ago
Reasoning and change management in modular ontologies
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
Heiner Stuckenschmidt, Michel C. A. Klein
84
Voted
AIIA
1995
Springer
15 years 1 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
82
Voted
AIPS
1996
14 years 11 months ago
Event-Based Decompositions for Reasoning about External Change in Planners
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
Jim Blythe
SEMWEB
2004
Springer
15 years 3 months ago
Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources
Hongwei Zhu 0002, Stuart E. Madnick, Michael Siege...
90
Voted
ICSM
2000
IEEE
15 years 2 months ago
Identifying Reasons for Software Changes using Historic Databases
Audris Mockus, Lawrence G. Votta