Domain Analysis & Description - The Implicit and Explicit Semantics Problem

05/15/2018

∙

A domain analysis & description calculus is introduced. It is shown to alleviate the issue of implicit semantics. The claim is made that domain descriptions, whether informal, or as also here, formal, amount to an explicit semantics for what is otherwise implicit if not described.

READ FULL TEXT

Domain Analysis & Description - The Implicit and Explicit Semantics Problem

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy

The Undecidability of Unification Modulo σ Alone

The Automatic Inference of State Invariants in TIM

Mixing Implicit and Explicit Deep Learning with Skip DEQs and Infinite Time Neural ODEs (Continuous DEQs)

On the Equivalence between Implicit and Explicit Neural Networks: A High-dimensional Viewpoint

Learning Implicitly with Noisy Data in Linear Arithmetic

Assessing and Supplying the Health of Videos Games via Formal Semantics

Domain Analysis & Description - The Implicit and Explicit Semantics Problem

Related Research

Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Sy

The Undecidability of Unification Modulo σ Alone

The Automatic Inference of State Invariants in TIM

Mixing Implicit and Explicit Deep Learning with Skip DEQs and Infinite Time Neural ODEs (Continuous DEQs)

On the Equivalence between Implicit and Explicit Neural Networks: A High-dimensional Viewpoint

Learning Implicitly with Noisy Data in Linear Arithmetic

Assessing and Supplying the Health of Videos Games via Formal Semantics