Benjamin Zarrieß

From MaRDI portal
Person:1687558

Available identifiers

zbMath Open zarriess.benjaminMaRDI QIDQ1687558

List of research outcomes





PublicationDate of PublicationType
Efficient TBox Reasoning with Value Restrictions—Introducing the $$\mathcal {F\!L}_{o}{} \textit{wer}$$ Reasoner2024-03-14Paper
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner2023-12-12Paper
Situation calculus meets description logics2020-06-04Paper
Decidable verification of decision-theoretic Golog2018-01-04Paper
Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions2017-07-18Paper
Verification of Golog programs over description logic actions2013-09-20Paper

Research outcomes over time

This page was built for person: Benjamin Zarrieß

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687558&oldid=6332388"
Powered by MediaWiki