113 search results - page 3 / 23 » Revision of DL-Lite Knowledge Bases |
KR
1994
Springer
13 years 11 months ago
1994
Springer
PODS
1995
ACM
13 years 11 months ago
1995
ACM
DLOG
2011
12 years 11 months ago
2011
We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose ...
IJCAI
1989
13 years 8 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
NMR
2004
Springer
14 years 21 days 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...