SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

AI Communications

Volumn 15, Issue 2, 2002, Pages 135-146

TPTP, CASC and the development of a semantically guided theorem prover

(2) Hodgson, Kahlil a Slaney, John a

a AUSTRALIAN NATIONAL UNIVERSITY (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; SEMANTICS; SYSTEMS ANALYSIS;

SEMANTICALLY GUIDED THEOREM PROVERS;

THEOREM PROVING;

EID: 0036329502 PISSN: 09217126 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (4)

References (17)

1
- 84867792284
- The extended least number heuristic
- (2001) Proc. International Joint Conference on Automated Reasoning , pp. 427-442
- Audemard, G.¹ Henocque, L.²

2
- 0001107914
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models
- (2000) Journal of Symbolic Computation , vol.29 , pp. 177-212
- Caferra, R.¹ Peltier, N.²

3
- 84880678746
- High performance ATP systems by combining several AI methods
- (1997) Proc. 15th International Joint Conference on Artificial Intelligence , pp. 102-107
- Denzinger, J.¹ Fuchs, M.² Fuchs, M.³

4
- 4243812723
- Hyperresolution and automated model building
- (1996) Journal of Logic and Computation , vol.6 , pp. 173-203
- Fermüller, C.¹ Leitsch, A.²

5
- 84957703216
- Experiments in the heuristic use of past proof experience
- (1996) Proc. 13th International Conference on Automated Deduction , pp. 523-537
- Fuchs, M.¹

6
- 84867813339
- System description: SCOTT-5
- (2001) Proc. International Joint Conference on Automated Reasoning , pp. 443-447
- Hodgson, K.¹ Slaney, J.²

7
- 33947174836
- SCOTT: Semantically constrained OTTER (system description)
- (1994) Proc. 12th Conference on Automated Deduction , pp. 764-768
- Lusk, E.¹ Slaney, J.² McCune, W.³

8
- 0003734447
- Technical report ANL-94/6, Argonne National Laboratory, Argonne, USA
- (1994) OTTER 3.0 reference manual and guide
- McCune, W.¹

9
- 0033682919
- Ordered semantic hyper-linking
- (2000) Journal of Automated Reasoning , vol.25 , pp. 167-217
- Plaisted, D.¹ Chu, H.²

10
- 0002293644
- SCOTT: A model-guided theorem prover
- (1993) Proc. 13th International Joint Conference on Artificial Intelligence , pp. 109-114
- Slaney, J.¹

11
- 0347494097
- Finder: Finite domain enumerator (system description)
- (1994) Proc. 12th International Conference on Automated Deduction , pp. 764-768
- Slaney, J.¹

12
- 0009842901
- Combining finite model generation with theorem proving: Problems and prospects
- (1996) Proc. Frontiers of Combining Systems , pp. 141-155
- Slaney, J.¹ Surendonk, T.²

13
- 0032653951
- The CADE-15 ATP system competition
- (1999) Journal of Automated Reasoning , vol.23 , pp. 1-23
- Sutcliffe, G.¹ Suttner, C.²

14
- 4243679905
- Technical report 2, School of Information Technology, James Cook University, Townsville, Australia
- (2000) Evaluating general purpose auto-mated theorem proving systems
- Sutcliffe, G.¹ Suttner, C.²

15
- 0009830173
- CASC-16 1/2, Preprint CSPP-4, Department of Computer Science, University of Manchester, 2000
- Voronkov, A.¹

16
- 0030212141
- Constructing finite algebras with FALCON
- (1996) Journal of Automated Reasoning , vol.17 , pp. 1-22
- Zhang, J.¹

17
- 0000652015
- SEM: A system for enumerating models
- (1995) Proc. 14th International Joint Conference on Artificial Intelligence , pp. 298-303
- Zhang, J.¹ Zhang, H.²

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