Results 141 to 150 of about 5,812 (235)

A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]

J Logic Lang Inf
Olkhovikov GK.
europepmc   +1 more source

Linguistic and ontological challenges of multiple domains contributing to transformed health ecosystems. [PDF]

Front Med (Lausanne), 2023
Kreuzthaler M, Brochhausen M, Zayas C, Blobel B, Schulz S.   +4 more
europepmc   +1 more source

From operant learning to arbitrarily applicable relational responding: a review of Machine Psychology with the non-axiomatic reasoning system. [PDF]

Front Artif Intell
Johansson R, Hammer P.
europepmc   +1 more source

MZSGO: multimodal zero-shot protein function annotation via evolutionary signals and textual semantics. [PDF]

Bioinformatics
Cui B, Li Y, Chen S, Wei J, Wang X, Wang Y, Li J.   +6 more
europepmc   +1 more source

Specification and verification of total correctness of distributed programs [PDF]

This paper describes a compositional specification and proof system for networks of distributed processes. Each process in a network is specified using first order logic in terms of a presupposition P and an affirmation A as a triple (P) S (A).
Joseph, Mathai, Pandya, Paritosh K.
core  

Advancing the bioassay ontology through integrated PK/PD and safety pharmacology representation. [PDF]

J Biomed Semantics
Glenny-Pescov J, Chung C, Ross N, Hu J, Sinclair M, Khurshid R, Karlsson A, Schürer SC.   +7 more
europepmc   +1 more source

Combining Higher-Order Logic with Set Theory Formalizations. [PDF]

J Autom Reason, 2023
Kaliszyk C, Pąk K.
europepmc   +1 more source

Three-layered semantic framework for public health intelligence. [PDF]

J Biomed Semantics
Guru Rao S, Rokkam P, Zhang B, Sargsyan A, Kaladharan A, Sethumadhavan P, Jacobs M, Hofmann-Apitius M, Tom Kodamullil A.   +8 more
europepmc   +1 more source

Is psychological science progressing? Explained variance in PsycINFO articles during the period 1956 to 2022. [PDF]

Front Psychol, 2022
Smedslund G, Arnulf JK, Smedslund J.
europepmc   +1 more source

Semantics of Programming Languages (Second Edition)

, 2011
In these lecture notes we present a few basic approaches to the definition of the semantics of programming languages. In particular, we present: (i) the operational semantics and the axiomatic semantics for a simple imperative language, and (ii)~the ...
Pettorossi, A, PETTOROSSI, ALBERTO
core