License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagSemProc.05431.2
URN: urn:nbn:de:0030-drops-5100
Go to the corresponding Portal

Baader, Franz ; Baumgartner, Peter ; Nieuwenhuis, Robert ; Voronkov, Andrei

05431 Executive Summary -- Deduction and Applications

05431.SWM.Paper.510.pdf (0.09 MB)


Formal logic provides a mathematical foundation for many areas of
computer science. Logical languages are used as specification
language within, e.g., program development and verification,
hardware design and verification, relational databases, and many
subfields of Artificial Intelligence. Automated Deduction is
concerned with the design and implementation of algorithms based on
logical deduction for solving problems in these areas.

The last years have seen considerable improvements concerning both
basic automated deduction technology and its (real-world)
applications. Accordingly, the goal of the seminar was to bring
together researchers from both sides in order to get an overview of
the state of the art, and also to get ideas how to advance automated
deduction from an application oriented point of view.

BibTeX - Entry

  author =	{Baader, Franz and Baumgartner, Peter and Nieuwenhuis, Robert and Voronkov, Andrei},
  title =	{{05431 Executive Summary – Deduction and Applications}},
  booktitle =	{Deduction and Applications},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5431},
  editor =	{Franz Baader and Peter Baumgartner and Robert Nieuwenhuis and Andrei Voronkov},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-5100},
  doi =		{10.4230/DagSemProc.05431.2},
  annote =	{Keywords: Formal logic, deduction, artificial intelligence}

Keywords: Formal logic, deduction, artificial intelligence
Collection: 05431 - Deduction and Applications
Issue Date: 2006
Date of publication: 25.04.2006

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI