Ebook: GWAI-85: 9th German Workshop on Artificial Intelligence Dassel/Solling, September 23–27, 1985

---

Content:
Front Matter....Pages I-X
Front Matter....Pages 1-1
Parallelverarbeitung in Netzwerk-Basierten Systemen....Pages 2-25
Front Matter....Pages 26-34
SYCON....Pages 35-35
Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine....Pages 36-45
Front Matter....Pages 46-55
Equality Reasoning with Equality-paths....Pages 56-56
Completion of Globally Finite Term Rewriting Systems for Inductive Proofs....Pages 57-76
On the Unification Hierarchy....Pages 77-100
Front Matter....Pages 101-110
Vermeidung ?berfl?ssiger Berechnungen in Hornklausel-Programmen durch Vor-Laufzeit-Untersuchungen....Pages 111-117
Ein Beweisverfahren f?r Datenbankpr?dikate....Pages 118-132
Extended Unification and its Implementation....Pages 133-133
Front Matter....Pages 134-134
Representing and Processing Copula and Full-Verb Sentences in Ham-Ans....Pages 135-152
Script-Based Generation and Evaluation of Expectations in Traffic Scenes....Pages 153-163
Halbautomatische Erweiterung Eines Thesaurus....Pages 164-175
Front Matter....Pages 176-185
What is Common Sense and How to Formalize it?....Pages 186-186
?ber unnormale V?gel, anwendbare Regeln und einen Default-Beweiser....Pages 187-196
Zur Rekonstruktion von Wissen in neueren Repr?sentationssprachen der K?nstlichen Intelligenz....Pages 197-203
Front Matter....Pages 204-211
BACK to Consistency and Incompleteness....Pages 212-212
Front Matter....Pages 213-217
Assumptionbased Truth Maintenance....Pages 218-229
Formal description of objects, processes, and levels of expert reasoning....Pages 230-244
Wissensakquisition Fuer Das Natuerlichsprachliche Zugangssystem Ham-Ans....Pages 212-212
Constructive Theory Formation in Knowledge Based Systems....Pages 245-256
Expert Systems in Statistics: Some Problems and Some New Views....Pages 257-257
Front Matter....Pages 258-258
Wissensbasierte Interpretation relationaler Bildbeschreibungen....Pages 259-271
‘No-Match’ Punkte: Informationsquelle f?r die Detektion von Bewegung....Pages 272-284
Hierarchische Dekomposition und Synthese von Objekten....Pages 285-294
Front Matter....Pages 295-299
Planungssysteme in der Robotik....Pages 300-312
Front Matter....Pages 313-322
Zusammenfassung....Pages 323-323
Processing Pronouns....Pages 324-335
Back Matter....Pages 336-347
....Pages 348-355