Results 251 to 260 of about 1,229,738 (330)

Evaluation of social protection for people affected by tuberculosis: development of an indicator matrix for Brazil. [PDF]

open access: yesBMC Public Health
Ferreira MRL   +8 more
europepmc   +1 more source

Non-procedural logic programming

Extensions of Logic Programming, 1994
We present a logic programming language where both problem domain and computational knowledge are expressed in logic. A logic program in this language consists of an object-program and a number of meta-programs. The object program, a collection of formulae, is a description of the problem domain of interest.
Seppo Keronen
openaire   +2 more sources

Procedural Semantics for Hyperintensional Logic

Logic, Epistemology, and the Unity of Science, 2010
Marie Duží   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy