This is a preview of subscription content, log in via an institution to check access.
References
Arthaud, R., Bieber, P., Fariñas del Cerro, L., Henry, J., Herzig, A., Automated modal reasonning, proceedings of the Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based systems, Paris, July 1986.
Balbiani, Ph., Bieber, P., Bricard, M., Fariñas del Cerro, L., Herzig, A., MOLOG User Manual, May 1987.
Balbiani, Ph., Fariñas del Cerro, L., Herzig, A., Declarative semantics for modal logic programs. Rapport LSI, November 1987.
Bricard, M., Une machine abstraite pour compiler MOLOG. Rapport LSI, June 1987.
Cialdea M., Une méthode de déduction automatique en logique modale. Thèse Université Paul Sabatier, Toulouse, 1986.
Fariñas del Cerro, L., MOLOG: a system that extends PROLOG with modal logic. The New Generation Computer Journal,4, 1986, pp.35–50.
Fariñas del Cerro, L., Penttonen, M., A note on the complexity of the satisfiability of modal Horn clauses. The Journal of Logic Programming,4, March 1987, pp. 1–10.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bieber, P., Fariñas del Cerro, L., Herzig, A. (1988). MOLOG: A modal PROLOG. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012886
Download citation
DOI: https://doi.org/10.1007/BFb0012886
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19343-2
Online ISBN: 978-3-540-39216-3
eBook Packages: Springer Book Archive