Trustworthy Systems

Automatische inferenz

Authors

Peter Baumgartner

NICTA

Abstract

This overview article on 'automated inference' appears in the (German) 'Handbook of Artificial Intelligence'.

BibTeX Entry

  @inbook{Baumgartner_13,
    isbn             = {978-3-486-71307-7},
    publisher        = {Oldenbourg Verlag},
    booktitle        = {Handbuch der Kuenstlichen Intelligenz},
    month            = dec,
    series           = {None},
    year             = {2013},
    editor           = {{Guenther Goerz, Josef Schneeberger, Ute Schmid}},
    keywords         = {automated reasoning, first-order logic},
    title            = {Automatische Inferenz},
    pages            = {129--167},
    author           = {Baumgartner, Peter},
    address          = {Muenchen, Germany}
  }

Download