Verification of Golog programs over description logic actions

DOI10.1007/978-3-642-40885-4_12zbMATH Open1398.68568OpenAlexW49077064MaRDI QIDQ2849489FDOQ2849489

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

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

Mathematics Subject Classification ID

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

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)