Verification of Golog Programs over Description Logic Actions-Reference-Cited by-同舟云学术

Verification of Golog Programs over Description Logic Actions

Published:2013 Issue: Volume: Page:181-196
ISSN:0302-9743
Container-title:Frontiers of Combining Systems
language:
Short-container-title:

Author:

Baader Franz,Zarrieß Benjamin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40885-4_12

Reference12 articles.

1. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proc. AAAI 2005 (2005)

2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)

3. Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. ACM Trans. Comput. Log. 13(3) (2012)

4. Lecture Notes in Computer Science;F. Baader,2010

5. Baader, F., Liu, H., ul Mehdi, A.: Verifying properties of infinite sequences of description logic actions. In: Proc. ECAI 2010 (2010)

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

1. Enhancing Probabilistic Model Checking with Ontologies;Formal Aspects of Computing;2021-05-26

2. Semantic Technologies for Situation Awareness;KI - Künstliche Intelligenz;2020-11-03

3. Agent programming in the cognitive era;Autonomous Agents and Multi-Agent Systems;2020-05-12

4. Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents;2019 22nd Euromicro Conference on Digital System Design (DSD);2019-08

5. Ontology-Mediated Probabilistic Model Checking;Lecture Notes in Computer Science;2019