Verification of Golog Programs over Description Logic Actions

DOI10.1007/978-3-642-40885-4_12zbMath1398.68568OpenAlexW49077064MaRDI QIDQ2849489

Benjamin Zarrieß, Franz Baader

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

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

Related Items (2)

Enhancing probabilistic model checking with ontologies ⋮ Reactive Policies with Planning for Action Languages

This page was built for publication: Verification of Golog Programs over Description Logic Actions