„Dynamic Logic“

Suchergebnisse

1.066 Treffer

• Correction of Dynamic Model Parameters by Observed Data
  Shaydurov, V. ; Petrakova, V.
• Dynamic Logic. New Trends and Applications – Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
  2020 Springer International Publishing
• Dynamic Logic. New Trends and Applications – Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
  2020 Springer International Publishing
• Models of Strategic Reasoning – Logics, Games, and Communities
  Benthem, Johan ˜vanœ ; Gosh, Sujata ; Verbrugge, Rineke 2015 Springer International Publishing
• Ontology Engineering – 12th International Experiences and Directions Workshop on OWL, OWLED 2015, co-located with ISWC 2015, Bethlehem, PA, USA, October 9-10, 2015, Revised Selected Papers
  Dragoni, Mauro ; Tamma, Valentina ; Gonçalves, Rafael ; Ławrynowicz, Agnieszka 2016 Springer International Publishing
• Hybrid Systems Biology – Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
  Maler, Oded ; Halász, Ádám ; Dang, Thao ; Piazza, Carla 2015 Springer International Publishing
• The EU’s Neighbourhood Policy towards the South Caucasus – Expanding the European Security Community
  Simão, Lícinia 2018 Springer International Publishing
• Reasoning about Rational, but not Logically Omniscient Agents
  Duc, Ho Ngoc 2018 Universitätsbibliothek Leipzig
• A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics – Theory and Applications
  Barros, Laécio Carvalho ˜deœ ; Bassanezi, Rodney Carlos ; Lodwick, Weldon A. 2024 Springer Nature Switzerland, Imprint: Springer
• From Logic to Practice – Italian Studies in the Philosophy of Mathematics
  2015 Springer International Publishing
• Adaptive iterated local search algorithm for dynamic patient admission scheduling problems
  Turky, Ayad ; Sabar, Nasser R. ; Song, Andy ; Hussain, Abir ; Liatsis, Panos
• Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics
  Hansen, Helle Hvid ; Poiger, Wolfgang 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling of Dynamic Object Systems – A Logic-based Approach
  1993 Vieweg+Teubner Verlag
• Multi-UAV Trajectory Optimization Under Dynamic Threats: An Enhanced GWO Algorithm Integrating a Priori and Real-Time Data
  Zhou, Zihan ; Guo, Yanhong ; Wang, Yitao ; Lyu, Jingfan ; Gong, Haoran ; Ye, Xin ; Li, Yachao
• FedMDKGE: Multi-granularity Dynamic Knowledge Graph Embedding in Federated Learning
  Huang, Wei ; Chen, Junling ; Wang, Dexian ; Zhang, Pengfei ; Liu, Jia ; Li, Tianrui
• The Model of the Human Capital Dynamics and Population Behavior in the Labor Market
  Shananin, A. A. ; Trusov, N. V.
• Dynamic task allocation in fog computing using enhanced fuzzy logic approaches
  Jin, Wanying ; Rezaeipanah, Amin
• Dynamic epistemic logic
  Ditmarsch, Hans ˜vanœ 2007 Springer
• Dynamics in Logic and Language – Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers
  2023 Springer International Publishing
• Dynamic Logic. New Trends and Applications – 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
  2023 Springer Nature Switzerland