標(biāo)題: Titlebook: Dynamic Logic. New Trends and Applications; 5th International Wo Nina Gierasimczuk,Fernando R. Velázquez-Quesada Conference proceedings 202 [打印本頁(yè)] 作者: corrupt 時(shí)間: 2025-3-21 18:53
書目名稱Dynamic Logic. New Trends and Applications影響因子(影響力)
書目名稱Dynamic Logic. New Trends and Applications影響因子(影響力)學(xué)科排名
書目名稱Dynamic Logic. New Trends and Applications網(wǎng)絡(luò)公開度
書目名稱Dynamic Logic. New Trends and Applications網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Dynamic Logic. New Trends and Applications被引頻次
書目名稱Dynamic Logic. New Trends and Applications被引頻次學(xué)科排名
書目名稱Dynamic Logic. New Trends and Applications年度引用
書目名稱Dynamic Logic. New Trends and Applications年度引用學(xué)科排名
書目名稱Dynamic Logic. New Trends and Applications讀者反饋
書目名稱Dynamic Logic. New Trends and Applications讀者反饋學(xué)科排名
作者: 愛(ài)管閑事 時(shí)間: 2025-3-21 21:13 作者: Individual 時(shí)間: 2025-3-22 01:48
,Learning by?Intervention in?Simple Causal Domains,ependencies (atomic formulas of Dependence Logic) from observations of interventions on valuations (propositional states), and by doing so efficiently, they obtain insights into how to manipulate their surroundings to achieve goals.作者: 肉體 時(shí)間: 2025-3-22 06:32 作者: ciliary-body 時(shí)間: 2025-3-22 08:58
Deepmala Sehgal,Soom Nath Rainao a generalization of the domain operator known from Kleene algebra with domain, and we study the properties of the generalized domain operator. Third, we formulate a weighted version of Kleene algebra with domain as a framework for reasoning about weighted programs with weakest precondition in an abstract setting.作者: PLE 時(shí)間: 2025-3-22 13:45 作者: PLE 時(shí)間: 2025-3-22 17:34
Domenico Pignone,César Gómez-Campos a decidability result, will be given. In addition, we believe our work will shed light on understanding the relation between qualitative and quantitative approaches toward (causal) dependence in general.作者: amyloid 時(shí)間: 2025-3-22 21:16 作者: Graves’-disease 時(shí)間: 2025-3-23 03:13
,Kleene Algebra of?Weighted Programs with?Domain,o a generalization of the domain operator known from Kleene algebra with domain, and we study the properties of the generalized domain operator. Third, we formulate a weighted version of Kleene algebra with domain as a framework for reasoning about weighted programs with weakest precondition in an abstract setting.作者: 飾帶 時(shí)間: 2025-3-23 09:30 作者: 陶瓷 時(shí)間: 2025-3-23 12:17 作者: 組裝 時(shí)間: 2025-3-23 16:24 作者: ANTE 時(shí)間: 2025-3-23 21:50
Domenico Pignone,Juan B. Martínez-Labordevide a linear-time semantics over finite traces. The resulting formalism allows to state properties about geometrical entities whose attributes change along time. For both extensions, we prove the equivalence of their operational semantics with a denotational one.作者: N防腐劑 時(shí)間: 2025-3-23 22:19 作者: 演繹 時(shí)間: 2025-3-24 06:10 作者: 廣口瓶 時(shí)間: 2025-3-24 10:25 作者: 寬容 時(shí)間: 2025-3-24 14:33 作者: COWER 時(shí)間: 2025-3-24 18:51 作者: LIEN 時(shí)間: 2025-3-24 21:48
Deepmala Sehgal,Soom Nath Raina represent optimization problems and, in general, programs whose execution traces carry some sort of weight. Batz et al.?show that a weighted version of Dijkstra’s weakest precondition operator can be used to reason about the competitive ratios of weighted programs. In this paper we study a proposit作者: Spartan 時(shí)間: 2025-3-24 23:34
Domenico Pignone,Juan B. Martínez-Labordemated approach to quantum program verification at the cost of simplifying DQL to Basic Dynamic Quantum Logic (BDQL). We first formalize quantum states, quantum gates, and projections in bra-ket notation and use a set of laws from quantum mechanics and matrix operations to reason on quantum computati作者: Platelet 時(shí)間: 2025-3-25 06:02
Li Rong Zhou,Jun Wu,Shenghua Wangmonly assumed that agents can reason about epistemic statements of arbitrary nesting depth. In contrast, empirical findings on Theory of Mind, the ability to (recursively) reason about mental states of others, show that human recursive reasoning capability has an upper bound..In the present paper we作者: discord 時(shí)間: 2025-3-25 10:05
Domenico Pignone,César Gómez-Camposervable and that the underlying causal structure is of a simple nature. We adapt the frameworks of the (epistemic) causal models from [., .], and propose a model inspired by action learning [., .]. We present two learning methods, using formal and algorithmic approaches. Our learning agents infer d作者: Density 時(shí)間: 2025-3-25 15:22
Domenico Pignone,César Gómez-CampoNew contributions on causal reasoning are continuously added to the pioneering works by Pearl, Halpern and others. Though there is a long tradition of modeling belief revision in philosophical logic, the entanglement between belief revision and causal reasoning has not yet been fully studied from a 作者: urethritis 時(shí)間: 2025-3-25 18:56 作者: reflection 時(shí)間: 2025-3-25 23:21 作者: 冒失 時(shí)間: 2025-3-26 02:05
Dynamic Logic. New Trends and Applications978-3-031-51777-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: myopia 時(shí)間: 2025-3-26 06:31
Conference proceedings 2024Tbilisi, Georgia, during September 15–16, 2023.?.The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic..作者: installment 時(shí)間: 2025-3-26 11:21 作者: 親密 時(shí)間: 2025-3-26 12:55 作者: 前奏曲 時(shí)間: 2025-3-26 18:43
Domenico Pignone,Juan B. Martínez-Labordeuccessfully verified the correctness of five quantum protocols: Superdense Coding, Quantum Teleportation, Quantum Secret Sharing, Entanglement Swapping, and Quantum Gate Teleportation, using our support tool.作者: aquatic 時(shí)間: 2025-3-26 23:49 作者: GLOOM 時(shí)間: 2025-3-27 05:12 作者: 領(lǐng)帶 時(shí)間: 2025-3-27 08:47
,A Spatial Logic with?Time and?Quantifiers,er SLCS, the Spatial Logic for Closure Spaces, recently used for describing features of images and video frames. We extend SLCS in two directions. We first introduce first-order quantifiers, ranging on both individuals and atomic propositions. We then equip the logic with temporal operators, and pro作者: 聽覺(jué) 時(shí)間: 2025-3-27 12:48 作者: 昏迷狀態(tài) 時(shí)間: 2025-3-27 16:46
,Axiomatization of?Hybrid Logic of?Link Variations, global operators, the logic . of global link variations based on hybrid logic . is introduced, which involves global link cutting, adding and rotating simultaneously. A Hilbert-style calculus . is provided. By constructing families of canonical models inductively, we prove that the calculus . is so作者: Myofibrils 時(shí)間: 2025-3-27 18:16
,Kleene Algebra of?Weighted Programs with?Domain, represent optimization problems and, in general, programs whose execution traces carry some sort of weight. Batz et al.?show that a weighted version of Dijkstra’s weakest precondition operator can be used to reason about the competitive ratios of weighted programs. In this paper we study a proposit作者: 爆米花 時(shí)間: 2025-3-28 00:23
,Automated Quantum Program Verification in?Dynamic Quantum Logic,mated approach to quantum program verification at the cost of simplifying DQL to Basic Dynamic Quantum Logic (BDQL). We first formalize quantum states, quantum gates, and projections in bra-ket notation and use a set of laws from quantum mechanics and matrix operations to reason on quantum computati作者: Calibrate 時(shí)間: 2025-3-28 04:37 作者: MANIA 時(shí)間: 2025-3-28 07:57
,Learning by?Intervention in?Simple Causal Domains,servable and that the underlying causal structure is of a simple nature. We adapt the frameworks of the (epistemic) causal models from [., .], and propose a model inspired by action learning [., .]. We present two learning methods, using formal and algorithmic approaches. Our learning agents infer d作者: Parley 時(shí)間: 2025-3-28 10:39
