-
1
-
-
21344484143
-
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
-
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
-
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
-
9
-
-
0041720096
-
SAT vs. translation based decision procedures for modal logics: A comparative evaluation
-
E. Giunchiglia, F. Giunchiglia, R. Sebastiani and A. Tacchella, SAT vs. translation based decision procedures for modal logics: a comparative evaluation, Journal of Applied Non Classical Logics 10(2) (2000) 145-172.
-
(2000)
Journal of Applied Non Classical Logics
, vol.10
, Issue.2
, pp. 145-172
-
-
Giunchiglia, E.1
Giunchiglia, F.2
Sebastiani, R.3
Tacchella, A.4
-
13
-
-
84957645011
-
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
-
14
-
-
0031630555
-
Boosting combinatorial search through randomization
-
26-30 July AAAI Press, Menlo Park, CA
-
C.P. Gomes, B. Selman and H. Kautz, Boosting combinatorial search through randomization, in: Proc. of 15th National Conference on Artificial Intelligence (AAAI-98) and of 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98), 26-30 July (AAAI Press, Menlo Park, CA, 1998) pp. 431-437.
-
(1998)
Proc. of 15th National Conference on Artificial Intelligence (AAAI-98) and of 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98)
, pp. 431-437
-
-
Gomes, C.P.1
Selman, B.2
Kautz, H.3
-
15
-
-
84886038997
-
HAM-ALC
-
eds. E. Franconi, G. De Giacomo, R.M. MacGregor, W. Nutt, C.A. Welty and F. Sebastiani CEUR, May
-
V. Haarslev and R. Möller, HAM-ALC, 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).
-
(1998)
Collected Papers from the International Description Logics Workshop (DL'98)
-
-
Haarslev, V.1
Möller, R.2
-
16
-
-
0026853865
-
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
-
17
-
-
0042721548
-
The logics workbench LWB: A snapshot
-
A. Heuerding, G. Jager, S. Schwendimann and M. Seyfried, The logics workbench LWB: A snapshot, Euromath Bulletin 2(1) (1996) 177-186.
-
(1996)
Euromath Bulletin
, vol.2
, Issue.1
, pp. 177-186
-
-
Heuerding, A.1
Jager, G.2
Schwendimann, S.3
Seyfried, M.4
-
22
-
-
0041720097
-
MSPASS: Subsumption testing with SPASS
-
eds. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller and P. Patel-Schneider CEUR, July
-
U. Hustadt, R.A. Schmidt and C. Weidenbach, MSPASS: Subsumption testing with SPASS. in: Collected Papers from the International Description Logics Workshop (DL'99), eds. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller and P. Patel-Schneider (CEUR, July 1999) pp. 136-137.
-
(1999)
Collected Papers from the International Description Logics Workshop (DL'99)
, pp. 136-137
-
-
Hustadt, U.1
Schmidt, R.A.2
Weidenbach, C.3
-
23
-
-
0000595575
-
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
-
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
-
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
-
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
-
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
-
30
-
-
0008954261
-
*SAT system description
-
eds. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller and P. Patel-Schneider CEUR, July
-
A. Tacchella, *SAT system description, in: Collected Papers from the International Description Logics Workshop (DL'99), eds. P. Lambrix, A. Borgida, M. Lenzerini, R. Möller and P. Patel-Schneider (CEUR, July 1999).
-
(1999)
Collected Papers from the International Description Logics Workshop (DL'99)
-
-
Tacchella, A.1
-
31
-
-
0003214883
-
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
-
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
-
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
|