List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Situation calculus meets description logics | 2020-06-04 | Paper |
| Knowledge-based programs with defaults in a modal situation calculus | 2018-07-12 | Paper |
| Decidable verification of decision-theoretic Golog | 2018-01-04 | Paper |
| Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions | 2017-07-18 | Paper |
| On the verification of very expressive temporal properties of non-terminating Golog programs | 2011-05-11 | Paper |
Research outcomes over time
This page was built for person: Jens Claßen
