The formal semantics of a domain-specific modeling language for semantic web enabled multi-agent systems University of Antwerp
Consistency measures individuate dissociating semantic modulations in priming paradigms : a new look on semantics in the processing of (complex) words Ghent University
Redefining the resolution of semantic knowledge in the brain: Advances made by the introduction of models of semantics in neuroimaging KU Leuven
Fixpoint semantics for active integrity constraints Vrije Universiteit Brussel KU Leuven
Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning, such as logic programming and autoepistemic logic. In this ...