標(biāo)題: Titlebook: Logic, Rationality, and Interaction; 4th International Wo Davide Grossi,Olivier Roy,Huaxin Huang Conference proceedings 2013 Springer-Verla [打印本頁(yè)] 作者: brachytherapy 時(shí)間: 2025-3-21 18:38
書目名稱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é)科排名
作者: 口訣 時(shí)間: 2025-3-21 22:08
Minimal Preference Change revision operations in the spirit of minimal change as advocated by the Alchourron, Gardenfors, and Makinson (AGM) theory of belief revision. We characterise minimal contraction of preference sets by a set of postulates and prove a representation theorem. We also give a linear time algorithm which 作者: GUEER 時(shí)間: 2025-3-22 01:23
The Topology of Belief, Belief Revision and Defeasible Knowledgew that this semantics is the most general (extensional) semantics validating Stalnaker’s epistemic-doxastic axioms [22] for “strong belief”, understood as .. We prove two completeness results, and we also give a topological semantics for update (dynamic conditioning), i.e. the operation of revising 作者: DECRY 時(shí)間: 2025-3-22 04:45 作者: 聯(lián)邦 時(shí)間: 2025-3-22 11:45
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices based on the notions of generalized quantifiers and bilattices, and is used to model several aspects of interrogative semantics, including resolvedness conditions, answerhood, exhaustivity and interrogative inferences. It will be shown that the semantic model satisfies a number of adequacy criteria作者: 生意行為 時(shí)間: 2025-3-22 15:02 作者: 影響 時(shí)間: 2025-3-22 18:26
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpointtemic characterization of the four iterated elimination algorithms IESD (Iterated Elimination Strictly Dominated strategy), Rationalizablity (also called iterated elimination strategies that are never best responses), IA (Iterated Admissibility) and IERS (Iterated Elimination Regret-dominated Strate作者: colony 時(shí)間: 2025-3-22 23:43
Listen to Me! Public Announcements to Agents That Pay Attention — or Notbe modelled in event (action) model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic, abbreviated .. We give an axi作者: Angioplasty 時(shí)間: 2025-3-23 04:08 作者: Allowance 時(shí)間: 2025-3-23 07:49 作者: vascular 時(shí)間: 2025-3-23 12:57 作者: acrimony 時(shí)間: 2025-3-23 13:57
Cellular Games, Nash Equilibria, and Fibonacci Numberstudying properties of functional dependence between strategies of different cells in a Nash equilibrium of such games. The main result is a sound and complete axiomatization of these properties. The construction in the proof of completeness is based on the Fibonacci numbers.作者: 踉蹌 時(shí)間: 2025-3-23 20:15
Reasoning about Actions Meets Strategic Logicsof agents under commitments to play certain actions. Pre- and postconditions as well as availability and unavailability of actions can be expressed. We show that the multiagent extension of Reiter’s solution to the frame problem can be encoded into .. We also consider an epistemic extension of .. We作者: 修改 時(shí)間: 2025-3-24 00:30 作者: 舔食 時(shí)間: 2025-3-24 06:04
Sequent Systems for Nondeterministic Propositional Logics without Reflexivityary set . of connectives. The semantics are based on the idea that Γ entails . if and only if every possible deterministic disambiguation of Γ entails every possible deterministic disambiguation of .. I also introduce a cut-free sequent style proof system .. that is sound and complete for the given 作者: BLAZE 時(shí)間: 2025-3-24 08:47 作者: LAPSE 時(shí)間: 2025-3-24 14:01 作者: 驚奇 時(shí)間: 2025-3-24 18:21 作者: correspondent 時(shí)間: 2025-3-24 22:37 作者: reflection 時(shí)間: 2025-3-25 00:51 作者: 一美元 時(shí)間: 2025-3-25 06:20
Kristine Harjes,Pavel Naumovischen Dokumentation der relativen femorotibialen Verschieblichkeit in 90°-Knieflexion hingewiesen. Fukubayashi et al. (1982) wiesen auf den Unterschied zwischen rotationsblockierter und uneingeschr?nkter, d. h. rotationsunbehinderter Translationsmessung hin: Bei unbehinderter oder uneingeschr?nkter作者: biosphere 時(shí)間: 2025-3-25 08:39 作者: byline 時(shí)間: 2025-3-25 12:40
Fengkui Ju,Li Liangvon Knorpeldefekten ist die Wiederherstellung der Knorpeloberfl?chenkongruenz, normale Gelenkfunktion und freie schmerzfreie Beweglichkeit sowie Verhinderung einer weiteren Knorpeldegeneration. Zur Therapie von chondralen/osteochondralen L?sionen stehen uns heutzutage folgende M?glichkeiten zur Verf作者: 中子 時(shí)間: 2025-3-25 18:06
Louwe B. KuijerBedeutung. Um das Potential dieses hochaufl?senden modernen Schnittbildverfahrens uneingeschr?nkt nutzen zu k?nnen, ist ein detailliertes Wissen der Schnittanatomie notwendig. So führen die Unkenntnis von Normvarianten oder die Fehlinterpretation auf Grund der Komplexit?t einzelner anatomischer Regi作者: FRAUD 時(shí)間: 2025-3-25 21:19
Minghui Ma,Katsuhiko SanoBedeutung. Um das Potential dieses hochaufl?senden modernen Schnittbildverfahrens uneingeschr?nkt nutzen zu k?nnen, ist ein detailliertes Wissen der Schnittanatomie notwendig. So führen die Unkenntnis von Normvarianten oder die Fehlinterpretation auf Grund der Komplexit?t einzelner anatomischer Regi作者: 暫時(shí)過來 時(shí)間: 2025-3-26 01:55
Meiyun Guo,Jeremy SeligmanBedeutung. Um das Potential dieses hochaufl?senden modernen Schnittbildverfahrens uneingeschr?nkt nutzen zu k?nnen, ist ein detailliertes Wissen der Schnittanatomie notwendig. So führen die Unkenntnis von Normvarianten oder die Fehlinterpretation auf Grund der Komplexit?t einzelner anatomischer Regi作者: 現(xiàn)任者 時(shí)間: 2025-3-26 06:59 作者: 切碎 時(shí)間: 2025-3-26 09:10 作者: 證明無罪 時(shí)間: 2025-3-26 16:01
978-3-642-40947-9Springer-Verlag Berlin Heidelberg 2013作者: visceral-fat 時(shí)間: 2025-3-26 20:27 作者: 變異 時(shí)間: 2025-3-26 22:23
https://doi.org/10.1007/978-3-642-40948-6Argumentation; Game Theory; Logic; Norms; Rationality作者: 非實(shí)體 時(shí)間: 2025-3-27 03:06
A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices based on the notions of generalized quantifiers and bilattices, and is used to model several aspects of interrogative semantics, including resolvedness conditions, answerhood, exhaustivity and interrogative inferences. It will be shown that the semantic model satisfies a number of adequacy criteria.作者: 貿(mào)易 時(shí)間: 2025-3-27 07:04 作者: Myocarditis 時(shí)間: 2025-3-27 10:24 作者: 機(jī)警 時(shí)間: 2025-3-27 17:19 作者: Lymphocyte 時(shí)間: 2025-3-27 20:39 作者: Androgen 時(shí)間: 2025-3-27 23:20
Norbert Gratzlonsnahen Translationen und deren Bewegungslimiten zu dokumentieren, entwickelten St?ubli et al. (1985) eine neue Technik zur radiologischen Messung der extensionsnahen Schubladenverschieblichkeit: Gehaltene, standardisierte, unter An?sthesie durchgeführte R?ntgenbilder erm?glichen die Analyse der Re作者: 愚蠢人 時(shí)間: 2025-3-28 03:32 作者: 同時(shí)發(fā)生 時(shí)間: 2025-3-28 08:20 作者: 肌肉 時(shí)間: 2025-3-28 14:07 作者: Chagrin 時(shí)間: 2025-3-28 18:37
Fengkui Ju,Li Liangterkondyl?re Notch) für die Transplantation in Defekte der Belastungszonen. Operative Technik und Ergebnisse werden pr?sentiert. Die arthroskopische/offene Transplantation von autologen Knorpelknochenzylindern aus dem Knie eignet sich für chondrale/osteochondrale L?sionen und Osteonekrosen an Femur,作者: 異端邪說2 時(shí)間: 2025-3-28 21:20
Louwe B. Kuijertte von 3 frischen Leichenknien wurden zur schwerpunktm??igen Darstellung dieser beiden Regionen in sagittaler und coronarer Ebene mit entsprechenden MRT-Abbildungen korreliert. Dabei wurden jeweils Schnittabst?nde von 4 mm durchgeführt. Bei dem Vergleich der beiden Abbildungsmodalit?ten wurde die h作者: CREEK 時(shí)間: 2025-3-29 01:16 作者: 男生戴手銬 時(shí)間: 2025-3-29 03:32 作者: 以煙熏消毒 時(shí)間: 2025-3-29 11:00 作者: Mumble 時(shí)間: 2025-3-29 13:18 作者: Cubicle 時(shí)間: 2025-3-29 18:50 作者: 細(xì)胞膜 時(shí)間: 2025-3-29 23:32 作者: 一小塊 時(shí)間: 2025-3-30 00:43
A Dynamic Deontic Logic Based on Historiesb) it has two dynamic operators, which tend to update the obligation states of agents in different ways. This logic reflects the distinction between the descriptive and prescriptive use of norm sentences.作者: objection 時(shí)間: 2025-3-30 07:50
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity every possible deterministic disambiguation of .. I also introduce a cut-free sequent style proof system .. that is sound and complete for the given semantics. Finally I show that while the semantics and proof system do not satisfy reflexivity they do allow certain kinds of substitution of equivalents.作者: 煉油廠 時(shí)間: 2025-3-30 11:16 作者: 本土 時(shí)間: 2025-3-30 15:30 作者: ingestion 時(shí)間: 2025-3-30 18:26
Conference proceedings 2013rogram and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.作者: 表狀態(tài) 時(shí)間: 2025-3-31 00:23 作者: 弄皺 時(shí)間: 2025-3-31 04:39 作者: 值得 時(shí)間: 2025-3-31 06:31
Explicit and Implicit Knowledge in Neighbourhood Modelsantecedent does not need to be implicitly known; we discuss why this is the case. Then a modus ponens operation is defined, and it is shown how it satisfies a third ‘intuitive’ property: if the agent knows explicitly an implication and its antecedent, then after a modus ponens step she will know explicitly the consequent.作者: Anemia 時(shí)間: 2025-3-31 11:01
Boolean Games with Epistemic Goalsoal, defined as a formula of modal epistemic logic. Using such a language for goals allows us to explicitly and compactly represent desirable epistemic states. After motivating and formally defining epistemic Boolean games as a concise representation of epistemic Kripke structures, we investigate their complexity and study their properties.作者: 故意釣到白楊 時(shí)間: 2025-3-31 14:44
The Topology of Belief, Belief Revision and Defeasible Knowledgelysis of knowledge [18]: topological knowledge coincides with undefeated true belief. Finally, we compare our semantics to the older topological interpretation of belief in terms of Cantor derivative [23].作者: 凹處 時(shí)間: 2025-3-31 20:41
A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpointthe rationale of these iterated eliminating algorithms. In addition, to clarify the proof-theoretic principles assumed in players’ reasoning, we also develop an axiomatic presentation for our results.作者: 形上升才刺激 時(shí)間: 2025-4-1 00:42 作者: 喊叫 時(shí)間: 2025-4-1 05:23 作者: 和平 時(shí)間: 2025-4-1 07:46
0302-9743 nd Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science a作者: 事物的方面 時(shí)間: 2025-4-1 10:45 作者: 灰姑娘 時(shí)間: 2025-4-1 15:53
Sequent Calculi for Multi-modal Logic with Interactionther sides of the sequents. This way one can devise rules in a much more modular fashion. This feature of Hilbert-style systems is notoriously lost when one moves to sequent calculi. By partly restoring modularity the method proposed here can potentially provide a unified approach to the proof theory of multi-modal systems.作者: seduce 時(shí)間: 2025-4-1 18:44
Dynamic Epistemic Logic Displayedhave a natural interpretation in the final coalgebra. This proof-theoretic motivation revives the interest in the global semantics for dynamic epistemic logics pursued among others by Baltag [4], C?rstea and Sadrzadeh [8].
