-
1
-
-
0004357651
-
Gazing: An Approach to the Problem of Definition and Lemma Use
-
Barker-Plummer, D.: Gazing: An Approach to the Problem of Definition and Lemma Use. Journal of Automated Reasoning 8(3), 311-344 (1992)
-
(1992)
Journal of Automated Reasoning
, vol.8
, Issue.3
, pp. 311-344
-
-
Barker-Plummer, D.1
-
2
-
-
21144453149
-
New Techniques that Improve MACE-style Finite Model Finding
-
Baumgartner, P, Fermueller, C, eds
-
Claessen, K., Sorensson, N.: New Techniques that Improve MACE-style Finite Model Finding. In: Baumgartner, P., Fermueller, C. (eds.) Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications (2003)
-
(2003)
Proceedings of the Workshop on Model Computation - Principles, Algorithms, Applications
-
-
Claessen, K.1
Sorensson, N.2
-
3
-
-
84989525001
-
Indexing by Latent Semantic Analysis
-
Deerwester, S., Dumais, S., Furnas, G., Landauer, K., Harschman, R.: Indexing by Latent Semantic Analysis. Journal of the American Society for Information Science 41(6), 391-407 (1990)
-
(1990)
Journal of the American Society for Information Science
, vol.41
, Issue.6
, pp. 391-407
-
-
Deerwester, S.1
Dumais, S.2
Furnas, G.3
Landauer, K.4
Harschman, R.5
-
4
-
-
0001368373
-
Et́ude Comparative de la Distribution Florale Dans une Portion des Alpes et des Jura
-
Jaccard, P.: Et́ude Comparative de la Distribution Florale Dans une Portion des Alpes et des Jura. Bulletin del la Société Vaudoise des Sciences Naturelles 37, 547-579 (1901)
-
(1901)
Bulletin del la Société Vaudoise des Sciences Naturelles
, vol.37
, pp. 547-579
-
-
Jaccard, P.1
-
5
-
-
74249103629
-
Lightweight Relevance Filtering for Machine-Generated Resolution Problems
-
Sutcliffe, G, Schmidt, R, Schulz, S, eds
-
Meng, J., Paulson, L.: Lightweight Relevance Filtering for Machine-Generated Resolution Problems. In: Sutcliffe, G., Schmidt, R., Schulz, S. (eds.) Proceedings of the FLoC 2006 Workshop on Empirically Successful Computerized Reasoning. CEUR Workshop Proceedings, vol. 192, pp. 53-69 (2006)
-
(2006)
Proceedings of the FLoC 2006 Workshop on Empirically Successful Computerized Reasoning. CEUR Workshop Proceedings
, vol.192
, pp. 53-69
-
-
Meng, J.1
Paulson, L.2
-
6
-
-
0037371961
-
A Relevance Restriction Strategy for Automated Deduction
-
Plaisted, D.A., Yahya, A.: A Relevance Restriction Strategy for Automated Deduction. Artificial Intelligence 144(1-2), 59-93 (2003)
-
(2003)
Artificial Intelligence
, vol.144
, Issue.1-2
, pp. 59-93
-
-
Plaisted, D.A.1
Yahya, A.2
-
7
-
-
84884616258
-
Semantic Selection of Premisses for Automated Theorem Proving
-
Urban, J, Sutcliffe, G, Schulz, S, eds
-
Pudlak, P.: Semantic Selection of Premisses for Automated Theorem Proving. In: Urban, J., Sutcliffe, G., Schulz, S. (eds.) Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories. CEUR Workshop Proceedings, vol. 257, pp. 27-44 (2007)
-
(2007)
Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories. CEUR Workshop Proceedings
, vol.257
, pp. 27-44
-
-
Pudlak, P.1
-
8
-
-
0036323940
-
E: A Brainiac Theorem Prover
-
Schulz, S.: E: A Brainiac Theorem Prover. AI Communications 15(2-3), 111-126 (2002)
-
(2002)
AI Communications
, vol.15
, Issue.2-3
, pp. 111-126
-
-
Schulz, S.1
-
9
-
-
84885656172
-
The SZS Ontologies for Automated Reasoning Software
-
Sutcliffe, G, Rudnicki, P, Schmidt, R, Konev, B, Schulz, S, eds
-
Sutcliffe, G.: The SZS Ontologies for Automated Reasoning Software. In: Sutcliffe, G., Rudnicki, P., Schmidt, R., Konev, B., Schulz, S. (eds.) Proceedings of the Workshop or Knowledge Exchange: Automated Provers and Proof Assistants. CEUR Workshop Proceedings, vol. 418, pp. 38-49 (2008)
-
(2008)
Proceedings of the Workshop or Knowledge Exchange: Automated Provers and Proof Assistants. CEUR Workshop Proceedings
, vol.418
, pp. 38-49
-
-
Sutcliffe, G.1
-
10
-
-
35148848079
-
Proving Harder Theorems by Axiom Reduction
-
Russell, I, Haller, S, eds, AAAI Press, Menlo Park
-
Sutcliffe, G., Dvorsky, A.: Proving Harder Theorems by Axiom Reduction. In: Russell, I., Haller, S. (eds.) Proceedings of the 16th International FLAIRS Conference, pp. 108-112. AAAI Press, Menlo Park (2003)
-
(2003)
Proceedings of the 16th International FLAIRS Conference
, pp. 108-112
-
-
Sutcliffe, G.1
Dvorsky, A.2
-
11
-
-
53049092451
-
-
Urban, J., Sutcliffe, G., Pudlak, P., Vyskocil, J.: MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In: Baumgartner, P., Armando, A., Gilles, D. (eds.) IJCAR 2008. LNCS (LNAI), 5195, pp. 441-456. Springer, Heidelberg (2008)
-
Urban, J., Sutcliffe, G., Pudlak, P., Vyskocil, J.: MaLARea SG1: Machine Learner for Automated Reasoning with Semantic Guidance. In: Baumgartner, P., Armando, A., Gilles, D. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 441-456. Springer, Heidelberg (2008)
-
-
-
|