標(biāo)題: Titlebook: Logic, Rationality, and Interaction; Second International Xiangdong He,John Horty,Eric Pacuit Conference proceedings 2009 Springer-Verlag B [打印本頁] 作者: LANK 時(shí)間: 2025-3-21 18:18
書目名稱Logic, Rationality, and Interaction影響因子(影響力)
書目名稱Logic, Rationality, and Interaction影響因子(影響力)學(xué)科排名
書目名稱Logic, Rationality, and Interaction網(wǎng)絡(luò)公開度
書目名稱Logic, Rationality, and Interaction網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic, Rationality, and Interaction被引頻次
書目名稱Logic, Rationality, and Interaction被引頻次學(xué)科排名
書目名稱Logic, Rationality, and Interaction年度引用
書目名稱Logic, Rationality, and Interaction年度引用學(xué)科排名
書目名稱Logic, Rationality, and Interaction讀者反饋
書目名稱Logic, Rationality, and Interaction讀者反饋學(xué)科排名
作者: PATHY 時(shí)間: 2025-3-22 00:10 作者: Critical 時(shí)間: 2025-3-22 01:34 作者: Monolithic 時(shí)間: 2025-3-22 05:56
Computing Compliancee semantics gives rise to is .. This paper presents an algorithm that computes the set of compliant responses to a given initiative. The algorithm is sound and complete. The implementation is accessible online via ..作者: Migratory 時(shí)間: 2025-3-22 11:28 作者: amplitude 時(shí)間: 2025-3-22 15:11 作者: glamor 時(shí)間: 2025-3-22 20:42 作者: Conclave 時(shí)間: 2025-3-22 21:20 作者: FOLLY 時(shí)間: 2025-3-23 02:12
Learning and Teaching as a Game: A Sabotage Approachbilities. Although most of the existing research focuses on the characteristics of the learner, in many paradigms the significance of the teacher’s abilities and strategies is in fact undeniable. Motivated by this observation, this paper highlights the interactive nature of learning by showing its r作者: Pessary 時(shí)間: 2025-3-23 09:10
First-Order Logic Formalisation of Arrow’s Theoremrences of a finite set of individuals into a social preference ordering. We formalise this result in the language of first-order logic, thereby reducing Arrow’s Theorem to a statement saying that a given set of first-order formulas does not possess a finite model. In the long run, we hope that this 作者: incontinence 時(shí)間: 2025-3-23 11:23 作者: 陪審團(tuán) 時(shí)間: 2025-3-23 15:32 作者: blackout 時(shí)間: 2025-3-23 18:46 作者: 季雨 時(shí)間: 2025-3-23 23:42 作者: Hay-Fever 時(shí)間: 2025-3-24 04:51
Intentions and Assignmentse the truth value of a certain formula . to a propositional atom .. We combine a static modal logic of belief and choice with three kinds of dynamic modalities and corresponding three kinds of assignments: assignments operating on an agent’s beliefs, assignments operating on the agent’s choices and 作者: 征兵 時(shí)間: 2025-3-24 10:31
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Togetherence and knowledge. In the first part of the paper we introduce . and provide soundness, completeness and complexity results. In the second part we study in . the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and iterated strict dominance. In the last作者: defray 時(shí)間: 2025-3-24 13:17
Dynamic Epistemic Logic of Finite Identificationthe limit in the process of learning has been explored in this paper. The main results are two complete axiomatic systems. One is defined in terms of public announcements, and the other in terms of update by event models.作者: 協(xié)迫 時(shí)間: 2025-3-24 18:26 作者: 浪費(fèi)時(shí)間 時(shí)間: 2025-3-24 19:04 作者: facetious 時(shí)間: 2025-3-25 00:38
Natasha Alechina,Brian Logan,Nguyen Hoang Nga,Abdur Rakibturbocharger in order to increase the frequency of use of the high-efficiency operating range, have been proposed as methods of improving the thermal efficiency of spark ignition engines, and are already in commercial use. However, the knock restricts thermal efficiency in both of these methods, and作者: Neuralgia 時(shí)間: 2025-3-25 06:45
Guillaume Aucher,Davide Grossi,Andreas Herzig,Emiliano Loriniturbocharger in order to increase the frequency of use of the high-efficiency operating range, have been proposed as methods of improving the thermal efficiency of spark ignition engines, and are already in commercial use. However, the knock restricts thermal efficiency in both of these methods, and作者: acheon 時(shí)間: 2025-3-25 08:00 作者: 希望 時(shí)間: 2025-3-25 15:01 作者: QUAIL 時(shí)間: 2025-3-25 18:57
Ivano Ciardelli,Irma Cornelisse,Jeroen Groenendijk,Floris Roelofsenngel?stes Problem. In der operativen Therapie derartiger L?sionen am Kniegelenk finden sich in der Literatur verschiedene operative Verfahren wie Debridement [14], anterograde Anbohrung [19], Abrasionsarthroplastik [13] und Mikrofrakturierung [22], allerdings führen all diese Verfahren lediglich zu 作者: 小木槌 時(shí)間: 2025-3-25 22:03 作者: Slit-Lamp 時(shí)間: 2025-3-26 02:50 作者: 誰在削木頭 時(shí)間: 2025-3-26 05:43 作者: Apoptosis 時(shí)間: 2025-3-26 11:30
Dynamic Context LogicBuilding on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.作者: 鎮(zhèn)壓 時(shí)間: 2025-3-26 13:46
https://doi.org/10.1007/978-3-642-04893-7PEGL; agent learning; cooperation logic; dynamic context; dynamic logic; epistemic logic; first-order logi作者: Bravado 時(shí)間: 2025-3-26 19:15
Toward a Dynamic Logic of Questions and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to longer-term temporal protocols and multi-agent scenarios. We sketch a comparison with two main alternative accounts: Hintikka’s interrogative logic and Groenendijk’s inquisitive semantics.作者: syring 時(shí)間: 2025-3-27 00:06
Computing Compliancee semantics gives rise to is .. This paper presents an algorithm that computes the set of compliant responses to a given initiative. The algorithm is sound and complete. The implementation is accessible online via ..作者: 賄賂 時(shí)間: 2025-3-27 04:29 作者: Dendritic-Cells 時(shí)間: 2025-3-27 08:55 作者: Sputum 時(shí)間: 2025-3-27 11:17 作者: tympanometry 時(shí)間: 2025-3-27 17:18 作者: molest 時(shí)間: 2025-3-27 20:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588082.jpg作者: 有特色 時(shí)間: 2025-3-27 23:42 作者: MELON 時(shí)間: 2025-3-28 03:40 作者: Embolic-Stroke 時(shí)間: 2025-3-28 09:49
Guillaume Aucher,Davide Grossi,Andreas Herzig,Emiliano Loriniact that the position of the piston ends on the exhaust side is the point of onset for the formation of complex flow fields after the mixture guided into the cylinders reaches the piston tops, and thought to guide the flow to the knock onset position by designing guides close to the piston tops..Com作者: 使長胖 時(shí)間: 2025-3-28 12:26
Johan van Benthem,?tefan Minic?h mehrw?chiger Kultivierung in die Defektzone implantiert [2, 3]. Abgesehen von den hohen Behandlungskosten ist die ACI nur bei einem eingeschr?nkten Indikationsspektrum angezeigt. So ist dieses Verfahren insbesondere bei chondralen L?sionen und vitalem subchondralem Knochengewebe eine geeignete Met作者: 不自然 時(shí)間: 2025-3-28 18:38 作者: Collar 時(shí)間: 2025-3-28 20:37
Ivano Ciardelli,Irma Cornelisse,Jeroen Groenendijk,Floris Roelofsenh mehrw?chiger Kultivierung in die Defektzone implantiert [2, 3]. Abgesehen von den hohen Behandlungskosten ist die ACI nur bei einem eingeschr?nkten Indikationsspektrum angezeigt. So ist dieses Verfahren insbesondere bei chondralen L?sionen und vitalem subchondralem Knochengewebe eine geeignete Met作者: 神圣不可 時(shí)間: 2025-3-29 00:05
Roberto Ciuni,Rosja Mastopur für einfache Frakturen anwendbar und weist den bekannten Nachteil des Lockerns von Schrauben unter alternierender Zugbelastung auf. Eine neue Idee stellte die Drahtseilzuggurtung von Labitzke dar, die erstmals die Zuggurtung, wie in der Mechanik definiert, als statisches System auffasste und zur 作者: Allure 時(shí)間: 2025-3-29 05:03 作者: chapel 時(shí)間: 2025-3-29 10:10
Cédric Dégremont,Nina Gierasimczukung der Oberfl?chen bzw zum langsamen Verschlei? der künstlichen Implantate [2]. Dieser Verschlei? tritt vor allem bei mechanischen Problemen durch eine fehlerhafte Implantation oder durch Partikelabrieb des Zements, der zur Verankerung der Prothesen verwendet werden kann, auf [3]. Obwohl die Techni作者: 北極人 時(shí)間: 2025-3-29 14:47 作者: GRAVE 時(shí)間: 2025-3-29 19:27 作者: 繼承人 時(shí)間: 2025-3-29 20:34
Emiliano Lorini,Mehdi Dastani,Hans van Ditmarsch,Andreas Herzig,John-Jules Meyer作者: 極力證明 時(shí)間: 2025-3-30 01:29
Emiliano Lorini,Fran?ois Schwarzentruber,Andreas Herzig作者: 小爭吵 時(shí)間: 2025-3-30 07:19
0302-9743 bility and uncertainty, argument systems and their role in interaction, as well as norms, normative interaction, and normative multiagent systems..978-3-642-04892-0978-3-642-04893-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: DUCE 時(shí)間: 2025-3-30 08:33 作者: Interstellar 時(shí)間: 2025-3-30 14:56 作者: Benign 時(shí)間: 2025-3-30 18:41 作者: 一大塊 時(shí)間: 2025-3-30 22:17 作者: PAD416 時(shí)間: 2025-3-31 03:57
A General Family of Preferential Belief Removal Operatorsn [5]. However it is not always reasonable to assume completeness of the underlying ordering. In this paper we generalise the structure of [5] to allow incomparabilities between worlds. We axiomatise the resulting class of belief removal functions, and show that it includes an important family of removal functions based on ..作者: 吹牛者 時(shí)間: 2025-3-31 05:27
Dynamic Testimonial Logiciefs about the . of other agents, we add “authority graphs” to DTL models to capture agents’ . in other agents’ testimony. For DTL’s dynamic testimony operator, we give complete reduction axioms. Finally, we describe an application of DTL in modeling ..作者: Fraudulent 時(shí)間: 2025-3-31 12:06
From the Logical Point of View: The Chain Store Paradox Revisitedties take only the values 1 and 0, requiring a non-Bayesian account of belief revision. In this paper, we propose a situation-theoretic diagnosis and solution to the paradox, based on the conception of Austinian propositions relativized to particular situations, as developed by Barwise and Etchemendy.作者: gout109 時(shí)間: 2025-3-31 17:02 作者: 榮幸 時(shí)間: 2025-3-31 19:20
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Togetherudy in . the epistemic and rationality conditions of some classical solution concepts like Nash equilibrium and iterated strict dominance. In the last part of the paper we combine . with Dynamic Epistemic Logic (DEL) in order to model epistemic game dynamics.作者: 哄騙 時(shí)間: 2025-3-31 22:25
An Epistemic Logic for Planning with Trialsseem well suited to formalize the reasoning in such contexts. We study a simple such logic for one planning agent making bounded plans, for which we give a complete axiomatization and prove decidability. We discuss preliminary results for extensions to multi-agent plans as well as unbounded plans.作者: Flatus 時(shí)間: 2025-4-1 05:53 作者: Retrieval 時(shí)間: 2025-4-1 06:05
