Multi-modal logic programming using equational and order-sorted logic-Reference-Cited by-同舟云学术

Multi-modal logic programming using equational and order-sorted logic

Published:1990 Issue: Volume: Page:55-69
ISSN:0302-9743
Container-title:Algebraic and Logic Programming
language:
Short-container-title:

Author:

Debart Françoise,Enjalbert Patrice,Lescot Madeleine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53162-9_30.pdf

Reference19 articles.

1. M. Abadi, Z. Manna, Temporal Logic Programming, Proc. IEEE Symposium on Logic Programming, San Francisco, 1987.

2. Y. Auffray, P. Enjalbert, Modal theorem proving using equational methods, Proc. 11th Int. Joint Conf. on Artif. Intell., Detroit, 1989.

3. L. Catach, Normal Multimodal Logics, Proc. Nat. Conf. on Artif. Intel.'88, St Paul, Minesota, 1988.

4. F.Debart, M. Lescot, Extension de la logique des chemins à la logique multi-modale: théorie et implémentation, Technical Report "Les cahiers du LIUC" 90-4, 1990.

5. F.Debart, P. Enjalbert, M. Lescot, Multi-Modal Automated Deduction Using Equational And Order-Sorted Logic, Proc. 2nd Conf. on Conditional and Typed Rewriting Systems, Montreal, To appear in Springer LNCS, M.Okada & S.Kaplan Ed., 1990.

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

1. A mechanisation of classical modal tense logics using isabelle;Advanced Topics in Artificial Intelligence;1998

2. Translation-based deduction methods for modal logics;Advances in Intelligent Computing — IPMU '94;1995

3. A case of termination for associative unification;Word Equations and Related Topics;1993

4. Building in equational theories into the connection method;Fundamentals of Artificial Intelligence Research;1991

5. Multi-modal logic programming using equational and order-sorted logic;Algebraic and Logic Programming;1990