標(biāo)題: Titlebook: Logics in Artificial Intelligence; European Conference, Sergio Flesca,Sergio Greco,Nicola Leone Conference proceedings 2002 Springer-Verlag [打印本頁] 作者: 機會 時間: 2025-3-21 19:24
書目名稱Logics in Artificial Intelligence影響因子(影響力)
書目名稱Logics in Artificial Intelligence影響因子(影響力)學(xué)科排名
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度
書目名稱Logics in Artificial Intelligence網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logics in Artificial Intelligence被引頻次
書目名稱Logics in Artificial Intelligence被引頻次學(xué)科排名
書目名稱Logics in Artificial Intelligence年度引用
書目名稱Logics in Artificial Intelligence年度引用學(xué)科排名
書目名稱Logics in Artificial Intelligence讀者反饋
書目名稱Logics in Artificial Intelligence讀者反饋學(xué)科排名
作者: Arteriography 時間: 2025-3-21 22:47
Stefania Costantini,Arianna Tocchioehensweise bedeutet. Es handelt sich um eine bestimmte Art der theoretischen Begrifflichkeit und der methodischen Vorgehensweise. Ein bestimmter Typus von psychologischen Fragestellungen wird mit diesen Begrifflichkeiten und diesen methodischen M?glichkeiten beantwortet. Dieser Typus von Fragestellu作者: insipid 時間: 2025-3-22 03:59 作者: 黃油沒有 時間: 2025-3-22 06:49 作者: interpose 時間: 2025-3-22 10:56
Renate A. Schmidt,Dmitry Tishkovskyrgrund, in wieweit dieses Verh?ltnis universal, das hei?t unabh?ngig von der jeweiligen beobachteten Sprache ist. Es scheint nicht von zwingender Notwendigkeit, da? die Schlüsse, die aus einzelsprachlichen Beobachtungen gezogen werden, für sprachliches Verhalten im allgemeinen gelten. Wenn es gel?ng作者: 運氣 時間: 2025-3-22 13:34 作者: figment 時間: 2025-3-22 20:28
José Júlio Alferes,Pierangelo Dell’Acqua,Luís Moniz Pereirathese formulierte Parallel-Interface-Modell der Sprachverarbeitung unterscheidet diese automatischen und autonomen Prozesse des linguistischen Systems von Verarbeitungsstrategien, die selbst nicht Teil des linguistischen, sondern des generellen kognitiven Systems sind. Die verschiedenen Komponenten 作者: conifer 時間: 2025-3-23 01:07
Alessandro Artale,Enrico Franconi,Frank Wolter,Michael Zakharyaschev mehr mit theoretischen Grundlagenproblemen konfrontiert sah: Auf welcher Basis ist die Kooperation der verschiedenen an der menschlichen Kognition interessierten Wissenschaften m?glich? Was ist überhaupt Kognition? Wie h?ngt die Kognition mit der Umwelt und mit dem Gehirn zusammen? Was ist kognitiv作者: Galactogogue 時間: 2025-3-23 02:51
Hudson Turner mehr mit theoretischen Grundlagenproblemen konfrontiert sah: Auf welcher Basis ist die Kooperation der verschiedenen an der menschlichen Kognition interessierten Wissenschaften m?glich? Was ist überhaupt Kognition? Wie h?ngt die Kognition mit der Umwelt und mit dem Gehirn zusammen? Was ist kognitiv作者: 寡頭政治 時間: 2025-3-23 08:08 作者: FACT 時間: 2025-3-23 12:19 作者: deviate 時間: 2025-3-23 15:09
S. Kraj?i,R. Lencses,J. Medina,M. Ojeda-Aciego,A. Valverde,P. Vojtá? mehr mit theoretischen Grundlagenproblemen konfrontiert sah: Auf welcher Basis ist die Kooperation der verschiedenen an der menschlichen Kognition interessierten Wissenschaften m?glich? Was ist überhaupt Kognition? Wie h?ngt die Kognition mit der Umwelt und mit dem Gehirn zusammen? Was ist kognitiv作者: Pert敏捷 時間: 2025-3-23 19:55 作者: Innocence 時間: 2025-3-23 22:53 作者: Aspirin 時間: 2025-3-24 02:53
Graham Whitein den letzten Jahren in den USA entwickelt und mit dem Behaviorismus auseinandergesetzt (Michael Mahoney, 1974). Diese Disziplin geht davon aus, da? nicht nur das beobachtbare Verhalten, die objektiv feststellbaren Reize und Konsequenzen des Verhaltens ein legitimes Gebiet der Psychologie und Thera作者: FOR 時間: 2025-3-24 08:26
Andrzej Szalasitsinstanzen: das Es, das Ich und das überich. Das Es repr?sentiert die unbewu?ten Triebimpulse, das Ich ist der Vermittler zwischen den Trieben und der Realit?t und ist der bewu?te Anteil des Seelenlebens. Das Uberich ist das Gewissen, der Repr?sentant der Gesellschaft und deren Ansprüche an das In作者: Foreknowledge 時間: 2025-3-24 13:42 作者: Occipital-Lobe 時間: 2025-3-24 17:46
A Proof-System for the Safe Execution of Tasks in Multi-agent SystemsThe tasks represent services, and are associated with abstract specifications that express conditions on such services. The constraints, contained in the body of the agents, may include — but are not limited to — policies on provided services, and limitations about the use and allocation of bounded 作者: Parallel 時間: 2025-3-24 19:52 作者: 教育學(xué) 時間: 2025-3-24 23:34 作者: Erythropoietin 時間: 2025-3-25 07:17 作者: Rodent 時間: 2025-3-25 07:38 作者: 擁擠前 時間: 2025-3-25 15:25 作者: 信任 時間: 2025-3-25 17:50
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queriesc .and point-based linear temporal logic with . and ..We define a query language (where queries are non-recursive Datalog programs and atoms are complex . expressions) and investigate the problem of checking query containment under the constraints defined by . conceptual schemas—i.e., . knowledge ba作者: AXIOM 時間: 2025-3-25 22:20
Polynomial-Length Planning Spans the Polynomial Hierarchyvability. Attention is restricted to plans of polynomiallybounded length. For conditional planning, restriction to plans of polynomial size is also considered. For this analysis, a planning domain is described by a transition relation encoded in classical propositional logic. Given the widespread us作者: 主動 時間: 2025-3-26 04:12 作者: GET 時間: 2025-3-26 05:41 作者: PANIC 時間: 2025-3-26 09:00
Non-commutativity and Expressive Deductive Logic Databasesr deductive logic databases is presented for obtaining a relational algebra with classical projection and enriched parametric join operator with aggregations. The use of non-commutative conjunctors allows for a model of different degrees of granulation and precision, whereas expressiveness is achiev作者: Diuretic 時間: 2025-3-26 13:23 作者: Grating 時間: 2025-3-26 19:56
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environmentbased on ., an agentised version of the original . planning algorithm, and is integrated in the . multi-agent environment. We ran several experiments involving accessing various distributed, heterogeneous information sources, based on simplified versions of noncombatant evacuation operations, NEO’s.作者: 思想靈活 時間: 2025-3-27 00:37
Answer Set Planning under Action Costs As shown, this novel language allows for expressing some nontrivial planning tasks in an elegant way. Furthermore, it flexibly allows for representing planning problems under other optimality criteria as well, such as computing “fastest” plans (with the least number of steps), and refinement combin作者: Herbivorous 時間: 2025-3-27 04:18 作者: Commentary 時間: 2025-3-27 05:48
Second-Order Quantifier Elimination in Modal Contextsce theory, relational databases, deductive and knowledge databases, knowledge representation, commonsense reasoning and approximate reasoning..In the current paper we generalize the result of [.] by allowing modal operators. This allows us to provide a unifying framework for many applications, that 作者: parsimony 時間: 2025-3-27 11:21
https://doi.org/10.1007/3-540-45757-7Artificial intelligence; agents; complexity; evolution; intelligence; logic; multi-agent system; optimizati作者: 兇兆 時間: 2025-3-27 15:13
Sergio Flesca,Sergio Greco,Nicola LeoneIncludes supplementary material: 作者: 節(jié)約 時間: 2025-3-27 20:30 作者: 就職 時間: 2025-3-28 00:40 作者: 音樂會 時間: 2025-3-28 03:59 作者: 輕浮思想 時間: 2025-3-28 09:20
A Modal Formulation of McCain and Turner’s Theory of Causal ReasoningMcCain and Turner [.] have an interesting theory of causal reasoning. We give a modal treatment of McCain and Turner’s theory of causal reasoning: we thereby formulate theories equivalent to their original model-theoretic treatment, while preserving its good properties (in particular, its independence of vocabulary).作者: needle 時間: 2025-3-28 12:52 作者: 擁擠前 時間: 2025-3-28 15:22
Logics in Artificial Intelligence978-3-540-45757-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 懶洋洋 時間: 2025-3-28 21:50 作者: 高興去去 時間: 2025-3-29 01:08
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
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 作者: 大雨 時間: 2025-3-29 11:54
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 作者: 概觀 時間: 2025-3-29 23:00 作者: Mere僅僅 時間: 2025-3-30 01:48
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 作者: 代替 時間: 2025-3-30 11:33 作者: 沒有貧窮 時間: 2025-3-30 13:21
Alessandro Artale,Enrico Franconi,Frank Wolter,Michael Zakharyaschev überzeugung, da? die menschliche Kognition nur begriffen werden kann, wenn man ihre Interaktion mit der Umwelt berücksich- tigt. Diese ?kologische Sichtweise der menschlichen Kognition erm?glicht auch ihre integrative Darstellung im Rahmen einer Konzeption situierten Handeins. Das Buch ist so aufge作者: Optic-Disk 時間: 2025-3-30 17:27 作者: 商談 時間: 2025-3-30 21:08
Michael Dekhtyar,Alexander Dikovsky,Mars Valievsis meiner überzeugung, da? die menschliche Kognition nur begriffen werden kann, wenn man ihre Interaktion mit der Umwelt berücksich- tigt. Diese ?kologische Sichtweise der menschlichen Kognition erm?glicht auch ihre integrative Darstellung im Rahmen einer Konzeption situierten Handeins. Das Buch ist so aufge978-3-531-12467-4978-3-322-94240-1作者: chalice 時間: 2025-3-31 02:40
Gianluigi Greco,Ester Zumpanosis meiner überzeugung, da? die menschliche Kognition nur begriffen werden kann, wenn man ihre Interaktion mit der Umwelt berücksich- tigt. Diese ?kologische Sichtweise der menschlichen Kognition erm?glicht auch ihre integrative Darstellung im Rahmen einer Konzeption situierten Handeins. Das Buch ist so aufge978-3-531-12467-4978-3-322-94240-1作者: Foregery 時間: 2025-3-31 07:03 作者: Culpable 時間: 2025-3-31 11:29 作者: 溝通 時間: 2025-3-31 16:10
Jürgen Dix,Hector Munoz-Avila,Dana Nau,Lingling Zhang überzeugung, da? die menschliche Kognition nur begriffen werden kann, wenn man ihre Interaktion mit der Umwelt berücksich- tigt. Diese ?kologische Sichtweise der menschlichen Kognition erm?glicht auch ihre integrative Darstellung im Rahmen einer Konzeption situierten Handeins. Das Buch ist so aufge作者: 陰郁 時間: 2025-3-31 17:34
Graham White entwickelt. Begriffe wie überzeugung, Selbstinstruktion, kognitive Umstrukturierung usw. bekommen in dieser Disziplin eine zentrale Bedeutung. Die Forschung in Amerika hat sich überwiegend auf wissenschaftstheoretische Arbeiten konzentriert sowie auf die Entwicklung und Beschreibung einzelner Verfa作者: Indicative 時間: 2025-4-1 00:27
Andrzej Szalasndet und denkt. Der Therapeut wiederum versucht, Unbewu?tes in Bewu?tes umzuwandeln, beispielsweise dadurch, da? er die ?u?erungen des Patienten aufgrund der psychoanalytischen Theorien deutet. Die Therapie erstreckt sich meistens über mehrere Jahre bei zwei bis fünf Sitzungen pro Woche.作者: Flinch 時間: 2025-4-1 04:38
Thomas Eiter,Wolfgang Faber,Nicola Leone,Gerald Pfeifer,Axel Polleres作者: humectant 時間: 2025-4-1 07:06
Towards Service Description Logicsmore appropriate. However, current ontology specification languages do not have primitives for service description. In this paper, we identify some useful service description constructs and study their impact on the decidability of reasoning with description logics.作者: Influx 時間: 2025-4-1 11:47 作者: Heresy 時間: 2025-4-1 17:58 作者: Aspirin 時間: 2025-4-1 22:14
A Logic Programming Language for Multi-agent Systemstivity, internal “thinking”, and “memory”. The formalization models these concepts by introducing different kinds of events, with a suitable treatment. We introduce a novel approach to the language semantics, called the evolutionary semantics.
