Publicaties
Gekozen filters:
Gekozen filters:
Nonmonotonic reasoning in multivalued logics Universiteit Gent
Default assumptions and selection functions: a generic framework for non-monotonic logics Universiteit Gent
A logic of nonmonotone inductive definitions KU Leuven
Well-known principles of induction include monotone induction and different sorts of nonmonotone induction such as inflationary induction, induction over well-founded sets and iterated induction. In this work, we define a logic formalizing induction over well-founded sets and monotone and iterated induction. Just as the principle of positive induction has been formalized in FO(LFP), and the principle of inflationary induction has been formalized ...
Towards a deeper understanding of nonmonotonic reasoning with degrees Vrije Universiteit Brussel
Nonmonotonic Stress Relaxation after Cessation of Steady Shear Flow in Supramolecular Assemblies Universiteit Hasselt KU Leuven
Stress relaxation upon cessation of shear flow is known to be described by single-mode or multimode monotonic exponential decays. This is considered to be ubiquitous in nature. However, we found that, in some cases, the relaxation becomes anomalous in that an increase in the relaxing stress is observed. Those observations were made for physicochemically very different systems, having in common, however, the presence of self-associating units ...
Adaptive Logic as a Modal Logic Vrije Universiteit Brussel
Modal logics have in the past been used as a unifying framework for the mini- mality semantics used in defeasible inference, conditional logic, and belief revision. The main aim of the present paper is to add adaptive logics, a general framework for a wide range of defeasible reasoning forms developed by Diderik Batens and his co-workers, to the growing list of formalisms that can be studied with the tools and methods of contemporary modal ...
Reiter's default logic is a logic of autoepistemic reasoning and a good one, too KU Leuven
A fact apparently not observed earlier in the literature of nonmonotonic reasoning is that Reiter, in his default logic paper, did not directly formalize informal defaults. Instead, he translated a default into a certain natural language proposition and provided a formalization of the latter. A few years later, Moore noted that propositions like the one used by Reiter are fundamentally different than defaults and exhibit a certain autoepistemic ...
An adaptive logic for rational closure Universiteit Gent
In [12] Lehmann and Magidor study a strong nonmonotonic, so-called rational consequence relation, which extends the preferential consequence relation of [10] by also validating the rule of rational monotonicity. Every rational consequence relation can be semantically represented by a ranked model, and vice versa. To answer for a conditional assertion a→b the question whether it is entailed by a set of conditional assertions K, it is not ...