Titlebook: KI-94: Advances in Artificial Intelligence; 18th German Annual C Bernhard Nebel,Leonie Dreschler-Fischer Conference proceedings 1994 Spring

Metastasis

A Kripke-Kleene logic over general logic programs,ctives. Basing upon Kripke‘s approach we introduce the notion of truth for formulas of ... Comparison with classical logic and intuitionistic one is given. We prove that every intuitionistic theorem is true in our logic. We also show how classical tautologies are mapped onto true formulas.

DAFT

AI approaches towards sensor-based driver support in road vehicles,asize the necessity to treat this problem on a conceptual rather than on a signal processing level. Moreover, this approach emphasizes the systems aspect. As a consequence, the challenge to AI is seen at the systems level. Various recent developments are pointed out which support the hypothesis that

deciduous

ETHER

来就得意

Utilizing spatial relations for natural language access to an autonomous mobile robot,ligent robots in a more flexible manner. In this paper, we report on our joint efforts at providing natural language access to the autonomous mobile two-arm robot .. The robot is able to perform complex assembly tasks. To achieve autonomous behaviour, several camera systems are used for the percepti

Indecisive

Cardinality restrictions on concepts,ticular role. It is not possible, however, to introduce global restrictions on the number of instances of a given concept. This paper argues that such cardinality restrictions on concepts are of importance in applications such as configuration of technical systems, an application domain of terminolo

思想灵活

An artificial neural network for high precision eye movement tracking,lds information about pupil position and facing direction related to a computer monitor in front of the subject. It is now a software task to calculate the coordinates of the screen point the person is looking at. Conventional algorithms are not able to realize the required non-linear projection ver

Ascendancy

斜

The stable semantics and its variants: A comparison of recent approaches,o meaningful inferences can be drawn), the (three-valued) well-founded model is always defined. A weakness of WFS on the other hand is its inability to allow for ...We claim that — besides the inconsistency problem — the reason of the anomalous behavior of STABLE is the failure of . — a principle in

–DOX