Metastasis
发表于 2025-3-28 15:24:42
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
发表于 2025-3-28 20:05:24
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
发表于 2025-3-29 02:43:19
http://reply.papertrans.cn/55/5417/541663/541663_43.png
ETHER
发表于 2025-3-29 06:46:32
http://reply.papertrans.cn/55/5417/541663/541663_44.png
来就得意
发表于 2025-3-29 08:26:20
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
发表于 2025-3-29 11:37:34
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
思想灵活
发表于 2025-3-29 16:41:21
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
发表于 2025-3-29 22:36:08
http://reply.papertrans.cn/55/5417/541663/541663_48.png
斜
发表于 2025-3-30 00:59:02
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
发表于 2025-3-30 05:27:39
http://reply.papertrans.cn/55/5417/541663/541663_50.png