Ontology-mediated probabilistic model checking
From MaRDI portal
Publication:6536352
DOI10.1007/978-3-030-34968-4_11zbMATH Open1540.68129MaRDI QIDQ6536352
Anni-Yasmin Turhan, Clemens Dubslaff, Patrick Koopmann
Publication date: 19 April 2024
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic models for the guarded command language
- The OWL reasoner evaluation (ORE) 2015 competition report
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Verification of Golog Programs over Description Logic Actions
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- An Introduction to Description Logic
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
- Description Logic Knowledge and Action Bases
- Validation of Stochastic Systems
- Linking Data to Ontologies
This page was built for publication: Ontology-mediated probabilistic model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536352)
