ADORE
发表于 2025-3-23 10:34:02
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
发表于 2025-3-23 16:11:38
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
发表于 2025-3-23 19:58:26
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
发表于 2025-3-24 02:04:37
http://reply.papertrans.cn/39/3802/380187/380187_14.png
排他
发表于 2025-3-24 06:09:00
http://reply.papertrans.cn/39/3802/380187/380187_15.png
rods366
发表于 2025-3-24 10:36:34
Improvement of Recursive Programs from a Logic Programming Point of Views. This approach reduces the mystery of some of the eureka in 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
发表于 2025-3-24 11:14:01
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.
没有希望
发表于 2025-3-24 18:23:29
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.
横条
发表于 2025-3-24 20:25:46
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.
充满人
发表于 2025-3-25 02:50:41
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.