Verifying Properties of Infinite Sequences of Description Logic Actions
From MaRDI portal
Publication:2999106
DOI10.3233/978-1-60750-606-5-53zbMath1211.68394OpenAlexW1624012751MaRDI QIDQ2999106
Hongkai Liu, Franz Baader, Anees Ul Mehdi
Publication date: 11 May 2011
Full work available at URL: https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#BaaderLM10
Logic in artificial intelligence (68T27) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Non-terminating processes in the situation calculus ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL
This page was built for publication: Verifying Properties of Infinite Sequences of Description Logic Actions
