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.09411.2
URN: urn:nbn:de:0030-drops-24213
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2421/
Go to the corresponding Portal

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias

09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions

pdf-format:
09411.SWM.ExtAbstract.2421.pdf (0.08 MB)

Abstract

This seminar was the ninth in the series of the
Dagstuhl "Deduction" seminars held biennially since 1993. Its goal
was to bring together the closely related but
unnecessarily disjoint communities of researchers working in
interactive and automatic program
verification.

BibTeX - Entry

@InProceedings{ball_et_al:DagSemProc.09411.2,
  author =	{Ball, Thomas and Giesl, J\"{u}rgen and H\"{a}hnle, Reiner and Nipkow, Tobias},
  title =	{{09411 Executive Summary – Interaction versus Automation: The two Faces of Deductions}},
  booktitle =	{Interaction versus Automation: The two Faces of Deduction},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{9411},
  editor =	{Thomas Ball and J\"{u}rgen Giesl and Reiner H\"{a}hnle and Tobias Nipkow},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2010/2421},
  URN =		{urn:nbn:de:0030-drops-24213},
  doi =		{10.4230/DagSemProc.09411.2},
  annote =	{Keywords: Formal Logic, Deduction, Artificial Intelligence}
}

Keywords: Formal Logic, Deduction, Artificial Intelligence
Collection: 09411 - Interaction versus Automation: The two Faces of Deduction
Issue Date: 2010
Date of publication: 09.03.2010

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