Please use this identifier to cite or link to this item:
doi:10.22028/D291-39845
Title: | Order-sorted Horn logic : Semantics and Deduction |
Author(s): | Smolka, Gert |
Language: | English |
Year of Publication: | 1986 |
Place of publication: | Kaiserslautern |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
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 to this record: | urn:nbn:de:bsz:291--ds-398459 hdl:20.500.11880/35966 http://dx.doi.org/10.22028/D291-39845 |
Series name: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Series volume: | 86,17 |
Date of registration: | 15-Jun-2023 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professorship: | SE - Sonstige |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
SEKI-REPORT-SR-86-17_Smolka_Order-Sorted-Horn-Logic-Semantics-and-Deduction.pdf | 11,08 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.