Results 101 to 110 of about 11,768 (185)

The Gauss-Markov adjunction provides categorical semantics of residuals in supervised learning

Discover Artificial Intelligence
Enhancing the intelligibility and interpretability of machine learning is a crucial task in responding to the demand for Explicability as an AI principle, and in promoting the better social implementation of AI.
Moto Kamiura
doaj   +1 more source

A logical denotational semantics for constraint logic programming [PDF]

, 1994
Alessandra Di Pierro, Catuscia Palamidessi   +1 more
openalex   +1 more source

Disentangling Denotational Semantics Definitions

, 2020
Fábio Tirelo, Roberto da Silva Bigonha, João Saraiva   +2 more
openalex   +1 more source

Some comments on “a denotational semantics for Prolog” [PDF]

, 1994
Bijan Arbab, Daniel M. Berry
openalex   +1 more source

An exercise in denotational semantics [PDF]

, 1991
Ken Slonneger
openalex   +1 more source

Denotational semantics of channel mobility in UTP-CSP [PDF]

, 2021
Gerard Ekembe Ngondi
openalex   +1 more source

Perspectives of semantic modeling in categories

Journal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

Synthesising Programs with Non-trivial Constants. [PDF]

J Autom Reason, 2023
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C.   +8 more
europepmc   +1 more source