Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Automated reasoning embedded in question answering

Koblenz: Universität Koblenz-Landau 2013

Erscheinungsjahr: 2013

Publikationstyp: Buch

Sprache: Englisch

Website
Geprüft:Bibliothek

Inhaltszusammenfassung

  • Abduktion
  • Deduktion
  • Fragebeantwortung
  • Logischer Schluss
  • Prädikatenlogik
  • Schlussfolgern
  • Theorembeweiser
  • automated theorem prover
  • question answering

Autoren

Pelzer, Björn (Autor)

Beteiligte Einrichtungen

Logo Universität Koblenz
Logo Universität Koblenz