拥挤前 发表于 2025-3-28 15:22:17

Logics in Artificial Intelligence978-3-540-45757-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

懒洋洋 发表于 2025-3-28 21:50:23

http://reply.papertrans.cn/59/5882/588184/588184_42.png

高兴去去 发表于 2025-3-29 01:08:14

Multi-agent Logics of Dynamic Belief and Knowledgen propositional dynamic logic with an extra modality for belief or knowledge. However, the logics are still decidable and in 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. A simulation of

神圣不可 发表于 2025-3-29 04:30:47

Evolving Logic Programs a model-theoretic characterization is offered of the possible evolutions of such programs. These evolutions arise both from self (or internal) updating, and from external updating too, originating in the environment. This formulation sets evolving programs on a firm basis in which to express, imple

鞠躬 发表于 2025-3-29 07:45:54

http://reply.papertrans.cn/59/5882/588184/588184_45.png

大雨 发表于 2025-3-29 11:54:02

Stefania Costantini,Arianna Tocchioch unsere Auswahl aus der Überlegung ab, dass erkennbar sein sollte, dass nicht einfach nur eine kognitionspsychologische Perspektive auf die inhaltlichen Fragen der jeweiligen Teildisziplin gerichtet wird, sondern dass auch umgekehrt die Kognitive Psychologie hierdurch eine Bereicherung erfährt. Al

汇总 发表于 2025-3-29 15:47:49

http://reply.papertrans.cn/59/5882/588184/588184_47.png

概观 发表于 2025-3-29 23:00:37

http://reply.papertrans.cn/59/5882/588184/588184_48.png

Mere仅仅 发表于 2025-3-30 01:48:52

Renate A. Schmidt,Dmitry Tishkovskyche? Diese Frage ist sicherlich nicht leicht zu beantworten, da die Möglichkeit besteht, daß beide, einzelsprachliche und universale Verhaltensweisen, in den sprachlichen Prozessen interagieren. Die Herausarbeitung der universalen linguistischen Prozesse ist vor allem für Theorien des Spracherwerbs

异端邪说2 发表于 2025-3-30 07:47:18

http://reply.papertrans.cn/59/5882/588184/588184_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Logics in Artificial Intelligence; European Conference, Sergio Flesca,Sergio Greco,Nicola Leone Conference proceedings 2002 Springer-Verlag