Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Logic-Based Question Answering

Künstliche Intelligenz. Bd. 24. H. 1. Berlin: Springer 2010 S. 51 - 55

Erscheinungsjahr: 2010

ISBN/ISSN: 1610-1987

Publikationstyp: Zeitschriftenaufsatz

Sprache: Englisch

Doi/URN: 10.1007/s13218-010-0010-x

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung


  • Automate Reasoning
  • Automate Theorem Prover
  • Question Answering
  • Textual Source
  • Theorem Prover

Autoren


Glöckner, Ingo (Autor)
Helbig, Hermann (Autor)
Pelzer, Björn (Autor)

Verknüpfte Personen


Beteiligte Einrichtungen