Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39845 | Titel: | Order-sorted Horn logic : Semantics and Deduction |
| VerfasserIn: | Smolka, Gert |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1986 |
| Erscheinungsort: | Kaiserslautern |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| Abstract: | This paper presents a typed definite clause logic with equality. The type structure accommodates subtypes and multiple type declarations for functions and predicates. We show that the semantic and deductive methods developed for untyped equational logic generalize smoothly to this framework. |
| Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-398459 hdl:20.500.11880/35966 http://dx.doi.org/10.22028/D291-39845 |
| Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
| Band: | 86,17 |
| Datum des Eintrags: | 15-Jun-2023 |
| 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öße | Format | |
|---|---|---|---|---|
| SEKI-REPORT-SR-86-17_Smolka_Order-Sorted-Horn-Logic-Semantics-and-Deduction.pdf | 11,08 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.