Perspectives on Automated Deduction-Reference-Cited by-同舟云学术

Perspectives on Automated Deduction

Published:1991 Issue: Volume: Page:77-104
ISSN:0927-1023
Container-title:Automated Reasoning Series
language:
Short-container-title:

Author:

Bibel W.

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-011-3488-0_4.pdf

Reference34 articles.

1. Peter B. Andrews (1981): Theorem Proving via General. Matings. Journal of the ACM 28, 193–214.

2. Peter B. Andrews (1989): On Connections and Higher-order Logic. Journal of Automated Reasoning 5, 257–291.

3. W. Bibel and E. Eder (1990). Methods and Calculi for Deduction. In: D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds.: Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford: Oxford University Press, to appear.

4. W. Bibel (1974): An Approach to a Systematic Theorem Proving Procedure in First-order Logic. Computing 12, 43–55. First presented to the GI Annual Conference in 1971.

5. W. Bibel (1980): A Strong Completeness Result for the Connection Graph Proof Procedure. Technical Report ATP-3-IV-80, FG Kunstfiche Intelligenz, Technische Universitat Miinchen, Munich, Germany.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Machine Learning Guidance for Connection Tableaux;Journal of Automated Reasoning;2020-09-05

2. A Vision for Automated Deduction Rooted in the Connection Method;Lecture Notes in Computer Science;2017

3. Cognitive Adequacy in Brain-Like Intelligence;Creating Brain-Like Intelligence;2009

4. A Complete Neural Network Algorithm for Horn-SAT;Applied Logic Series;2000

5. KoMeT;Automated Deduction — CADE-12;1994