Jens Claßen

From MaRDI portal
Person:1687557

Available identifiers

zbMath Open classen.jensMaRDI QIDQ1687557

List of research outcomes





PublicationDate of PublicationType
Situation calculus meets description logics2020-06-04Paper
Knowledge-based programs with defaults in a modal situation calculus2018-07-12Paper
Decidable verification of decision-theoretic Golog2018-01-04Paper
Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions2017-07-18Paper
On the verification of very expressive temporal properties of non-terminating Golog programs2011-05-11Paper

Research outcomes over time

This page was built for person: Jens Claßen

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