Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Leipzig, Universität Leipzig, Dissertation, 2016
- Schlagwort
-
Logic
- Ereignis
-
Veröffentlichung
- (wo)
-
Leipzig
- (wer)
-
Universitätsbibliothek Leipzig
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
-
Droste, Manfred
Droste, Manfred
Bollig, Benedikt
- URN
-
urn:nbn:de:bsz:15-qucosa-208732
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
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.
Beteiligte
- Weidner, Thomas
- Droste, Manfred
- Bollig, Benedikt
- Universitätsbibliothek Leipzig
Entstanden
- 2016
Ähnliche Objekte (12)
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Regular path expressions in feature logic
Regular path expressions in feature logic
Learning and modeling with probabilistic conditional logic
Probabilistic inductive logic programming : theory and applications
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
New results on probabilistic verification : automata, logic and satisfiability
Logic-based 0-1 constraint solving in constraint logic programming
PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Regular path expressions in feature logic
Regular path expressions in feature logic
Learning and modeling with probabilistic conditional logic
Probabilistic inductive logic programming : theory and applications
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
New results on probabilistic verification : automata, logic and satisfiability
Logic-based 0-1 constraint solving in constraint logic programming
PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Probabilistic metric temporal graph logic
Regular path expressions in feature logic
Regular path expressions in feature logic
Learning and modeling with probabilistic conditional logic
Probabilistic inductive logic programming : theory and applications
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
New results on probabilistic verification : automata, logic and satisfiability
Logic-based 0-1 constraint solving in constraint logic programming