113 search results - page 3 / 23 » Revision of DL-Lite Knowledge Bases |
KR
1994
Springer
15 years 3 months ago
1994
Springer
75
Voted
PODS
1995
ACM
15 years 3 months ago
1995
ACM
DLOG
2011
14 years 3 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
15 years 26 days 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...
89
Voted
NMR
2004
Springer
15 years 5 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...