Publikation

Eine Spezifikationssprache für Transformationen auf getypten Merkmalsstrukturen

Jochen Bedersdorfer, Karsten Konrad, Ingo Neis, Oliver Scherf, Jörg Steffen, Michael Wein

In: Harold Boley, François Bry, Ulrich Geske (Hrsg.). Proceedings of the Workshop on "Neuere Entwicklungen der deklarativen KI-Programmierung". Neuere Entwicklungen der deklarativen KI-Programmierung September 13-15 Berlin Germany Seiten 17-30 Research Report RR-93-35 1993.

Abstrakt

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.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence