ExpTime Tableaux for Using Sound Global Caching-Reference-Cited by-同舟云学术

ExpTime Tableaux for Using Sound Global Caching

Published:2011-12-10 Issue:4 Volume:50 Page:355-381
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Goré Rajeev,Nguyen Linh Anh

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10817-011-9243-0.pdf

Reference40 articles.

1. Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88(1–2), 195–213 (1996)

2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. CUP (2003)

3. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log. 69, 5–40 (2001)

4. Beth, E.W.: On Padoa’s method in the theory of definition. Indag. Math. 15, 330–339 (1953)

5. De Giacomo, G., Donini, F.M., Massacci, F.: Exptime tableaux for ALC. In: Proc. of Description Logics’1996. AAAI Tech. Report, vol. WS-96-05, pp. 107–110. AAAI Press (1996)

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

1. Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi;Logical Methods in Computer Science;2024-07-23

2. Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics;ACM Transactions on Computational Logic;2022-01-14

3. ExpTime Tableaux with Global Caching for Hybrid PDL;Journal of Automated Reasoning;2019-01-01

4. Optimal Satisfiability Checking for Arithmetic $$\mu $$ -Calculi;Lecture Notes in Computer Science;2019

5. Preferential Tableaux for Contextual Defeasible $$\mathcal {ALC}$$;Lecture Notes in Computer Science;2019