A Survey of Automated Deduction

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationArtificial Intelligence Today
Subtitle of host publicationRecent Trends and Developments
EditorsMichael J. Wooldridge, Manuela Veloso
PublisherSpringer Berlin Heidelberg
Number of pages22
ISBN (Electronic)978-3-540-48317-5
ISBN (Print)978-3-540-66428-4
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'A Survey of Automated Deduction'. Together they form a unique fingerprint.

Cite this