Starten Sie Ihre Suche...


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

Computing answers with model elimination

Artificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176

Erscheinungsjahr: 1997

ISBN/ISSN: 0004-3702

Publikationstyp: Zeitschriftenaufsatz

Sprache: Englisch

Doi/URN: 10.1016/S0004-3702(96)00042-2

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung

  • Automated reasoning
  • Computing answers
  • Logic programming
  • Model elimination
  • Theorem proving

Autoren

Baumgartner, Peter (Autor)
Furbach, Ulrich (Autor)
Stolzenburg, Frieder (Autor)

Verbundene Forschungsprojekte

Verknüpfte Personen

Ulrich Furbach

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Künstliche Intelligenz