Please use this identifier to cite or link to this item:
doi:10.22028/D291-25022
Title: | A sampler of relational/functional definitions (second, revised edition) |
Other involved persons: | Boley, Harold |
Language: | English |
Year of Publication: | 1991 |
OPUS Source: | Kaiserslautern ; Saarbrücken : DFKI, 1991 |
SWD key words: | Künstliche Intelligenz |
DDC notations: | 004 Computer science, internet |
Publikation type: | Report |
Abstract: | This is a collection of annotated RELFUN definitions showing principles and applications of relational/functional specification. It consists of concise declarative programs (often invertible) selected on the basis of didactic considerations. The knowledge they encode is mostly derived from the domain of mechanical engineering. The definitions solve problems in solid geometry, feature parsing, workpiece normalization, chemistry, etc.. All examples can be run directly in RELFUN. |
Link to this record: | urn:nbn:de:bsz:291-scidok-38607 hdl:20.500.11880/25078 http://dx.doi.org/10.22028/D291-25022 |
Series name: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Series volume: | 91-04 |
Date of registration: | 6-Jul-2011 |
Faculty: | SE - Sonstige Einrichtungen |
Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
TM_91_04.pdf | 12,74 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.