@inproceedings{8378ea4d6aaf4df5ba9da492871f17d8,
title = "Translating a modal language with embedded implication into horn clause logic",
abstract = "In this paper we present a method for translating Horn clauses extended with modalities and embedded implication (which provide reasoning capabilities in a multiagent situation and hypothetical reasoning) into Horn clauses, therefore suitable for SLD resolution. The translation takes two steps: the first one eliminates embedded implications by introducing new modalities; the second eliminates modalities by adding an argument which represents the worlds of the Kripke semantics to all predicates.",
keywords = "Embedded implication, Multimodal logic, Translation",
author = "Matteo Baldoni and Laura Giordano and Alberto Martelli",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 5th International Workshop on Extensions of Logic Programming, ELP 1996 ; Conference date: 28-03-1996 Through 30-03-1996",
year = "1996",
doi = "10.1007/3-540-60983-0_2",
language = "English",
isbn = "9783540609834",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "19--33",
editor = "Roy Dyckhoff and Roy Dyckhoff and Heinrich Herre and Heinrich Herre and Peter Schroeder-Heister and Peter Schroeder-Heister",
booktitle = "Extensions of Logic Programming - 5th International Workshop, ELP 1996, Proceedings",
address = "Germany",
}