Baader, Franz ;
Cook, Byron ;
Giesl, Jürgen ;
Nieuwenhuis, Robert
07401 Executive Summary -- Deduction and Decision Procedures
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.
BibTeX - Entry
@InProceedings{baader_et_al:DagSemProc.07401.2,
author = {Baader, Franz and Cook, Byron and Giesl, J\"{u}rgen and Nieuwenhuis, Robert},
title = {{07401 Executive Summary – Deduction and Decision Procedures}},
booktitle = {Deduction and Decision Procedures},
pages = {1--3},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7401},
editor = {Franz Baader and Byron Cook and J\"{u}rgen Giesl and Robert Nieuwenhuis},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2007/1251},
URN = {urn:nbn:de:0030-drops-12515},
doi = {10.4230/DagSemProc.07401.2},
annote = {Keywords: Formal Logic, Deduction, Artificial Intelligence}
}
|
Keywords: |
|
Formal Logic, Deduction, Artificial Intelligence |
|
Seminar: |
|
07401 - Deduction and Decision Procedures
|
|
Issue date: |
|
2007 |
|
Date of publication: |
|
29.11.2007 |
29.11.2007
