Results 61 to 70 of about 63,358 (127)

A Semantic Generalization of Shannon's Information Theory and Applications. [PDF]

Entropy (Basel)
Lu C.
europepmc   +1 more source

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. [PDF]

J Autom Reason, 2023
Middeldorp A, Lochmann A, Mitterwallner F.   +2 more
europepmc   +1 more source

Extension of set-based inference mechanism for predicate logic design constraints with an application to automotive power window design

, 2000
Amit Vishwanath Seshan
openalex   +1 more source

Transforming Ontology Web Language Elements into Common Terminology Service 2 Terminology Resources. [PDF]

J Pers Med
Mora S, Gazzarata R, Blobel B, Murgia Y, Giacomini M.   +4 more
europepmc   +1 more source

Increased discoverability of rare disease datasets through knowledge graph integration. [PDF]

JAMIA Open
Braun I, Hartley E, Olson D, Matentzoglu N, Schaper K, Walls R, Vasilevsky N.   +6 more
europepmc   +1 more source

Intention Recognition With ProbLog. [PDF]

Front Artif Intell, 2022
Smith GB, Belle V, Petrick RPA.
europepmc   +1 more source

A category theory perspective on the Language of Thought: LoT is universal. [PDF]

Front Psychol
Phillips S.
europepmc   +1 more source

A partial evaluation methodology for optimizing rewrite theories incrementally. [PDF]

MethodsX, 2022
Alpuente M, Ballis D, Escobar S, Galán Pascual D, Sapiña J.   +4 more
europepmc   +1 more source

Deflationism, explanation and "because". [PDF]

Philos Stud
De Rizzo J.
europepmc   +1 more source

A tiled multi-city urban objects dataset for city-scale building energy simulation. [PDF]

Sci Data, 2023
Ma R, Fang D, Chen J, Li X.
europepmc   +1 more source