Results 151 to 160 of about 1,681 (204)

The logics of COVID-19 travel restrictions between European countries. [PDF]

Soc Sci Q, 2021
Neumayer E, Plümper T, Shaikh M.
europepmc   +1 more source

Graph transformers express monadic second-order logic

We quantify the expressive power of graph transformers by establishing a formal connection to monadic second-order logic (MSO). Expressivity analysis for graph learning algorithms commonly focuses on their ability to produce distinct embeddings for non ...
Drucks, Tamara, Sugiyama, Mahito; orcid:
core  

Ontologies and Data Management: A Brief Survey. [PDF]

Kunstliche Intell (Oldenbourg), 2020
Schneider T, Šimkus M.
europepmc   +1 more source

Ten problems in Gödel logic. [PDF]

Soft comput, 2017
Aguilera JP, Baaz M.
europepmc   +1 more source

Natural language syntax complies with the free-energy principle. [PDF]

Synthese
Murphy E, Holmes E, Friston K.
europepmc   +1 more source

On Sahlqvist Formulas in Relevant Logic. [PDF]

J Philos Logic, 2018
Badia G.
europepmc   +1 more source