misshapen
发表于 2025-3-25 06:47:51
http://reply.papertrans.cn/24/2327/232632/232632_21.png
enchant
发表于 2025-3-25 07:32:30
Contextual Taxonomiesr different languages, and a number of operations on contexts are defined. Using this framework, a simple scenario taken from the legal domain is modeled, and a formal account of the so called open-texture of legal terms is provided characterizing the notions of “core” and “penumbra” of the meaning of a concept.
人类学家
发表于 2025-3-25 13:12:41
http://reply.papertrans.cn/24/2327/232632/232632_23.png
制定法律
发表于 2025-3-25 17:02:00
http://reply.papertrans.cn/24/2327/232632/232632_24.png
Creatinine-Test
发表于 2025-3-25 21:49:53
Berufsaussichten des Medieninformatikers,cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.
加花粗鄙人
发表于 2025-3-26 00:40:40
https://doi.org/10.1007/978-3-642-97135-8ment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments.
CBC471
发表于 2025-3-26 07:33:22
Dynamic Logic for Plan Revision in Intelligent Agentscannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.
可忽略
发表于 2025-3-26 10:19:08
Organising Software in Active Environmentsment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments.
visual-cortex
发表于 2025-3-26 14:31:11
http://reply.papertrans.cn/24/2327/232632/232632_29.png
推测
发表于 2025-3-26 17:34:38
Forschung und Lehre in der Bundesrepublik,h it is situated, (iii) because this environment is highly dynamic. In this paper, we propose a framework to design situated agents capable of planning partially. The framework is based upon the specification of planning problems via an abductive variant of the event calculus.