Runtime Verification Using a Temporal Description Logic
From MaRDI portal
Publication:3655197
DOI10.1007/978-3-642-04222-5_9zbMath1193.68160MaRDI 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
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
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