-
1
-
-
0003727420
-
-
Cambridge University Press
-
F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
-
(2003)
The Description Logic Handbook: Theory, Implementation, and Applications
-
-
Baader, F.1
Calvanese, D.2
McGuinness, D.3
Nardi, D.4
Patel-Schneider, P.F.5
-
2
-
-
0028428968
-
An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on
-
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:109-132, 1994.
-
(1994)
Applied Artificial Intelligence. 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
-
-
9444261002
-
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
-
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
-
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
-
10
-
-
0001870494
-
TBox and ABox reasoning in expressive description logics
-
L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Morgan Kaufmann, Los Altos
-
G. De Giacomo and M. Lenzerini. TBox and ABox reasoning in expressive description logics. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96), pages 316-327. Morgan Kaufmann, Los Altos, 1996.
-
(1996)
Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96)
, pp. 316-327
-
-
De Giacomo, G.1
Lenzerini, M.2
-
12
-
-
0034322495
-
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
-
13
-
-
0000556825
-
The complexity of concept languages
-
J. Allen, R. Fikes, and E. Sandewall, editors,Morgan Kaufmann, Los Altos
-
F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In J. Allen, R. Fikes, and E. Sandewall, editors, Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'91), pages 151-162. Morgan Kaufmann, Los Altos, 1991.
-
(1991)
Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'91)
, pp. 151-162
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Nutt, W.4
-
14
-
-
0005500293
-
Tractable concept languages
-
Sydney (Australia)
-
F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. Tractable concept languages. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91), pages 458-463, Sydney (Australia), 1991.
-
(1991)
Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI'91)
, pp. 458-463
-
-
Donini, F.M.1
Lenzerini, M.2
Nardi, D.3
Nutt, W.4
-
19
-
-
0032592917
-
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
-
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
-
21
-
-
0007904166
-
Practical reasoning for very expressive description logics
-
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for very expressive description logics. J. of the Interest Group in Pure and Applied Logic, 8(3):239-264, 2000.
-
(2000)
J. of the Interest Group in Pure and Applied Logic
, vol.8
, Issue.3
, pp. 239-264
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
23
-
-
0001849397
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
|