Titlebook: GWAI-84; 8th German Workshop Joachim Laubsch Conference proceedings 1985 Springer-Verlag Berlin Heidelberg 1985 artificial intelligence.co

ADORE

Declarative Representation of Control Structuresan knowledge to guide its search. By using fairly simple techniques the semantics of this knowledge have been incorporated into N.N.’s knowledge bases, thus rendering unnecessary any procedural interpreter. This feature increases transparency and portability of the the knowledge bases and faciliates

connoisseur

STRUPPI — ein graphischer Pretty-Printer für LISP-Strukturen LISP-Programmen und -daten, auf der die M?chtigkeit der Programmiersprache beruht, erschwert die Analyse und Modifikation von Programmen. Durch geeignete Darstellung von Listenstrukturen kann diese Uniformit?t verringert werden, so da? Sonderformen und Programmierfehler rascher erkannt werden k?nne

affluent

Using Structural Matching for Generalizing Exampleshich means that they are transformed by using knowledge about the learning universe until they have the same structure. The generalization is then determined by using variable links. Special consequences of our approach concern the way, how counterexamples can be used, which is described at the end

cortex

排他

rods366

Improvement of Recursive Programs from a Logic Programming Point of Views. This approach reduces the mystery of some of the eureka in [BUR 77] by making them computationally feasible. Furthermore the idea to do folding and unfolding with the completed logic programs both facilitates and adds translucency to the procedure.

Admonish

Temporal Logic in Artificial Intelligenced have been swept under the carpet by many AI researchers for many years. Only over the last few years has there been an increasing interest for time related problems and really hard problems have been attacked.

沒有希望

The Ecology of Family Relationships,A Knowledge Representation System is a package of software tools supporting the construction of problem solving systems. After a general introduction to the problems and methodologies of knowledge representation, several design requirements for knowledge representation systems are elaborated.

橫條

Post-truth: The Condition of Our Times,In this contribution a relational matching strategy is described. It allows to handle temporal information like the beginning and end of events, durativity and non-durativity correctly. The implementation and use of this strategy for temporal event recognition in the NAOS system is discussed.

充滿人

Design Requirements for Knowledge Representation SystemsA Knowledge Representation System is a package of software tools supporting the construction of problem solving systems. After a general introduction to the problems and methodologies of knowledge representation, several design requirements for knowledge representation systems are elaborated.