@comment{{This file has been generated by bib2bib 1.95}}
@comment{{Command line: bib2bib -c 'year=2002 and not annote:"skip_html" and not annote:"unpublished"' -ob peter-2002.bib -oc peter-2002.cite peter.bib}}
  author = {Peter Baumgartner and Margret Gross-Hardt and Anna B.
  title = {{Living Book -- An Interactive and Personalized Book}},
  booktitle = {SSGRR 2002s - International Conference on Advances in
		  Infrastructure for e-Business, e-Education, e-Science, and
		  e-Medicine on the Internet},
  editor = {Veljko Milutinovic},
  year = {2002},
  publisher = {Published electronically
  era = {C},
  url = {living-book-an-interactive.pdf},
  abstract = {In the era of information technology, providing high
		  quality and state of the art educational material is quite
		  a challenge and requires the use of new media. The In2Math
		  project at the University of Koblenz-Landau develops in
		  this context the {\em Living Book\/}; Living Book means
		  personalized user oriented educational material together
		  with interactive components. The Living Book aims at
		  supporting the fundamental parts of undergraduate classes
		  in theoretical computer science. The main goal is to
		  support the active, explorative and self-determined
		  learning in lectures, tutorials and selfstudy. \par This
		  paper describes the main aspects of the Living Book and
		  explains the concepts and ideas behind it as well as the
		  techniques used to realized these concepts. }
  author = {Peter Baumgartner},
  title = {{A First-Order Logic Davis-Putnam-Logemann-Loveland
  booktitle = {AI in the new Millenium},
  optpages = {},
  publisher = {Morgan Kaufmann},
  year = {2002},
  editor = {Gerhard Lakemeyer and Bernhard Nebel},
  url = {},
  optchapter = {},
  optaddress = {},
  optmonth = {},
  note = {{\bfseries This book contains the contributions to
		  the International Joint Conference on Artificial
		  Intelligence (IJCAI 2001) distinguished paper track.}},
  optannote = {}
  author = {Peter Baumgartner},
  title = {{A First-Order Logic Davis-Putnam-Logemann-Loveland
  institution = {{Universit{\"a}t Koblenz-Landau}},
  year = {{2002}},
  type = {Fachberichte Informatik},
  number = {3--2002},
  language = {english},
  address = {Universit{\"a}t Koblenz-Landau, Institut f{\"u}r
		  Informatik, Rheinau 1, D-56075 Koblenz},
  url = {},
  abstract = { The Davis-Putnam-Logemann-Loveland procedure (DPLL) was
		  introduced in the early 60s as a proof procedure for
		  first-order logic. Nowadays, only its propositional logic
		  core component is widely used in efficient propositional
		  logic provers and respective applications. This success
		  motivates to reconsider lifting DPLL to the first-order
		  logic level in a more contemporary way, by exploiting
		  successful first-order techniques like ``unification''.
		  Following this idea, in this paper a first-order logic
		  version of DPLL, FDPLL, is presented. \par While
		  propositional DPLL is based on a splitting rule for case
		  analysis wrt.\  ground and complementary literals, FDPLL
		  uses a lifted splitting rule, i.e.\  the case analysis is
		  made wrt.\ non-ground and complementary literals now. To
		  make this work, a new way of treating variables is
		  employed. It comes together with a compact way of
		  representing and reasoning with first-order logic
		  interpretations, much like propositional DPLL reasons about
		  propositional truth assignments. As a nice consequence,
		  FDPLL naturally decides the class of
		  Bernays-Sch{\"o}nfinkel formulas, which is notoriously
		  difficult for most other calculi.}
  author = {Peter Baumgartner and Ulrich Furbach and Bernd Thomas},
  title = {Model Based Deduction for Knowledge Representation},
  booktitle = {17. WLP: Workshop Logische Programmierung, {TU} {D}resden,
		  {D}ecember 11--13, 2002},
  pages = {156-166},
  year = {2002},
  editor = {Bertram Fronh\"ofer and Steffen H\"olldobler},
  number = {TUD--FI03--03},
  series = {Technische Berichte der Fakult\"at Informatik},
  month = {April},
  organization = {TU Dresden, 01062 Dresden},
  note = {ISSN 1430--211X},
  url = {LP-workshop.pdf}
  author = {Peter Baumgartner and Ulrich Furbach},
  title = {Model Based Deduction for Knowledge Representation
		  (Position Paper)},
  booktitle = {International Workshop on the Semantic Web, Workshop at
  optcrossref = {},
  optkey = {},
  optpages = {},
  year = {2002},
  editor = {Martin Frank, Natasha Noy,Steffen Staab},
  optvolume = {},
  optnumber = {},
  optseries = {},
  optaddress = {},
  optmonth = {},
  optorganization = {},
  optpublisher = {},
  optnote = {},
  annote = {Online-Proceedings available at
  optkey = {},
  author = {Peter Baumgartner},
  title = {{Automatische Deduktion -- Von Kalk{\"u}len zu
  howpublished = {Habilitation thesis, University of Koblenz-Landau,
  optmonth = {},
  year = {2002},
  note = {(in German)},
  optannote = {}