1-8 of 8 Books

Semantic interpretation and the resolution of ambiguity
By Graeme Hirst

A many-sorted calculus based on resolution and paramodulation
By Christoph Walther

Strategische Unternehmensplanung mit Hilfe eines Assumption-based-truth-maintenance-Systems (ATMS)
By Ralf Dicke

Grundkurs ku nstliche Intelligenz
By Wolfgang Ertel

Methoden der künstlichen Intelligenz für Grafikanwendungen
By Franco Di Primio