Lotrec: The Generic Tableau Prover for Modal and Description Logics-Reference-Cited by-同舟云学术

Lotrec: The Generic Tableau Prover for Modal and Description Logics

Published:2001 Issue: Volume: Page:453-458
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

del Cerro Luis Fariñas,Fauthoux David,Gasquet Olivier,Herzig Andreas,Longin Dominique,Massacci Fabio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45744-5_38

Reference13 articles.

1. M. Castilho, L. Fariñas del Cerro, O. Gasquet, and A. Herzig. Modal tableaux with propagation rules and structural rules. Fund. Inf., 32(3):281–297, 1997.

2. L. Fariñas del Cerro, O. Gasquet. Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fund. Inf., 40(4): 317–333 (1999).

3. Proc. 1998 Int. Workshop on Description Logics, 1998. Technical rep. ITC-IRST 9805-03.

4. D. Fauthoux. Lotrec, un outil javanais de traitement formel sur les graphes. Tech. rep., IRIT, June 2000. Master Thesis (rapport de D.E.A).

5. E. Giunchiglia, F. Giunchiglia, R. Sebastiani, and A. Tacchella. Sat vs. translation based decision procedures for modal logics: a comparative evaluation. JANCL, 10(2):145–173, 2000.

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

1. Challenges for Non-Classical Reasoning in Contemporary AI Applications;KI - Künstliche Intelligenz;2024-07-04

2. Solving Modal Logic Problems by Translation to Higher-Order Logic;Lecture Notes in Computer Science;2023

3. A Modal Logic Analysis of a Line-Following Robot;Artificial Life and Intelligent Agents;2018

4. Compliance Verification Algorithm for Computer Systems Security Policies;Lecture Notes in Business Information Processing;2017

5. Telling Non-linear Stories with Interval Temporal Logic;Interactive Storytelling;2015