Runtime Verification Using a Temporal Description Logic
From MaRDI portal
Publication:3655197
DOI10.1007/978-3-642-04222-5_9zbMath1193.68160OpenAlexW1581671536MaRDI QIDQ3655197
Andreas Bauer, Franz Baader, Marcel Lippmann
Publication date: 7 January 2010
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_9
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Data repair of inconsistent nonmonotonic description logic programs, Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited, Monitoring Metric First-Order Temporal Properties
Cites Work