ILLC scientific publications
Upper semi-lattice of binary strings with the relation "x is simple conditional to y" / Andrei Muchnik ... [et al.]On structured belief bases : preliminary report / Renata WassermanResolution decided the guarded fragment / Hans de NivelleTemporal patterns and modal structure / Johan van BenthemCompiling Horn-clause rules in IBM's business system 12 : an early experiment in declarativeness / Ghica van Emde Boas-Lubsen, Peter van Emde BoasExpressiveness revisited / Carlos Areces, Maarten de RijkeProgramming with dynamic predicate logic / Jan van EijckOptimising and satisficing under partial ignorance / Frans Voorbraak
isPartOf
mainEntity
ILLC scientific publications
about
author
inLanguage
issn
mainEntityOfPage
name
ILLC scientific publications
publication
sameAs
label
ILLC scientific publications