Benjamin Zarrieß
From MaRDI portal
Person:1687558
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 |
|---|---|---|
| Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner | 2024-03-14 | Paper |
| Efficient TBox Reasoning with Value Restrictions using the wer Reasoner Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Situation calculus meets description logics | 2020-06-04 | 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 |
| Verification of Golog programs over description logic actions Frontiers of Combining Systems | 2013-09-20 | Paper |
Research outcomes over time
This page was built for person: Benjamin Zarrieß
