Paolo Liberatore  Home/Search
Context
Related
| dis.uniroma1.it/~liberato...brels.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dis.uniroma1.it...lications.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Three distinct operations have been introduced so far to the extent of amalgamating knowledge coming from different sources: revision, merging, and update. In this paper we present a framework in which it is possible to perform these three operations at the same time. We show some examples in which this is actually necessary, and thus cannot be dealt by existent systems. The framework has been implemented, and the examples shown in this paper (as well as other examples from the belief ... (Update)
Similar documents (at the sentence level):
24.2%: BReLS: A System for the Integration of Knowledge Bases - Liberatore, Schaerf (2000) (Correct)
Active bibliography (related documents): More All
0.5: The Complexity of Iterated Belief Revision - Liberatore (1997) (Correct)
0.2: The Complexity of Belief Update - Liberatore (1997) (Correct)
0.1: Merging with Integrity Constraints - Konieczny, Pérez (1999) (Correct)
Similar documents based on text: More All
0.3: Compilation of Intractable Problems and Its Application to.. - Liberatore (1998) (Correct)
0.3: The Compactness of Belief Revision and Update Operators - Liberatore, Schaerf (2000) (Correct)
0.2: On the Compilability of Diagnosis, Planning, Reasoning about.. - Liberatore (Correct)
BibTeX entry: (Update)
@misc{ liberatore-brels,
author = "Paolo Liberatore",
title = "BReLS: A System for Revising, Updating, and Merging Knowledge Bases",
url = "citeseer.ist.psu.edu/519492.html" }
Citations (may not include all citations):200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
120 Investigations into a theory of knowledge base revision: Pre.. - Dalal - 1988
117 Features and Fluents (context) - Sandewall - 1994
72 Updating Logical Databases (context) - Winslett - 1990
38 the logic of merging - Konieczny, Perez - 1998
35 Transmutations of knowledge systems (context) - Williams - 1994 DBLP
32 observations and hypothesis (context) - Baral, Gelfond et al. - 1996
29 Explanatory diagnosis: Conjecturing actions to explain obser.. - McIlraith - 1998
24 the semantics of theory change: Arbitration between old and .. - Revesz - 1993
13 La Sapienza (context) - Liberatore, experiments et al. - 1999
13 Integration of Weighted Knowledge Bases (context) - Lin - 1996 ACM DBLP
12 What is believed is what is explained (context) - Li, Pereira - 1996
8 Generalized update: belief change in dynamic settings - Boutilier - 1995 DBLP
2 A knowledge-based framework for belief change: Part II: Revi.. - Friedman, Halpern - 1994
Documents on the same site (http://www.dis.uniroma1.it/~liberato/publications.shtml): More
The Complexity of Iterated Belief Revision - Liberatore (1997) (Correct)
Preprocessing of Intractable Problems - Cadoli, Donini, Liberatore, Schaerf (1997) (Correct)
Compilation of Intractable Problems and Its Application to.. - Liberatore (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC