07401 Executive Summary – Deduction and Decision Procedures

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



PDF
Thumbnail PDF

File

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

Document Identifiers

Author Details

Franz Baader
Byron Cook
Jürgen Giesl
Robert Nieuwenhuis

Cite AsGet 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

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.
Keywords
  • Formal Logic
  • Deduction
  • Artificial Intelligence

Metrics

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