Verification of Golog programs over description logic actions

DOI10.1007/978-3-642-40885-4_12MaRDI QIDQ2849489zbMATH OpenOpenAlexFDO

Authors Franz Baader, Benjamin Zarrieß

Publication date 20 September 2013

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40885-4_12

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions
• Decidable verification of decision-theoretic Golog
• Situation calculus meets description logics
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Verifying Properties of Infinite Sequences of Description Logic Actions

Cited in

(9)

• Verifying Properties of Infinite Sequences of Description Logic Actions
• Reactive policies with planning for action languages
• Automatic verification of Golog programs via predicate abstraction
• On the verification of very expressive temporal properties of non-terminating Golog programs
• Enhancing probabilistic model checking with ontologies
• Decidable verification of decision-theoretic Golog
• Situation calculus meets description logics
• Ontology-mediated probabilistic model checking
• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions

This page was built for publication: Verification of Golog programs over description logic actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849489)