Edinburgh Research Explorer

A Survey of Automated Deduction

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

Original languageEnglish
Title of host publicationArtificial Intelligence Today
Subtitle of host publicationRecent Trends and Developments
EditorsMichael J. Wooldridge, Manuela Veloso
PublisherSpringer Berlin Heidelberg
Pages153-174
Number of pages22
ISBN (Electronic)978-3-540-48317-5
ISBN (Print)978-3-540-66428-4
DOIs
StatePublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume1600
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