Formal Foundations for Situation Awareness based on Dependent Type Theory
type: Dataset
description: 24 pages
issued: 2026-05-25T01:39:56.411868
language: en
modified: 2026-05-25T01:39:56.411873
contact point: Organization
  fn: CCSD
keyword: aggregation
keyword: dependent-types
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: journal-articles
keyword: ontologies
keyword: situation-awareness
keyword: subsumption
keyword: type-inhabitation
landing page: 1566-2535

Formal Foundations for Situation Awareness based on Dependent Type Theory
type: Distribution
format: HTML
issued: 2026-05-25T01:39:56.480792
modified: 2026-05-25T01:39:56.381764
access URL: https://univ-smb.hal.science/hal-00678354

test_moissonnage_selune
type: Agent