Sciweavers

1153 search results - page 60 / 231
» The Complexity of Revision, Revised
Sort
View
NMR
2004
Springer
15 years 3 months ago
Consistency-based approaches to merging knowledge bases: preliminary report
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
James P. Delgrande, Torsten Schaub
AAAI
1994
14 years 11 months ago
Conditional Logics of Belief Change
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
Nir Friedman, Joseph Y. Halpern
CORR
1998
Springer
82views Education» more  CORR 1998»
14 years 9 months ago
Tractability of Theory Patching
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...
Shlomo Argamon-Engelson, Moshe Koppel
CEC
2007
IEEE
15 years 4 months ago
Target shape design optimization by evolving splines
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
Pan Zhang, Xin Yao, Lei Jia, Bernhard Sendhoff, Th...
KBSE
1995
IEEE
15 years 1 months ago
A Model for Decision Maintenance in the WinWin Collaboration Framework
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
Prasanta K. Bose