Projection in a probabilistic epistemic logic and its application to belief-based program verification
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
RWTH Aachen University, Dissertation, 2022
- Keyword
-
Künstliche Intelligenz
Logik
Logische Programmierung
Wissensrevision
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2023
- Creator
- Contributor
-
Lakemeyer, Gerhard
Belle, Vaishak
- DOI
-
10.18154/RWTH-2022-10632
- URN
-
urn:nbn:de:101:1-2023011800361951221883
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Liu, Daxin
- Lakemeyer, Gerhard
- Belle, Vaishak
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2023
Other Objects (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