This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Artosi A., P. Cattabriga and G. Governatori. A Prolog implementation of KEM. In M. Alpuente and M. I. Sessa (eds.), Proceedings of the GULP-PRODE'95 Joint Conference on Declarative Programming. Marina di Vietri, 11–14 september 1995, Universtà degli Studi di Salerno, 1995: 395–400.
Artosi A. and G. Governatori. Labelled Model Modal Logic. In Proceedings of the CARE-12 Workshop on Automated Model Building, 1994: 11–17.
Cattabriga P. Sistemi algoritmici indicizzati per il ragionamento giuridico. PhD Thesis, University of Bologna, 1996.
Governatori G. Labelled Tableaux For Multi-Modal Logics. In P. Baumgartner, R. Hähnle, and J. Posegga (eds.), Theorem Proving with Analytic Tableaux and Related Methods, Lecture Notes in Computer Science, Springer-Verlag, 1995: 79–84.
Mayer J.-J.Ch and W. van der Hoek. A Modal Logic for Nonmonotonic Reasoning. In W. van der Hoek, J.-J.Ch. Mayer, Y. H. Tan and C. Witteveen (ed.), Non-Monotonic Reasoning and Partial Semantics. Ellis Horwood: N.Y., 1992: 37–77.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Artosi, A., Cattabriga, P., Governatori, G. (1997). A modal computational framework for default reasoning. In: Brewka, G., Habel, C., Nebel, B. (eds) KI-97: Advances in Artificial Intelligence. KI 1997. Lecture Notes in Computer Science, vol 1303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540634932_30
Download citation
DOI: https://doi.org/10.1007/3540634932_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63493-5
Online ISBN: 978-3-540-69582-0
eBook Packages: Springer Book Archive