6 search results - page 1 / 2 » Projective DNF Formulae and Their Revision |
COLT
2003
Springer
13 years 10 months ago
2003
Springer
COLT
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
NMR
2004
Springer
13 years 10 months ago
2004
Springer
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...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
We present a framework for expressing different merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revisi...
IWSM
2000
Springer
13 years 8 months ago
2000
Springer
: In this article we present a method for estimating the effort of software projects following an evolutionary, object-oriented development paradigm. Effort calculation is based on...