Tim: The toulouse inference machine for non-classical logic programming-Reference-Cited by-同舟云学术

Tim: The toulouse inference machine for non-classical logic programming

Published: Issue: Volume: Page:366-382
ISSN:
Container-title:Processing Declarative Knowledge
language:
Short-container-title:

Author:

Balbiani Philippe,Herzig Andreas,Marques Mamede Lima

Publisher

Springer-Verlag

Link

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

Reference25 articles.

1. J. M. ALLIOT and J. GARMENDIA. Une implementation en “C” de MOLOG. Rapport D.E.A., Université Paul Sabatier, Toulouse, France, 1988.

2. R. Arthaud, P. Bieber, L. Fariñas del Cerro, J. Henry, and A. Herzig. Automated modal reasoning. In Proc. of the Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, July 1986.

3. P. Balbiani, L. Fariñas del Cerro, and A. Herzig. Declarative semantics for modal logics. In Proc. of the Int. Conf. on Fifth Generation Computer Systems, Tokyo, 1988.

4. Marianne Baudinet. Logic Programming Semantics: Techniques and Applications. PhD thesis, Stanford University, feb 1989.

5. LNCS 310;P. Bieber,1988

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

1. Society semantics and the logic way to collective intelligence;Journal of Applied Non-Classical Logics;2017-10-02

2. References;An Introduction to Practical Formal Methods Using Temporal Logic;2011-04-26

3. Modal logic programming revisited;Journal of Applied Non-Classical Logics;2009-01-01

4. An introduction to executable modal and temporal logics;Executable Modal and Temporal Logics;1995

5. An overview of temporal and modal logic programming;Lecture Notes in Computer Science