Runtime enforcement using knowledge bases
From MaRDI portal
Publication:6535223
DOI10.1007/978-3-031-30826-0_12zbMATH Open1541.6825MaRDI QIDQ6535223
Eduard Kamburjan, Crystal Chang Din
Publication date: 24 November 2023
Knowledge representation (68T30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited
- Compositional reasoning about active objects with shared futures
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Locally abstract, globally concrete semantics of concurrent programming languages
- Behavioral program logic
- LTL over description logic axioms
- A Dynamic Logic with Traces and Coinduction
- GOLOG: A logic programming language for dynamic domains
- Querying Log Data with Metric Temporal Logic
- Dynamic Logic with Trace Semantics
This page was built for publication: Runtime enforcement using knowledge bases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535223)
