메뉴 건너뛰기




Volumn 33, Issue 1, 2001, Pages 39-67

A subset-matching size-bounded cache for testing satisfiability in modal logics

Author keywords

Caching structures; Modal logics; Satisfiability

Indexed keywords


EID: 0035617751     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1012380814999     Document Type: Article
Times cited : (8)

References (33)
  • 1
    • 21344484143 scopus 로고
    • Embedding complex decision procedures inside an interactive theorem prover
    • A. Armando and E. Giunchiglia, Embedding complex decision procedures inside an interactive theorem prover, Annals of Mathematics and Artificial Intelligence 8(3-4) (1993) 475-502.
    • (1993) Annals of Mathematics and Artificial Intelligence , vol.8 , Issue.3-4 , pp. 475-502
    • Armando, A.1    Giunchiglia, E.2
  • 2
    • 0028428968 scopus 로고
    • An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on, Applied Artificial Intelligence
    • F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich, An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on, Applied Artificial Intelligence. Special Issue on Knowledge Base Management 4 (1994) 109-132.
    • (1994) Special Issue on Knowledge Base Management , vol.4 , pp. 109-132
    • Baader, F.1    Franconi, E.2    Hollunder, B.3    Nebel, B.4    Profitlich, H.J.5
  • 3
    • 84957357000 scopus 로고    scopus 로고
    • KtSeqC: System description
    • Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-99), 07-11 June 1999, ed. N.V. Murray, Springer, Berlin
    • V. Boyapati and R. Goré, KtSeqC: System description, in: Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-99), 07-11 June 1999, ed. N.V. Murray, Lecture Notes in Artificial Intelligence, Vol. 1617 (Springer, Berlin, 1999) pp. 29-31.
    • (1999) Lecture Notes in Artificial Intelligence , vol.1617 , pp. 29-31
    • Boyapati, V.1    Goré, R.2
  • 13
    • 84957645011 scopus 로고    scopus 로고
    • Building decision procedures for modal logics from prepositional decision procedures - The case study of modal K
    • Proc. of CADE-96, New Brunswick, NJ, USA, August 1996, Springer
    • F. Giunchiglia and R. Sebastiani, Building decision procedures for modal logics from prepositional decision procedures - the case study of modal K, in: Proc. of CADE-96, New Brunswick, NJ, USA, August 1996, Lecture Notes in Artificial Intelligence (Springer, 1996).
    • (1996) Lecture Notes in Artificial Intelligence
    • Giunchiglia, F.1    Sebastiani, R.2
  • 16
    • 0026853865 scopus 로고
    • A guide to completeness and complexity for modal logics of knowledge and belief
    • J.Y. Halpern and Y. Moses, A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence 54 (1992) 319-379.
    • (1992) Artificial Intelligence , vol.54 , pp. 319-379
    • Halpern, J.Y.1    Moses, Y.2
  • 23
    • 0000595575 scopus 로고
    • The computational complexity of provability in systems of modal propositional logic
    • R. Ladner, The computational complexity of provability in systems of modal propositional logic, SIAM Journal on Computing 6(3) (1977) 467-480.
    • (1977) SIAM Journal on Computing , vol.6 , Issue.3 , pp. 467-480
    • Ladner, R.1
  • 24
    • 22644449261 scopus 로고    scopus 로고
    • Design and results of the Tableaux-99 non-classical (modal) systems comparison
    • Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-99), 07-11 June 1999, ed. N.V. Murray, Springer, Berlin
    • F. Massacci, Design and results of the Tableaux-99 non-classical (modal) systems comparison, in: Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-99), 07-11 June 1999, ed. N.V. Murray, Lecture Notes in Artificial Intelligence, Vol. 1617 (Springer, Berlin, 1999) pp. 14-18.
    • (1999) Lecture Notes in Artificial Intelligence , vol.1617 , pp. 14-18
    • Massacci, F.1
  • 25
    • 84885971139 scopus 로고    scopus 로고
    • Design and results of TANCS-2000 non-classical (molda) systems comparison
    • Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2000), 3-7 July 2000, ed. R. Dyckhoff, Springer, Berlin
    • F. Massacci and F. Donini, Design and results of TANCS-2000 non-classical (molda) systems comparison, in: Proc. of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX-2000), 3-7 July 2000, ed. R. Dyckhoff, Lecture Notes in Artificial Intelligence, Vol. 1847 (Springer, Berlin, 2000) pp. 52-56.
    • (2000) Lecture Notes in Artificial Intelligence , vol.1847 , pp. 52-56
    • Massacci, F.1    Donini, F.2
  • 26
    • 0001938503 scopus 로고    scopus 로고
    • DLP system description
    • eds. E. Franconi, G. De Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty and F. Sebastiani CEUR, May
    • P.F. Patel-Schneider, DLP system description, in: Collected Papers from the International Description Logics Workshop (DL'98), eds. E. Franconi, G. De Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty and F. Sebastiani (CEUR, May 1998) pp. 87-89.
    • (1998) Collected Papers from the International Description Logics Workshop (DL'98) , pp. 87-89
    • Patel-Schneider, P.F.1
  • 28
    • 85026631240 scopus 로고
    • Attributive concept descriptions with complements
    • M. Schmidt-Schauss and G. Smolka, Attributive concept descriptions with complements. Artificial Intelligence 54 (1992) 319-379.
    • (1992) Artificial Intelligence , vol.54 , pp. 319-379
    • Schmidt-Schauss, M.1    Smolka, G.2
  • 31
    • 0003214883 scopus 로고
    • On the complexity of proofs in propositional logics
    • Reprinted in [29]
    • G. Tseitin, On the complexity of proofs in propositional logics, Seminars in Mathematics 8 (1970). Reprinted in [29].
    • (1970) Seminars in Mathematics , vol.8
    • Tseitin, G.1
  • 32
    • 0024897314 scopus 로고
    • On the complexity of epistemic reasoning
    • Asilomar Conference Center, 5-8 June 1989 IEEE Computer Society Press, Pacific Grove, CA
    • M.Y. Vardi, On the complexity of epistemic reasoning, in: Proc. of 4th Annual Symposium on Logic in Computer Science, Asilomar Conference Center, 5-8 June 1989 (IEEE Computer Society Press, Pacific Grove, CA, 1989) pp. 243-252.
    • (1989) Proc. of 4th Annual Symposium on Logic in Computer Science , pp. 243-252
    • Vardi, M.Y.1
  • 33
    • 84957669215 scopus 로고    scopus 로고
    • KK: A theorem prover for K
    • Proc. of 16th International Conference on Automated Deduction (CADE-16), 7-10 July 1999, ed. H. Ganzinger, Springer, Berlin
    • A. Voronkov, KK: a theorem prover for K, in: Proc. of 16th International Conference on Automated Deduction (CADE-16), 7-10 July 1999, ed. H. Ganzinger, Lecture Notes in Artificial Intelligence, Vol. 1632 (Springer, Berlin, 1999) pp. 383-387.
    • (1999) Lecture Notes in Artificial Intelligence , vol.1632 , pp. 383-387
    • Voronkov, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.