標(biāo)題: Titlebook: Logic, Rationality, and Interaction; 7th International Wo Patrick Blackburn,Emiliano Lorini,Meiyun Guo Conference proceedings 2019 Springer [打印本頁] 作者: 小天使 時(shí)間: 2025-3-21 20:01
書目名稱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é)科排名
作者: Phenothiazines 時(shí)間: 2025-3-21 23:18
Undefinability in Inquisitive Logic with Tensor,he negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.作者: 少量 時(shí)間: 2025-3-22 01:32
Group Announcement Logic with Distributed Knowledge,e perhaps surprising result is that there in fact are no interaction properties, contrary to intuition. We make this claim precise by providing a sound and complete axiomatisation of GAL with distributed knowledge.作者: patriot 時(shí)間: 2025-3-22 08:16 作者: 大廳 時(shí)間: 2025-3-22 12:39 作者: 娘娘腔 時(shí)間: 2025-3-22 14:36
0302-9743 d Interaction, LORI 2019, held in Chongqing, China, in October 2019..The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; coop作者: 緩和 時(shí)間: 2025-3-22 17:58
Towards a Logic for Conditional Local Strategic Reasoning,hem to extend Coalition Logic in order to capture variations of conditional strategic reasoning. We provide formal semantics for the new conditional strategic operators, introduce the matching notion of bisimulation for each of them and discuss and compare briefly their expressiveness.作者: Filibuster 時(shí)間: 2025-3-22 22:38
Dynamic Term-Modal Logic for Epistemic Social Network Dynamics, represent a popular class of hybrid logic epistemic social network models. We also show that . can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for ., this yields a complete system for the dynamics in question.作者: 溫室 時(shí)間: 2025-3-23 03:34
Analyzing Echo Chambers: A Logic of Strong and Weak Ties,he logic is axiomatizable, sound and strongly complete. We combine our results with research on homophily and social group formation to represent relations between similar agents. Lastly, we add a knowledge modality and dynamic operators to analyze change in these networks.作者: 馬籠頭 時(shí)間: 2025-3-23 08:14
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes, this angle it becomes easy to show that . provides an adequate language to talk about BAF. Finally, we illustrate how this framework allows to encode the structure of the referential discourse involved in semantic paradoxes such as the .. It turns out that such paradoxes can be seen as BAF without a stable extension.作者: 精美食品 時(shí)間: 2025-3-23 11:01
Term-Sequence-Modal Logics,yle axiomatizations (without Barcan-like axioms) for the logics and establish the strong completeness results for some of the logics. We also propose sequent calculi for the logics and show cut elimination theorems and Craig interpolation theorems for some of the calculi.作者: 認(rèn)為 時(shí)間: 2025-3-23 14:01 作者: CARE 時(shí)間: 2025-3-23 21:21 作者: 叢林 時(shí)間: 2025-3-23 22:20
A Discrete Representation of Lattice Frames,a discrete (i.e. topology free) duality for bounded general lattices. We also show that doubly ordered frames are definable neither in a logic endowed with only a possibility operator nor a logic with only a sufficiency operator, but in a logic based on mixed algebras with both a possibility and a sufficiency operator.作者: Visual-Acuity 時(shí)間: 2025-3-24 05:59
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach,mic epistemic planning studied in the literature. We obtain a sound and complete axiomatization and show that the logic is decidable, although the corresponding multi-agent epistemic planning problem is undecidable.作者: HUMID 時(shí)間: 2025-3-24 07:02 作者: 革新 時(shí)間: 2025-3-24 13:58
0302-9743 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. .978-3-662-60291-1978-3-662-60292-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Melodrama 時(shí)間: 2025-3-24 18:01
https://doi.org/10.1007/978-3-662-60292-8agents; argumentation; artificial intelligence; belief representation; Epistemic logic; formal logic; game作者: 辯論 時(shí)間: 2025-3-24 20:11
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588080.jpg作者: 大方不好 時(shí)間: 2025-3-25 00:06
978-3-662-60291-1Springer-Verlag GmbH Germany, part of Springer Nature 2019作者: Minikin 時(shí)間: 2025-3-25 04:19
Logic, Rationality, and Interaction978-3-662-60292-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: voluble 時(shí)間: 2025-3-25 08:55 作者: BILE 時(shí)間: 2025-3-25 15:42 作者: 兒童 時(shí)間: 2025-3-25 17:33
Public Group Announcements and Trust in Doxastic Logic,We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.作者: finite 時(shí)間: 2025-3-25 22:40 作者: Subdue 時(shí)間: 2025-3-26 02:23 作者: LASH 時(shí)間: 2025-3-26 05:23
On the Right Path: A Modal Logic for Supervised Learning,arning a language. Although empirical evidence suggests that children can learn a language without responding to the correction of linguistic mistakes, the importance of Teacher in many other paradigms is significant. Instead of focusing only on learner(s), this work develops a general framework—the作者: cunning 時(shí)間: 2025-3-26 09:39 作者: ANN 時(shí)間: 2025-3-26 15:00
Undefinability in Inquisitive Logic with Tensor,g separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expr作者: maudtin 時(shí)間: 2025-3-26 20:28
Consolidation of Belief in Two Logics of Evidence, these logics, one based on neighborhood models and the other being a four-valued modal logic. We establish grounds for comparing these logics, finding, for any model, a counterpart in the other logic which represents roughly the same evidential situation. Then we propose operations for ., answering作者: 手術(shù)刀 時(shí)間: 2025-3-26 22:03 作者: bioavailability 時(shí)間: 2025-3-27 04:07 作者: 善辯 時(shí)間: 2025-3-27 06:15 作者: 舊石器 時(shí)間: 2025-3-27 11:17
Multi-agent Knowing How via Multi-step Plans: A Dynamic Epistemic Planning Based Approach,econd is based on . joint actions. In this paper, to overcome both limitations, we propose a . framework for the logic of knowing how, based on . dynamic epistemic planning studied in the literature. We obtain a sound and complete axiomatization and show that the logic is decidable, although the cor作者: 細(xì)菌等 時(shí)間: 2025-3-27 15:39
The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics,ss and the completeness results. We also show that the sequent system for wIK.t introduced in the present paper admits cut elimination. Finally we propose a criterion and prove that all extensions of wIK.t satisfying this criterion have cut free sequent systems.作者: 的’ 時(shí)間: 2025-3-27 20:43
Weakly Aggregative Modal Logic: Characterization and Interpolation,me interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of . in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of . based on an intuitive notion of bisimulation and show that each basic . system . lacks Craig作者: 輕快走過 時(shí)間: 2025-3-28 00:59 作者: 騷動(dòng) 時(shí)間: 2025-3-28 03:26
Analyzing Echo Chambers: A Logic of Strong and Weak Ties,rs, we introduce a two-sorted hybrid logic of strong and weak ties based on a logic of positive and negative relations known from the literature. We show that some classical property definitions can be formalized and that a known claim from social network analysis is a validity. We also prove that t作者: palette 時(shí)間: 2025-3-28 06:41
Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes,d to the standard . relation. Despite their interest, BAF present several difficulties and their semantics are quite complex. This paper provides a definition of semantic concepts for BAF in terms of . of the functions of . and ., thus preserving most of the fundamental properties of Dung’s AF. From作者: pantomime 時(shí)間: 2025-3-28 11:35 作者: 完成才會(huì)征服 時(shí)間: 2025-3-28 17:55 作者: Cantankerous 時(shí)間: 2025-3-28 20:36
A Logical and Empirical Study of Right-Nested Counterfactuals,to this objection, interventionism cannot in general account for the interpretation of right-nested counterfactuals, the problem being its strict interventionism. We will report on the results of an empirical study supporting the objection, and we will extend the well-known logic of actual causality作者: faddish 時(shí)間: 2025-3-29 02:55 作者: 不朽中國 時(shí)間: 2025-3-29 04:10
Rustam Galimullin,Thomas ?gotnes,Natasha AlechinaDas Verh?ltnis von Knochensubstanz zu Markraum ist zugunsten des Markraumes verschoben. Durch die Verminderung von verkalkter Knochensubstanz kommt es zu einer Aufhellung und Auflockerung der Knochenstrukturen im R?ntgenbild. Bei der Osteodensitometrie, mit der der Mineralsalzgehalt eines Knochens q作者: callous 時(shí)間: 2025-3-29 07:16
Valentin Goranko,Fengkui Jur pathophysiologischen Grundlagen. Deshalb ist eine Standortbestimmung, die eine Abgrenzung verschiedener, durch eine Knochenmarkinsuffizienz charakterisierter Erkrankungen beinhaltet, in diesem Zusammenhang unumg?nglich. Aus der Abb. 1 ist ersichtlich, da? eine Panzytopenie Folge einer Unterfunktio作者: 輕快帶來危險(xiǎn) 時(shí)間: 2025-3-29 11:28 作者: Hdl348 時(shí)間: 2025-3-29 19:32
Kaiyang Lin,Zhe Lindas KM?-Syndrom als Warnsignal für den m?glichen übergang in langwierige, schmerzhafte Erkrankungen (z.B. CRPS) oder gar in eine Osteonekrose mit der Konsequenz einer endoprothetischen Versorgung angesehen. Einer klinisch/radiologisch orientierten Klassifikation des lokalen KM? mittels MRT kommt dah作者: 聯(lián)合 時(shí)間: 2025-3-29 20:17 作者: 鳥籠 時(shí)間: 2025-3-30 00:04
Andrés Occhipinti Liberman,Rasmus K. Rendsvigdas KM?-Syndrom als Warnsignal für den m?glichen übergang in langwierige, schmerzhafte Erkrankungen (z.B. CRPS) oder gar in eine Osteonekrose mit der Konsequenz einer endoprothetischen Versorgung angesehen. Einer klinisch/radiologisch orientierten Klassifikation des lokalen KM? mittels MRT kommt dah作者: Modify 時(shí)間: 2025-3-30 04:13
Mina Young Pedersen,Sonja Smets,Thomas ?gotnesdas KM?-Syndrom als Warnsignal für den m?glichen übergang in langwierige, schmerzhafte Erkrankungen (z.B. CRPS) oder gar in eine Osteonekrose mit der Konsequenz einer endoprothetischen Versorgung angesehen. Einer klinisch/radiologisch orientierten Klassifikation des lokalen KM? mittels MRT kommt dah作者: mighty 時(shí)間: 2025-3-30 09:59 作者: 驚惶 時(shí)間: 2025-3-30 12:44 作者: condone 時(shí)間: 2025-3-30 17:35 作者: headway 時(shí)間: 2025-3-31 00:12
Takahiro Sawasaki,Katsuhiko Sano,Tomoyuki Yamadadas KM?-Syndrom als Warnsignal für den m?glichen übergang in langwierige, schmerzhafte Erkrankungen (z.B. CRPS) oder gar in eine Osteonekrose mit der Konsequenz einer endoprothetischen Versorgung angesehen. Einer klinisch/radiologisch orientierten Klassifikation des lokalen KM? mittels MRT kommt dah作者: 比賽用背帶 時(shí)間: 2025-3-31 02:11 作者: 胰臟 時(shí)間: 2025-3-31 08:09 作者: 乏味 時(shí)間: 2025-3-31 10:26 作者: hermitage 時(shí)間: 2025-3-31 14:44
Carlo Proietti,Davide Grossi,Sonja Smets,Fernando R. Velázquez-Quesadaine multidisziplin?re Betrachtung gelegt.Beteiligte Fachdisziplinen wie Innere Medizin, H?matologie und Onkologie, Osteologie, Orthop?die, Traumatologie und Sportmedizin sowie Radiologie und Pharmakologie werden fachkundig abgedeckt..978-3-662-67134-4作者: Budget 時(shí)間: 2025-3-31 18:02 作者: 巧思 時(shí)間: 2025-3-31 23:15
Ivo Düntsch,Ewa Or?owskahiedliche skeletale Krankheitsbilder unterschiedlicher ?tiologie verbergen k?nnen, die auch einer unterschiedlichen Therapie bedürfen. ?Osteoporose“ ist somit ein Oberbegriff verschiedener atrophischer Knochenkrankheiten. Es ist Aufgabe der diagnostizierenden ?rzte — vorwiegend R?ntgenologen und Pat作者: Intercept 時(shí)間: 2025-4-1 03:57
Rustam Galimullin,Thomas ?gotnes,Natasha Alechinahiedliche skeletale Krankheitsbilder unterschiedlicher ?tiologie verbergen k?nnen, die auch einer unterschiedlichen Therapie bedürfen. ?Osteoporose“ ist somit ein Oberbegriff verschiedener atrophischer Knochenkrankheiten. Es ist Aufgabe der diagnostizierenden ?rzte — vorwiegend R?ntgenologen und Pat作者: 委屈 時(shí)間: 2025-4-1 07:09 作者: climax 時(shí)間: 2025-4-1 10:19
Yanjun Li,Yanjing Wangkonfrontiert sind, gro?en Wert auf eine multidisziplin?re Betrachtung gelegt.Beteiligte Fachdisziplinen wie Innere Medizin, H?matologie und Onkologie, Osteologie, Orthop?die, Traumatologie und Sportmedizin sowie Radiologie und Pharmakologie werden fachkundig abgedeckt..
