Projection in a probabilistic epistemic logic and its application to belief-based program verification
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Dissertation, 2022
- Schlagwort
-
Künstliche Intelligenz
Logik
Logische Programmierung
Wissensrevision
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2023
- Urheber
- Beteiligte Personen und Organisationen
-
Lakemeyer, Gerhard
Belle, Vaishak
- DOI
-
10.18154/RWTH-2022-10632
- URN
-
urn:nbn:de:101:1-2023011800361951221883
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:45 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
- Liu, Daxin
- Lakemeyer, Gerhard
- Belle, Vaishak
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2023
Ähnliche Objekte (12)
Counterexamples in probabilistic verification
Efficient Epistemic Updates in Rank-based Belief Networks
Belief change and cryptographic protocol verification
Belief Revision in Dynamic Epistemic Logic and Ranking Theory
Group decision making via probabilistic belief merging
Reactive probabilistic belief modeling for mobile robots
Belief revision, non-monotonic reasoning and secrecy for epistemic agents
On updates of epistemic states: belief chance under incomplete information
Advanced probabilistic models for clustering and projection
A Deductive Verification Infrastructure for Probabilistic Programs
Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory
Modeling and formal verification of probabilistic reconfigurable systems
Counterexamples in probabilistic verification
Efficient Epistemic Updates in Rank-based Belief Networks
Belief change and cryptographic protocol verification
Belief Revision in Dynamic Epistemic Logic and Ranking Theory
Group decision making via probabilistic belief merging
Reactive probabilistic belief modeling for mobile robots
Belief revision, non-monotonic reasoning and secrecy for epistemic agents
On updates of epistemic states: belief chance under incomplete information
Advanced probabilistic models for clustering and projection
A Deductive Verification Infrastructure for Probabilistic Programs
Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory
Modeling and formal verification of probabilistic reconfigurable systems
Counterexamples in probabilistic verification
Efficient Epistemic Updates in Rank-based Belief Networks
Belief change and cryptographic protocol verification
Belief Revision in Dynamic Epistemic Logic and Ranking Theory
Group decision making via probabilistic belief merging
Reactive probabilistic belief modeling for mobile robots
Belief revision, non-monotonic reasoning and secrecy for epistemic agents
On updates of epistemic states: belief chance under incomplete information
Advanced probabilistic models for clustering and projection
A Deductive Verification Infrastructure for Probabilistic Programs
Recent Results on Belief, Knowledge and the Epistemic Foundations of Game Theory