Կազմի պատկեր

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal wit...

Ամբողջական նկարագրություն

Պահպանված է:
Մատենագիտական մանրամասներ
Համատեղ հեղինակ: SpringerLink (Online service)
Այլ հեղինակներ: Gierasimczuk, Nina (Խմբագիր), Velázquez-Quesada, Fernando R. (Խմբագիր)
Ձևաչափ: Էլեկտրոնային էլ․ գիրք
Լեզու:անգլերեն
Հրապարակվել է: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Հրատարակություն:1st ed. 2024.
Շարք:Lecture Notes in Computer Science, 14401
Խորագրեր:
Computer science.
Mathematical logic.
Logic programming.
Software engineering.
Computer networks .
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Logic in AI.
Software Engineering.
Computer Communication Networks.
Առցանց հասանելիություն:https://doi.org/10.1007/978-3-031-51777-8
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
Բովանդակություն:
  • A spatial logic with time and quantifiers
  • Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
  • Axiomatization of Hybrid Logic of Link Variations
  • Kleene Algebra of Weighted Programs With Domain
  • Automated Quantum Program Verification in Dynamic Quantum Logic
  • Predictive Theory of Mind Models Based on Public Announcement Logic
  • Learning by Intervention in Simple Causal Domains
  • A Logical Approach to Doxastic Causal Reasoning.

Նմանատիպ նյութեր