Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
From MaRDI portal
Publication:472810
DOI10.1016/j.jal.2014.09.001zbMath1310.68140WikidataQ57383679 ScholiaQ57383679MaRDI QIDQ472810
Publication date: 20 November 2014
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2014.09.001
68T27: Logic in artificial intelligence
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Attributive concept descriptions with complements
- Defining liveness
- Reasoning about infinite computations
- Many-dimensional modal logics: theory and applications
- A survey of temporal extensions of description logics
- LTL over description logic axioms
- Comparing LTL Semantics for Runtime Verification
- Runtime Verification Using a Temporal Description Logic
- The complexity of propositional linear temporal logics
- Monitoring of Real-Time Properties
- Mathematical Foundations of Computer Science 2003
- Model checking of safety properties