Translating a modal language with embedded implication into Horn clause logic-Reference-Cited by-同舟云学术

Translating a modal language with embedded implication into Horn clause logic

Published:1996 Issue: Volume: Page:19-33
ISSN:0302-9743
Container-title:Extensions of Logic Programming
language:
Short-container-title:

Author:

Baldoni Matteo,Giordano Laura,Martelli Alberto

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60983-0_2.pdf

Reference19 articles.

1. M. Abadi and Z. Manna. Temporal logic programming. J. Symbolic Computation, (8):277–295, 1989.

2. Y. Auffray and P. Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247–297, 1992.

3. M. Baldoni, L. Giordano, and A. Martelli. A multimodal logic to define modules in logic programming. In Proc. 1993 International Logic Programming Symposium, pages 473–487, Vancouver, 1993.

4. M. Baldoni, L. Giordano, and A. Martelli. A modal extention of logic programming: modularity, beliefs and hypothetical reasoning. Technical report, Dipartimento di Informatica, University of Turin, 1995.

5. M. Baldoni, L. Giordano, and A. Martelli. A modal extention of logic programming. In Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE 1994, volume 2, pages 324–335, Peñiscola, Spain, September, 1994.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantics of structured normal logic programs;The Journal of Logic and Algebraic Programming;2012-07

2. Multimodal logic programming;Theoretical Computer Science;2006-08

3. A Transformational Semantics of Static Embedded Implications of Normal Logic Programs;Logic Based Program Synthesis and Transformation;2006

4. Beliefs in Agent Implementation;Lecture Notes in Computer Science;2006

5. Inheritance in a Deductive Object Database Language with Updates;Lecture Notes in Computer Science;2000