Monografie
Ontology-Mediated Probabilistic Model Checking : Extended Version
- Sprache
-
Englisch
- Identifier
-
1260552314
- Reihe
-
LTCS-Report; 19-05
- Beteiligte Personen und Organisationen
-
Dubslaff, Clemens
Koopmann, Patrick
Turhan, Anni-Yasmin
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
05.07.2022, 13:19 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Dubslaff, Clemens
- Koopmann, Patrick
- Turhan, Anni-Yasmin
Ähnliche Objekte (12)
Ontology-Mediated Queries for Probabilistic Databases : Extended Version
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data : Extended Version
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies : Extended Version
Contextualized Programs for Ontology-Mediated Probabilistic System Analysis
Ontology-Based Query Answering for Probabilistic Temporal Data : Extended Version
Reduction methods for probabilistic model checking
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Evaluating ontology alignment methods : (extended abstract)
Model Checking Temporal Properties of Recursive Probabilistic Programs
Advances in Symbolic Probabilistic Model Checking with PRISM
Ontology-Mediated Queries for Probabilistic Databases : Extended Version
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data : Extended Version
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies : Extended Version
Contextualized Programs for Ontology-Mediated Probabilistic System Analysis
Ontology-Based Query Answering for Probabilistic Temporal Data : Extended Version
Reduction methods for probabilistic model checking
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Evaluating ontology alignment methods : (extended abstract)
Model Checking Temporal Properties of Recursive Probabilistic Programs
Advances in Symbolic Probabilistic Model Checking with PRISM
Ontology-Mediated Queries for Probabilistic Databases : Extended Version
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data : Extended Version
Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies : Extended Version
Contextualized Programs for Ontology-Mediated Probabilistic System Analysis
Ontology-Based Query Answering for Probabilistic Temporal Data : Extended Version
Reduction methods for probabilistic model checking
Certificates and Witnesses for Probabilistic Model Checking
Advances in probabilistic model checking with PRISM
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Evaluating ontology alignment methods : (extended abstract)
Model Checking Temporal Properties of Recursive Probabilistic Programs