How to use modalities and sorts in Prolog-Reference-Cited by-同舟云学术

How to use modalities and sorts in Prolog

Published: Issue: Volume: Page:365-378
ISSN:
Container-title:Logics in Artificial Intelligence
language:
Short-container-title:

Author:

Nonnengart Andreas

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0021985.pdf

Reference7 articles.

1. Yves Auffray and Patrice Enjalbert. Modal theorem proving: An equational viewpoint. Journal of Logic and Computation, 2(3):247–295, 1992.

2. Luis Fariñas del Cerro and Andreas Herzig. Quantified modal logic and unification theory. Rapport LSI 293, Languages et Systèmes Informatique, Université Paul Sabatier, Toulouse, 1988.

3. Andr≸s Nonnengart. First-order modal logic theorem proving and standard PROLOG. Technical Report MPI-I-92-228, Max-Planck-Institute for Computer Science, Saarbrücken, Germany, July 1992.

4. Andreas Nonnengart. First-order modal logic theorem proving and functional simulation. In Ruzena Bajcsy, editor, Proceedings of the 13th IJCAI, volume 1, pages 80–85. Morgan Kaufmann Publishers, 1993.

5. volume 310 of LNCS;H. J. Ohlbach,1988

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

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

2. Reasoning About Epistemic States of Agents by Modal Logic Programming;Lecture Notes in Computer Science;2006

3. An SLD-Resolution Calculus for Basic Serial Multimodal Logics;Theoretical Aspects of Computing – ICTAC 2005;2005

4. On Modal Deductive Databases;Advances in Databases and Information Systems;2005

5. The Modal Logic Programming System MProlog;Logics in Artificial Intelligence;2004