Titlebook: Künstliche Intelligenz; 5. Frühjahrsschule, Thomas Christaller Conference proceedings 1989 Springer-Verlag Berlin Heidelberg 1989 Experten

联合

Nichtmonotone Logiken Ein einführender Überblickworden. Ich hoffe, daß es mir gelungen ist, das auf einige nicht so grundlegende Stellen zu beschränken. Ich möchte ausdrücklich darauf hinweisen, daß eine solche Arbeit die Lektüre der Originalarbeiten nicht ersetzen, sondern erleichtern soll.

Omnipotent

Ligament

Belief Systems: Ascribing Belief belief (i.e, the generation of nested beliefs on demand). This ascription is accomplished by a form of default reasoning. Particular attention is paid to beliefs that are not ascribed by default (known as ..)

提炼

愚笨

烦扰

Fecal-Impaction

Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs truth checking algorithm is to solve a goal by first Consulting the database for a possible Solution and to initiate a deduction process in case no such immediate Solutions can be found. We prove that this evaluation strategy is correct but — in general — not complete.

老巫婆

Formalizing Local Constraint Propagation Methodstsche Forschungsgemeinschaft DFG as part of the research project SFB 314 “Künstliche Intelligenz und Wissensbasierte Systeme”. The contributions of Hans voβ were partially supported by the Bundesminister für Forschung und Technologie under contract ITW 85030.

Fierce

Methodik des Programmierens in Prologständlichkeit eines Prolog-Programms auswirken. Die meisten Vorschläge beziehen sich auf das .. Unserer Meinung nach hat beim jetzigen Stand der Prolog-Programmierung der Algorithmen-Entwurf im Kleinen noch die entscheidende Bedeutung für die Qualität von Prolog-Programmen.

Fermentation

Techniken des Wissenserwerbslicher Wissenserwerbsmethoden kennenlernen wollen. Dem Praktiker wird aber auch eine Zusammenfassung der zur Zeit in der Diskussion befindlichen Methoden geboten. Dabei werden auch die potentiellen Einsatzmöglichkeiten der Verfahren erörtert.