2026-07-24T21:21:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1251 2024-03-06T11:07:43Z ddc:004 open_access

07401 Executive Summary – Deduction and Decision Procedures Baader, Franz Cook, Byron Giesl, Jürgen Nieuwenhuis, Robert Formal Logic Deduction Artificial Intelligence 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 7401, Deduction and Decision Procedures (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.07401.2 urn:nbn:de:0030-drops-12515 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.07401.2 eng https://creativecommons.org/licenses/by/4.0/legalcode