Publications
- M. Baldoni,
L. Giordano, and A. Martelli.
Translating
a Modal Language with Embedded Implications into Horn Clause
Logic.
In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of
the 5th International Workshop on Extensions of Logic Programming,
ELP'96, volume 1050 of LNAI, pages 19-33.
Springer-Verlag, 1996.
(PostScript)
(PDF)
|