Ontology-mediated probabilistic model checking
From MaRDI portal
Publication:6536352
DOI10.1007/978-3-030-34968-4_11zbMATH Open1540.68129MaRDI QIDQ6536352FDOQ6536352
Authors: Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan 
Publication date: 19 April 2024
Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Linking Data to Ontologies
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Description Logic Knowledge and Action Bases
- Probabilistic models for the guarded command language
- Validation of Stochastic Systems
- An Introduction to Description Logic
- The OWL reasoner evaluation (ORE) 2015 competition report
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Verification of Golog Programs over Description Logic Actions
- Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
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)
