Document Open Access Logo

07401 Executive Summary – Deduction and Decision Procedures

Authors Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis

PDF

File

Thumbnail PDF
PDF
DagSemProc.07401.2.pdf
  • Filesize: 75 kB
  • 3 pages

Document Identifiers

Subject Classification

Keywords
  • Formal Logic
  • Deduction
  • Artificial Intelligence

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

Formal logic provides a mathematical foundation for many areas of
 computer science. Significant progress has been made in the
 challenge of making computers perform non-trivial logical reasoning.
 be it fully automatic, or in interaction with humans.

In the last years it has become more and more evident that
theory-specific reasoners, and in particular decision procedures, are
extremely important in many applications of such deduction tools.
General-purpose reasoning methods such as resolution or paramodulation
alone are not efficient enough to handle the needs of real-world
applications. 
   %
  For this reason, the focus of this seminar was on decision procedures,
  their integration into general-purpose theorem provers,
  and the application of the integrated tools in computer science.

Cite As Get BibTex

Franz Baader, Byron Cook, Jürgen Giesl, and Robert Nieuwenhuis. 07401 Executive Summary – Deduction and Decision Procedures. In Deduction and Decision Procedures. Dagstuhl Seminar Proceedings, Volume 7401, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007) https://doi.org/10.4230/DagSemProc.07401.2

Author Details

Franz Baader
Byron Cook
Jürgen Giesl
Robert Nieuwenhuis
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact