A Survey of Automated Deduction

Alan Bundy

doi:10.1007/3-540-48317-9_6

A Survey of Automated Deduction

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)

Export citation
[ RIS ]
[ BibTeX ]

Alan Bundy

Related Edinburgh Organisations

http://dx.doi.org/10.1007/3-540-48317-9_6

Original language	English
Title of host publication	Artificial Intelligence Today
Subtitle of host publication	Recent Trends and Developments
Editors	Michael J. Wooldridge, Manuela Veloso
Publisher	Springer Berlin Heidelberg
Pages	153-174
Number of pages	22
ISBN (Electronic)	978-3-540-48317-5
ISBN (Print)	978-3-540-66428-4
DOIs	10.1007/3-540-48317-9_6
State	Published - 1999

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	1600
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Abstract

We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.

ID: 15514525