Publicaties
Gekozen filters:
Gekozen filters:
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief Universiteit Gent
An inconsistency-adaptive deontic logic for normative conflicts Universiteit Gent
Causal reasoning in a logic with possible causal process semantics KU Leuven
We point to several kinds of knowledge that play an important role in controversial examples of actual causation. One is knowledge about the causal mechanisms in the domain and the causal processes that result from them. Another is knowledge of what conditions trigger such mechanisms and under what conditions it can be preempted.We argue that to solve questions of actual causation, such knowledge needs to be made explicit. To this end, we ...
Answer Set Programming's contributions to classical logic KU Leuven
Much research in logic programming and non-monotonic reasoning originates from dissatisfaction with classical logic as a knowledge representation language, and with classical deduction as a mode for automated reasoning. Discarding these classical roots has generated many interesting and fruitful ideas. However, to ensure the lasting impact of the results that have been achieved, it is important that they should not remain disconnected from their ...
A compositional typed higher-order logic with definitions KU Leuven
Expressive KR languages are built by integrating different language constructs, or extending a language with new language constructs. This process is difficult if non-truth-functional or non-monotonic constructs are involved. What is needed is a compositional principle. This paper presents a compositional principle for defining logics by modular composition of logical constructs, and applies it to build a higher order logic integrating typed ...
An Adaptive Logic for the Formal Explication of Scalar Implicatures Universiteit Gent
Hearers get at the intended meaning of uncooperative utterances (i.e. utterances that conflict with the prescriptions laid down by the Gricean maxims) by pragmatically deriving sentences that reconcile these utterances with the maxims. Such pragmatic derivations are made according to pragmatic rules called implicatures. As they are pragmatic in nature, the conclusions drawn by applying implicatures remain uncertain. In other words, they may have ...