Please use this identifier to cite or link to this item:
doi:10.22028/D291-25049 | Title: | Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings |
| Author(s): | Boley, Harold Bry, François Geske, Ulrich |
| Other involved persons: | Boley, Harold Bry, François Geske, Ulrich |
| Language: | (Other) |
| Year of Publication: | 1993 |
| OPUS Source: | Kaiserslautern ; Saarbrücken : DFKI, 1993 |
| SWD key words: | Künstliche Intelligenz |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | The field of declarative AI programming is briefly characterized. Its recent developments in Germany are reflected by a workshop as part of the scientific congress KI-93 at the Berlin Humboldt University. Three tutorials introduce to the state of the art in deductive databases, the programming language Gödel, and the evolution of knowledge bases. Eleven contributed papers treat knowledge revision/program transformation, types, constraints, and type-constraint combinations. |
| Link to this record: | urn:nbn:de:bsz:291-scidok-39423 hdl:20.500.11880/25105 http://dx.doi.org/10.22028/D291-25049 |
| Series name: | Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x] |
| Series volume: | 93-35 |
| Date of registration: | 7-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 | |
|---|---|---|---|---|
| RR_93_35.pdf | 70,5 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.