✦ LIBER ✦

First-order theorem proving: Foreword

✍ Scribed by Nicolas Peltier; Viorica Sofronie-Stokkermans

Book ID: 113756565
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 139 KB
Volume: 47
Category: Article
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2011.12.030

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface to First order theorem proving

✍ Peter Baumgartner; Hantao Zhang 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 23 KB

First-order theorem proving (FTP) is among the most traditional disciplines in Artificial Intelligence. Its roots date back to the 1960s, which brought us milestones like the Davis-Putnam-Logemann-Loveland procedure for propositional logic and the resolution calculus for the first order logic. Since

Special Issue on Advances in First-order

Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors

📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t

Well-Behaved Inference Rules for First-O

Well-Behaved Inference Rules for First-Order Theorem Proving

✍ Jinzhao Wu; Zhuojun Liu 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 138 KB

An approach to a systematic theorem prov

An approach to a systematic theorem proving procedure in first-order logic

✍ W. Bibel 📂 Article 📅 1974 🏛 Springer Vienna 🌐 English ⚖ 860 KB

Ordering in mechanical geometry theorem

Ordering in mechanical geometry theorem proving

✍ Hongbo Li 📂 Article 📅 1997 🏛 SP Science China Press 🌐 English ⚖ 534 KB

First-Order Logic and Automated Theorem

First-Order Logic and Automated Theorem Proving, M. Fitting, Springer, 1990, 242 pp.

✍ G.-C. Rota 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 41 KB