@inproceedings{077ac12c1073414aa129585049741471,
title = "Analytic modal revision for multi-agent systems",
abstract = "We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally oriented revision procedure for modal knowledge bases. This procedure is based on a labelled tableaux calculi supplemented with a formalism to record the dependencies of the formulae. The dependencies are then used to reconstruct the minimal inconsistent sets, and the sub-formulae responsible for the inconsistencies are revised according to well-defined chains of modal functions.",
author = "{Di Giusto}, Paolo and Guido Governatori",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; 9th Portuguese Conference on Progress in Artificial Intelligence, EPIA 1999 ; Conference date: 21-09-1999 Through 24-09-1999",
year = "1999",
doi = "10.1007/3-540-48159-1_20",
language = "English",
isbn = "354066548X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag Italia Srl",
pages = "282--296",
editor = "Pedro Barahona and Alferes, {Jos{\'e} J.}",
booktitle = "Progress in Artificial Intelligence - 9th Portuguese Conference on Artificial Intelligence, EPIA 1999, Proceedings",
address = "Italy",
}