메뉴 건너뛰기




Volumn 2381 LNAI, Issue , 2002, Pages 145-159

Implementation and optimisation of a tableau algorithm for the guarded fragment

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; FORMAL LANGUAGES; ALGORITHMS;

EID: 84885207247     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45616-3_11     Document Type: Conference Paper
Times cited : (16)

References (31)
  • 7
    • 0030107173 scopus 로고    scopus 로고
    • Hard random 3-SAT problems and the davis-putnam procedure
    • J. W. Freeman. Hard random 3-SAT problems and the Davis-Putnam procedure. Artificial Intelligence, 81:183-198, 1996.
    • (1996) Artificial Intelligence , vol.81 , pp. 183-198
    • Freeman, J.W.1
  • 9
    • 0032597509 scopus 로고    scopus 로고
    • A superposition decision procedure for the guarded fragment with equality
    • Trento, Italy IEEE Computer Society Press
    • H. Ganzinger and H. de Nivelle. A superposition decision procedure for the guarded fragment with equality. In 14th IEEE Symposium on Logic in Computer Science (LICS), Trento, Italy, 1999. IEEE Computer Society Press.
    • (1999) 14th IEEE Symposium on Logic in Computer Science (LICS)
    • Ganzinger, H.1    De Nivelle, H.2
  • 12
    • 0039064922 scopus 로고    scopus 로고
    • On the restrainingpower of guards
    • E. Grädel. On the restrainingpower of guards. Journal of Symbolic Logic, 64:1719-1742, 1999.
    • (1999) Journal of Symbolic Logic , vol.64 , pp. 1719-1742
    • Grädel, E.1
  • 14
    • 5444229505 scopus 로고    scopus 로고
    • Description of the RACER system and ist applications
    • D.L. McGuinness, PF. Patel-Schneider, C. Goble, and R. Möller, editors Stanford, CA, USA CEUR
    • V. Haarslev and R. Möller. Description of the RACER system and ist applications. In D.L. McGuinness, PF. Patel-Schneider, C. Goble, and R. Möller, editors, Proceedings of the 2001 International Workshop on Description Logics (DL2001), Volume 49, Stanford, CA, USA, 2001. CEUR.
    • (2001) Proceedings of the 2001 International Workshop on Description Logics (DL2001) , vol.49
    • Haarslev, V.1    Möller, R.2
  • 15
    • 84880869197 scopus 로고    scopus 로고
    • High performance reasoning with very large knowledge bases: A practical case study
    • Bernhard Nebel, editor Morgan Kaufman Publishers, San Francisco, USA
    • V. Haarslev and R. Möller. High performance reasoning with very large knowledge bases: A practical case study. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Aritificial Intelligence. Morgan Kaufman Publishers, San Francisco, USA, 2001.
    • (2001) Proceedings of the Seventeenth International Joint Conference on Aritificial Intelligence
    • Haarslev, V.1    Möller, R.2
  • 17
    • 52649088762 scopus 로고    scopus 로고
    • A tableau algorithm for the clique guarded fragment
    • F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors Stanford CSLI Publications
    • C. Hirsch and S. Tobies. A tableau algorithm for the clique guarded fragment. In F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logics, Volume 3, Stanford, 2001. CSLI Publications.
    • (2001) Advances in Modal Logics , vol.3
    • Hirsch, C.1    Tobies, S.2
  • 22
    • 0032592917 scopus 로고    scopus 로고
    • A description logic with transitive and inverse roles and role hierarchies
    • I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation, 9(3):385-410, 1999.
    • (1999) Journal of Logic and Computation , vol.9 , Issue.3 , pp. 385-410
    • Horrocks, I.1    Sattler, U.2
  • 30
    • 0343107108 scopus 로고    scopus 로고
    • SPASS: Combiningsuperposition, sorts and splitting
    • A. Robinson and A. Voronkov, editors chapter 27. Elsevier
    • C. Weidenbach. SPASS: Combiningsuperposition, sorts and splitting. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, chapter 27. Elsevier, 1999.
    • (1999) Handbook of Automated Reasoning
    • Weidenbach, C.1


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