Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-42854
Titel: Goal : Backward-with-Forward Chaining in LISPLOG
VerfasserIn: Boley, Harold
Sprache: Englisch
Erscheinungsjahr: 1987
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: A tiny extension for perfoming forward chaining to prove goals set up by LISPLOG's backward-chaining mechanism is introduced.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-428547
hdl:20.500.11880/38572
http://dx.doi.org/10.22028/D291-42854
Schriftenreihe: SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931]
Band: 87,4
Datum des Eintrags: 30-Sep-2024
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Working-Paper-SWP-87-04_Boley_Goal-Backward=with=Forward-Chaining-in-LISPLOG.pdf2,13 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.