-
1
-
-
0001129020
-
Modal languages and bounded fragments of predicate logic
-
H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
-
(1998)
Journal of Philosophical Logic
, vol.27
, Issue.3
, pp. 217-274
-
-
Andréka, H.1
Van Benthem, J.2
Németi, I.3
-
5
-
-
84885193831
-
-
Povo - Trento, Italy CEUR
-
E. Franconi, G. De Giacomo, R. M. MacGregor, W. Nutt, and C. A. Welty, editors. Proceedings of the International Workshop on Description Logics, Povo - Trento, Italy, 1998. CEUR.
-
(1998)
Proceedings of the International Workshop on Description Logics
-
-
Franconi, E.1
De Giacomo, G.2
MacGregor, R.M.3
Nutt, W.4
Welty, C.A.5
-
7
-
-
0030107173
-
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
-
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
-
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
-
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
-
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
-
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
-
20
-
-
0001473852
-
Usingan expressive description logic: Fact or fiction?
-
A. G. Cohn, L. Schubert, and S. C. Shapiro, editors Morgan Kaufmann Publishers, San Francisco, California
-
I. Horrocks. Usingan expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98). Morgan Kaufmann Publishers, San Francisco, California, 1998.
-
(1998)
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)
-
-
Horrocks, I.1
-
22
-
-
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. 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
-
23
-
-
84886280180
-
Practical reasoning for expressive description logics
-
H. Ganzinger, D. McAllester, and A. Voronkov, editors Springer-Verlag
-
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161-180. Springer-Verlag, 1999.
-
(1999)
Proceedings of the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), Number 1705 in Lecture Notes in Artificial Intelligence
, pp. 161-180
-
-
Horrocks, I.1
Sattler, U.2
Tobies, S.3
-
25
-
-
84885221085
-
-
Linköping, Sweden CEUR
-
P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, and P. Patel-Schneider, editors. Proceedings of the International Workshop on Description Logics, Linköping, Sweden, 1999. CEUR.
-
(1999)
Proceedings of the International Workshop on Description Logics
-
-
Lambrix, P.1
Borgida, A.2
Lenzerini, M.3
Möller, R.4
Patel-Schneider, P.5
-
30
-
-
0343107108
-
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
-
31
-
-
9444271207
-
-
Ganzinger [8]
-
C. Weidenbach, B. Afshordel, U. Brahm, C. Cohrs, T. Engel, E. Keen, C. Theobalt, and D. Topić. System description: SPASS version 1.0.0. In Ganzinger [8].
-
System Description: SPASS Version 1.0.0
-
-
Weidenbach, C.1
Afshordel, B.2
Brahm, U.3
Cohrs, C.4
Engel, T.5
Keen, E.6
Theobalt, C.7
Topić, D.8
|