Formal foundations for situation awareness based on dependent type theory-Reference-Cited by-同舟云学术

Formal foundations for situation awareness based on dependent type theory

Published:2013-01 Issue:1 Volume:14 Page:87-107
ISSN:1566-2535
Container-title:Information Fusion
language:en
Short-container-title:Information Fusion

Author:

Dapoigny Richard,Barlatier Patrick

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Signal Processing,Software

Reference78 articles.

1. A.N. Steinberg, C.L. Bowman, F.E. White, Revisions to the JDL data fusion model. in: Proceedings of the SPIE Sensor Fusion: Architectures, Algorithms and Applications, 1999, pp. 430–441.

2. Measurement of situation awareness in dynamic systems;Endsley;Human Factors,1995

3. C. Matheus, Using ontology-based rules for situation awareness and information fusion, in: Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington DC, 2005.

4. Ontology-based situation awareness;Kokar;Information Fusion,2009

5. Knowledge representation and reasoning;Brachman,2004

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

1. Situation Awareness in Human‐Machine Systems;Handbook of Human‐Machine Systems;2023-07-07

2. Security situation awareness method of power mobile application based on big data architecture;2022 5th International Conference on Data Science and Information Technology (DSIT);2022-07-22

3. MCF-CSA: A Multi-level Collaboration Framework for Cyber Situation Awareness and Information Sharing;Advances in Artificial Intelligence and Security;2021

4. Alpha C2–An Intelligent Air Defense Commander Independent of Human Decision-Making;IEEE Access;2020

5. Knowledge-based multimodal information fusion for role recognition and situation assessment by using mobile robot;Information Fusion;2019-10