메뉴 건너뛰기




Volumn 57, Issue 2-4, 2003, Pages 247-279

From Tableaux to Automata for Description Logics

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; OPTIMIZATION; PROBLEM SOLVING; SET THEORY;

EID: 1642485949     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (23)

References (38)
  • 3
    • 9444261002 scopus 로고    scopus 로고
    • From tableaux to automata for description logics
    • M. Vardi and A. Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Almaty, Kazakhstan, Springer-Verlag
    • F. Baader, J. Hladik, C. Lutz, and F. Wolter. From tableaux to automata for description logics. In M. Vardi and A. Voronkov, editors, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, pages 1-32, Almaty, Kazakhstan, 2003. Springer-Verlag.
    • (2003) Lecture Notes in Computer Science , vol.2850 , pp. 1-32
    • Baader, F.1    Hladik, J.2    Lutz, C.3    Wolter, F.4
  • 5
    • 34548272754 scopus 로고    scopus 로고
    • An overview of tableau algorithms for description logics
    • F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studio Logica, 69:5-40, 2001.
    • (2001) Studio Logica , vol.69 , pp. 5-40
    • Baader, F.1    Sattler, U.2
  • 6
    • 84867813664 scopus 로고    scopus 로고
    • The inverse method implements the automata approach for modal satisfiability
    • Proc. of the Int. Joint Conf. on Automated Reasoning IJCAR'01, Springer-Verlag
    • F. Baader and S. Tobies. The inverse method implements the automata approach for modal satisfiability. In Proc. of the Int. Joint Conf. on Automated Reasoning IJCAR'01, volume 2083 of LNAI, pages 92-106. Springer-Verlag, 2001.
    • (2001) LNAI , vol.2083 , pp. 92-106
    • Baader, F.1    Tobies, S.2
  • 12
    • 0034322495 scopus 로고    scopus 로고
    • EXPTIME tableaux for ACC
    • F. Donini and F. Massacci. EXPTIME tableaux for ACC. Acta Informatica, 124(1):87-138, 2000.
    • (2000) Acta Informatica , vol.124 , Issue.1 , pp. 87-138
    • Donini, F.1    Massacci, F.2
  • 19
    • 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. J. of Logic and Computation, 9(3):385-410, 1999.
    • (1999) J. of Logic and Computation , vol.9 , Issue.3 , pp. 385-410
    • Horrocks, I.1    Sattler, U.2
  • 20
    • 84886280180 scopus 로고    scopus 로고
    • Practical reasoning for expressive description logics
    • H. Ganzinger, D. McAllester, and A. Voronkov, editors, number 1705 in Lecture Notes in Artificial Intelligence, Springer-Verlag
    • I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.
    • (1999) Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99) , pp. 161-180
    • Horrocks, I.1    Sattler, U.2    Tobies, S.3
  • 23
    • 0001849397 scopus 로고
    • The evolving technology of classification-based knowledge representation systems
    • J. F. Sowa, editor,Morgan Kaufmann, Los Altos
    • R. MacGregor. The evolving technology of classification-based knowledge representation systems. In J. F. Sowa, editor, Principles of Semantic Networks, pages 385-400. Morgan Kaufmann, Los Altos, 1991.
    • (1991) Principles of Semantic Networks , pp. 385-400
    • Macgregor, R.1
  • 25
    • 0007266073 scopus 로고
    • A framework for representing knowledge
    • J. Haugeland, editor, The MIT Press,A longer version appeared in The Psychology of Computer Vision (1975). Republished in [8]
    • M. Minsky. A framework for representing knowledge. In J. Haugeland, editor, Mind Design. The MIT Press, 1981. A longer version appeared in The Psychology of Computer Vision (1975). Republished in [8].
    • (1981) Mind Design
    • Minsky, M.1
  • 27
    • 84948979482 scopus 로고    scopus 로고
    • BDD-based decision procedures for K
    • A. Voronkov, editor, Proc. of the 18th Int. Conf. on Automated Deduction (CADE 2002), Springer-Verlag
    • G. Pan, U. Sattler, and M. Y. Vardi. BDD-based decision procedures for K. In A. Voronkov, editor, Proc. of the 18th Int. Conf. on Automated Deduction (CADE 2002), volume 2392 of LNAI, pages 16-30. Springer-Verlag, 2002.
    • (2002) LNAI , vol.2392 , pp. 16-30
    • Pan, G.1    Sattler, U.2    Vardi, M.Y.3
  • 28
    • 1642581004 scopus 로고    scopus 로고
    • Optimizing a bdd-based modal solver
    • F. Baader, editor, Proc. of the 19th Int. Conf. on Automated Deduction (CADE 2003), Springer-Verlag
    • G. Pan and M. Y. Vardi. Optimizing a bdd-based modal solver. In F. Baader, editor, Proc. of the 19th Int. Conf. on Automated Deduction (CADE 2003), volume 2741 of LNAI, pages 75-89. Springer-Verlag, 2003.
    • (2003) LNAI , vol.2741 , pp. 75-89
    • Pan, G.1    Vardi, M.Y.2
  • 29
    • 0039288269 scopus 로고
    • The CLASSIC knowledge representation system: Guiding principles and implementation rational
    • P. F. Patel-Schneider, D. L. McGuiness, R. J. Brachman, L. Alperin Resnick, and A. Borgida. The CLASSIC knowledge representation system: Guiding principles and implementation rational. SIGART Bull., 2(3):108-113, 1991.
    • (1991) SIGART Bull. , vol.2 , Issue.3 , pp. 108-113
    • Patel-Schneider, P.F.1    McGuiness, D.L.2    Brachman, R.J.3    Resnick, L.A.4    Borgida, A.5
  • 30
    • 0001917244 scopus 로고
    • The BACK system - An overview
    • C.Peltason. The BACK system - an overview. SIGART Bull., 2(3):114-119, 1991.
    • (1991) SIGART Bull. , vol.2 , Issue.3 , pp. 114-119
    • Peltason, C.1
  • 31
    • 0014124088 scopus 로고
    • Word concepts: A theory and simulation of some basic capabilities
    • Republished in [8]
    • M. R. Quillian. Word concepts: A theory and simulation of some basic capabilities. Behavioral Science, 12:410-430, 1967. Republished in [8].
    • (1967) Behavioral Science , vol.12 , pp. 410-430
    • Quillian, M.R.1
  • 33
    • 0026107613 scopus 로고
    • Attributive concept descriptions with complements
    • M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1-26, 1991.
    • (1991) Artificial Intelligence , vol.48 , Issue.1 , pp. 1-26
    • Schmidt-Schauß, M.1    Smolka, G.2
  • 34
    • 0003759706 scopus 로고
    • PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam
    • E. Spaan. Complexity of Modal Logics. PhD thesis, Department of Mathematics and Computer Science, University of Amsterdam, 1993.
    • (1993) Complexity of Modal Logics
    • Spaan, E.1
  • 35
    • 84957697460 scopus 로고    scopus 로고
    • A PSPACE algorithm for graded modal logic
    • H. Ganzinger, editor, Proc. of the 16th Int. Conf. on Automated Deduction (CADE'99), Springer-Verlag
    • S. Tobies. A PSPACE algorithm for graded modal logic. In H. Ganzinger, editor, Proc. of the 16th Int. Conf. on Automated Deduction (CADE'99), volume 1632 of Lecture Notes in Artificial Intelligence, pages 52-66. Springer-Verlag, 1999.
    • (1999) Lecture Notes in Artificial Intelligence , vol.1632 , pp. 52-66
    • Tobies, S.1
  • 36
    • 0022704337 scopus 로고
    • Automata-theoretic techniques for modal logics of programs
    • A preliminary version appeared in Proc. of the 16th ACM SIGACT Symp. on Theory of Computing (STOC'84)
    • M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. J. of Computer and System Sciences, 32:183-221, 1986. A preliminary version appeared in Proc. of the 16th ACM SIGACT Symp. on Theory of Computing (STOC'84).
    • (1986) J. of Computer and System Sciences , vol.32 , pp. 183-221
    • Vardi, M.Y.1    Wolper, P.2
  • 37
    • 1642540462 scopus 로고    scopus 로고
    • How to optimize proof-search in modal logics: New methods of proving redundancy criteria for sequent calculi
    • A. Voronkov. How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculi. ACM Trans. on Comp. Logic, 2(2): 182-215, 2001.
    • (2001) ACM Trans. on Comp. Logic , vol.2 , Issue.2 , pp. 182-215
    • Voronkov, A.1
  • 38
    • 44049122596 scopus 로고
    • The KL-ONE family
    • F. W. Lehmann, editor, Pergamon Press, Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2-9
    • W. A. Woods and J. G. Schmolze. The KL-ONE family. In F. W. Lehmann, editor, Semantic Networks in Artificial Intelligence, pages 133-178. Pergamon Press, 1992. Published as a special issue of Computers & Mathematics with Applications, Volume 23, Number 2-9.
    • (1992) Semantic Networks in Artificial Intelligence , pp. 133-178
    • Woods, W.A.1    Schmolze, J.G.2


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