„temporal logics“

Suchergebnisse

1.000+ Treffer

• Executable modal and temporal logics – proceedings
  Fisher, Michael 1995 Springer
• Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
  Massoud, Rehab ; Drechsler, Rolf ; Bertacco, Valeria 2021 Staats- und Universitätsbibliothek Bremen
• On the Satisfiability of Temporal Logics with Concrete Domains
  Carapelle, Claudia ; Lohrey, Markus 2015 Universitätsbibliothek Leipzig
• Model Checking Concurrent Systems Using Temporal Logics
  Mennicke, Roy ; Kuske, Dietrich ; Gastin, Paul ; Leucker, Martin 2016 Universitätsbibliothek Ilmenau
• Towards More Useful Description Logics of Time, Change and Context
  Gutiérrez Basulto, Víctor Didier ; Lutz, Carsten ; Zakharyaschev, Michael 2013 Staats- und Universitätsbibliothek Bremen
• Temporalised Description Logics for Monitoring Partially Observable Events
  Lippmann, Marcel ; Baader, Franz ; Wolter, Frank 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Verification of Branching-Time and Alternating-Time Properties for Exogenous Coordination Models
  Klüppelholz, Sascha ; Baier, Christel ; Arbab, Farhad 2012 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Document verification with temporal description logics
  Weitl, Franz
• A resolution-based calculus for temporal logics
  Nonnengart, Andreas
• Logic, Language, Information, and Computation – 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
  De Paiva, Valeria ; Queiroz, Ruy J. G. B. ˜deœ ; Moss, Lawrence Stuart ; Leivant, Daniel ; de Oliveira, Anjolina 2015 Springer International Publishing
• Interactive Theorem Proving – Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
  Beringer, Lennart ; Felty, Amy 2012 Springer Berlin Heidelberg
• Model Checking and Artificial Intelligence – 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
  Van der Meyden, Ron ; Smaus, Jan 2011 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Some uses of modal semirings
  Möller, Bernhard ; Desharnais, Jules ; Țuțu, Ionuț 2025 Universität Augsburg
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
  Thost, Veronika ; Baader, Franz ; Lutz, Carsten 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• PDDL to DFA: A Symbolic Transformation for Effective Reasoning
  De Giacomo, Giuseppe ; Di Stasio, Antonio ; Parretti, Gianmarco 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interpolation and Separation Problems for Linear Temporal Logics (Invited Talk)
  Zacharjaščev, Michail V. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Context Logic
  Ohlbach, Hans Jürgen 2023 Saarländische Universitäts- und Landesbibliothek
• Probabilistic Model Checking for Temporal Logics in Weighted Structures
  Wunderlich, Sascha ; Baier, Christel ; Remke, Anne 2024 Technische Universität Dresden
• Context-Sensitive Description Logics in Dynamic Settings
  Tirtarasa, Satyadharma ; Baader, Franz ; Artale, Alessandro 2024 Technische Universität Dresden