TY  - RPRT
T1  - Neuere Entwicklungen der deklarativen KI-Programmierung : proceedings
T3  - Kaiserslautern ; Saarbrücken : DFKI, 1993
A1  - Boley,Harold
A1  - Bry,François
A1  - Geske,Ulrich
Y1  - 2011/07/07
N2  - 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. 
KW  - Künstliche Intelligenz
CY  - Saarbrücken
PB  - Universitäts- und Landesbibliothek
AD  - Postfach 151141, 66041 Saarbrücken
UR  - http://scidok.sulb.uni-saarland.de/volltexte/2011/3942
ER  -