Runtime Verification Using a Temporal Description Logic-Reference-Cited by-同舟云学术

Runtime Verification Using a Temporal Description Logic

Published:2009 Issue: Volume: Page:149-164
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Baader Franz,Bauer Andreas,Lippmann Marcel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04222-5_9

Reference16 articles.

1. Artale, A., Franconi, E.: A survey of temporal extensions of description logics. Ann. of Mathematics and Artificial Intelligence 30, 171–210 (2000)

2. Artale, A., Franconi, E.: Temporal description logics. In: Gabbay, D., Fisher, M., Vila, L. (eds.) Handbook of Time and Temporal Reasoning in Artificial Intelligence. The MIT Press, Cambridge (2001)

3. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 684–694. Morgan Kaufmann, Los Altos (2008)

4. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)

5. Lecture Notes in Computer Science;A. Bauer,2006

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications;ACM Transactions on Computational Logic;2024-04-16

2. A Formal Logic Framework for the Automation of the Right to Be Forgotten;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2018

3. Introduction to Runtime Verification;Lectures on Runtime Verification;2018

4. Data repair of inconsistent nonmonotonic description logic programs;Artificial Intelligence;2016-10

5. Computing Repairs of Inconsistent DL-Programs over EL Ontologies;Journal of Artificial Intelligence Research;2016-07-27