標(biāo)題: Titlebook: Computational Logic in Multi-Agent Systems; 13th International W Michael Fisher,Leon Torre,Guido Governatori Conference proceedings 2012 Sp [打印本頁(yè)] 作者: Harrison 時(shí)間: 2025-3-21 16:34
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)
書目名稱Computational Logic in Multi-Agent Systems影響因子(影響力)學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度
書目名稱Computational Logic in Multi-Agent Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems被引頻次
書目名稱Computational Logic in Multi-Agent Systems被引頻次學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems年度引用
書目名稱Computational Logic in Multi-Agent Systems年度引用學(xué)科排名
書目名稱Computational Logic in Multi-Agent Systems讀者反饋
書目名稱Computational Logic in Multi-Agent Systems讀者反饋學(xué)科排名
作者: 知道 時(shí)間: 2025-3-21 22:57
Advances in Plant Ethylene Researchining the arguments and attacks of all networks to be merged and then associate a weight to each of its components based on how they are perceived by the agents associated with the local networks. The combined weighted network is then used to define a system of equations from which the overall strength of the arguments is calculated.作者: 發(fā)展 時(shí)間: 2025-3-22 03:39 作者: 商議 時(shí)間: 2025-3-22 06:01 作者: 責(zé)問(wèn) 時(shí)間: 2025-3-22 11:52 作者: 吞沒(méi) 時(shí)間: 2025-3-22 14:19
https://doi.org/10.1007/978-3-030-66969-0rmalize non-monotonic reasoning within a monotonic logic. Despite its appeal, all attempts to extend only-knowing to the many-agent case have undesirable properties. A belief model by Halpern and Lakemeyer, for instance, appeals to proof-theoretic constructs in the semantics and needs to axiomatize 作者: 吞沒(méi) 時(shí)間: 2025-3-22 19:32 作者: 匍匐前進(jìn) 時(shí)間: 2025-3-23 00:41
https://doi.org/10.1007/978-3-030-66969-0particular role of beliefs in goal activation and maintenance. The logical framework is defined as a time-situated meta-logic, where only goals and beliefs exist as primitive attitudes and hold for a given instant of time. The meta-logic is composed of a hierarchy of three many-sorted first-order la作者: ANT 時(shí)間: 2025-3-23 03:21 作者: 掙扎 時(shí)間: 2025-3-23 05:56 作者: 粉筆 時(shí)間: 2025-3-23 10:00 作者: OGLE 時(shí)間: 2025-3-23 15:04
https://doi.org/10.1007/978-3-319-14451-1fication processes. Given the large number of artifacts created during the requirements specification and the continuous evolution of these artifacts, reasoning about them remains a challenging task. Moreover, the rising complexity of the target domain under consideration during the requirements eng作者: 不如樂(lè)死去 時(shí)間: 2025-3-23 18:24
https://doi.org/10.1007/978-3-319-14451-1ntages of these networks (e.g. decentralization, independence of communication infrastructure) they raise new problems regarding for example effectiveness, message routing, message delivery, security issues, and trust. In this paper we introduce a formal description of an ON and of optimal communica作者: 和平主義者 時(shí)間: 2025-3-24 00:30
Dormancy-Associated , Genes: A Reviewe and modular way to integrate knowledge from different heterogeneous sources (contexts) through so-called bridge rules. Hybrid MKNF Knowledge Bases, based on the logic of minimal knowledge and negation as failure (MKNF), allow for a seamless combination of description logic ontology languages with 作者: olfction 時(shí)間: 2025-3-24 03:45
H. Mibus,M. Buanong,E. C. Sisler,M. Sereks can also capture some of the semantics, the general issue of finding minimal modal logics that are able to describe certain argumentation semantics has not received a lot of attention in the literature so far. In this paper we show that full hybrid .-calculus cannot describe the preferred semantic作者: metropolitan 時(shí)間: 2025-3-24 08:23
Advances in Plant Ethylene Researchining the arguments and attacks of all networks to be merged and then associate a weight to each of its components based on how they are perceived by the agents associated with the local networks. The combined weighted network is then used to define a system of equations from which the overall stren作者: Rebate 時(shí)間: 2025-3-24 12:06 作者: 吞下 時(shí)間: 2025-3-24 16:11 作者: Feigned 時(shí)間: 2025-3-24 21:51
A Numerical Approach to the Merging of Argumentation Networks,ining the arguments and attacks of all networks to be merged and then associate a weight to each of its components based on how they are perceived by the agents associated with the local networks. The combined weighted network is then used to define a system of equations from which the overall strength of the arguments is calculated.作者: Aggrandize 時(shí)間: 2025-3-24 23:59
https://doi.org/10.1007/978-3-642-32897-8agent interaction; argumentation networks; distributed systems; formal semantics; goals作者: FLOAT 時(shí)間: 2025-3-25 06:34
978-3-642-32896-1Springer-Verlag Berlin Heidelberg 2012作者: delta-waves 時(shí)間: 2025-3-25 11:02
Conference proceedings 2012r, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reaso作者: Middle-Ear 時(shí)間: 2025-3-25 11:49 作者: SUGAR 時(shí)間: 2025-3-25 19:10 作者: COW 時(shí)間: 2025-3-25 20:23 作者: 抱怨 時(shí)間: 2025-3-26 03:06 作者: Trochlea 時(shí)間: 2025-3-26 05:58 作者: 令人悲傷 時(shí)間: 2025-3-26 11:49 作者: 偽證 時(shí)間: 2025-3-26 12:47 作者: 蚊子 時(shí)間: 2025-3-26 20:15
Dormancy-Associated , Genes: A Reviewntext Systems, but we also provide transformations from the former into the latter, without the need for an explicit Hybrid MKNF context, hence providing a way for agents to reason with Hybrid MKNF Knowledge Bases within Multi-Context Systems without the need for specialized Hybrid MKNF reasoners.作者: cunning 時(shí)間: 2025-3-27 00:56
Multi-agent Only-Knowing,lti-agent only-knowing which, for the first time, has a natural possible-world semantics for a quantified language with equality. An axiom system for the propositional fragment will also be discussed.作者: Console 時(shí)間: 2025-3-27 04:04
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents, beliefs, goals and belief-supporting sets. We also show how the time-situated nature of the logic provides protection against inconsistencies, proving that the meta-logic is consistent for all underlying languages.作者: 廣口瓶 時(shí)間: 2025-3-27 09:21 作者: geometrician 時(shí)間: 2025-3-27 09:49 作者: 宿醉 時(shí)間: 2025-3-27 17:14 作者: 奴才 時(shí)間: 2025-3-27 21:23 作者: 協(xié)定 時(shí)間: 2025-3-27 23:21 作者: 有角 時(shí)間: 2025-3-28 03:47 作者: Diatribe 時(shí)間: 2025-3-28 10:10 作者: 假設(shè) 時(shí)間: 2025-3-28 12:54
Full Hybrid ,-Calculus, Its Bisimulation Invariance and Application to Argumentation,s, thus providing a negative answer to an open question. We show that the same holds for the skeptical and credulous versions of the preferred semantics. Our result relies on the invariance of full hybrid .-calculus with respect to a suitable notion of bisimulation. We provide a complete proof of this invariance in the paper.作者: 闖入 時(shí)間: 2025-3-28 16:41 作者: 偽造者 時(shí)間: 2025-3-28 18:51
Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report,els [4]. Reactive Kripke frames have two types of arrows: ordinary single arrows .?→?. indicating accessibility relations and double arrows of the form ., indicating reactive connections. In the frames where the ordering is a tree, as it is in the models for contrary to duty obligations, the double 作者: 圖畫文字 時(shí)間: 2025-3-28 23:15 作者: 魯莽 時(shí)間: 2025-3-29 05:07
,Logics for Reasoning about Agents’ Attitudes in Strategic Contexts,nt variants of epistemic logics, dynamic epistemic logics, logics of preferences and intention have been proposed whose aim is to describe both the static and the dynamic properties of agents’ mental attitudes. Furthermore, there are logics of collective attitudes including common knowledge and comm作者: Factual 時(shí)間: 2025-3-29 08:44
A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents,particular role of beliefs in goal activation and maintenance. The logical framework is defined as a time-situated meta-logic, where only goals and beliefs exist as primitive attitudes and hold for a given instant of time. The meta-logic is composed of a hierarchy of three many-sorted first-order la作者: 施加 時(shí)間: 2025-3-29 15:05 作者: Locale 時(shí)間: 2025-3-29 19:30
A Formal Semantics for Agent (Re)Organization,common goals. Just like agents, organizations should also be able to adapt themselves to changing environments. In order to develop a theory on how this reorganization should be performed we need a formal framework in which organizations, organizational performance and the reorganization itself can 作者: Colonnade 時(shí)間: 2025-3-29 22:10
Using Evolution Graphs for Describing Topology-Aware Prediction Models in Large Clusters,x reasoning tasks regarding the evolution of dynamic domains. Our proposal consists of a distinguished data structure called evolution graph, and a logical language (.) used for identifying temporal patterns in evolution graphs. First, we define and study the complexity of the model checking problem作者: jagged 時(shí)間: 2025-3-30 01:08 作者: Flustered 時(shí)間: 2025-3-30 08:07 作者: GRUEL 時(shí)間: 2025-3-30 11:21
MKNF Knowledge Bases in Multi-Context Systems,e and modular way to integrate knowledge from different heterogeneous sources (contexts) through so-called bridge rules. Hybrid MKNF Knowledge Bases, based on the logic of minimal knowledge and negation as failure (MKNF), allow for a seamless combination of description logic ontology languages with
