• Publications
  • Influence
Neural-Symbolic Learning and Reasoning: Contributions and Challenges
TLDR
This paper recalls the main contributions and discusses key challenges for neural-symbolic integration which have been identified at a recent Dagstuhl seminar. Expand
  • 103
  • 4
  • PDF
Joint revision of belief and intention
TLDR
We present a formal semantical model to capture action, belief and intention, based on the "database perspective" and state a representation theorem relating our postulates to the formal model. Expand
  • 44
  • 3
  • PDF
Normality and actual causal strength
Existing research suggests that people's judgments of actual causation can be influenced by the degree to which they regard certain events as normal. We develop an explanation for this phenomenonExpand
  • 33
  • 3
Moorean Phenomena in Epistemic Logic
TLDR
A well-known open problem in epistemic logic is to give a syntactic characterization of the successful and the self-refuting formulas. Expand
  • 55
  • 2
  • PDF
Inclusion and Exclusion in Natural Language
TLDR
An extension of the Monotonicity Calculus, augmented by six new type markings, is sufficient to derive novel inferences beyond monotonicity reasoning and moreover gives rise to an interesting logic of its own. Expand
  • 21
  • 2
Measure semantics and qualitative semantics for epistemic modals
In this paper, we explore semantics for comparative epistemic modals that avoid the entailment problems shown by Yalcin (2006, 2009, 2010) to result from Kratzer’s (1991) semantics. In contrast toExpand
  • 29
  • 2
  • PDF
Beyond Almost-Sure Termination
TLDR
The aim of this paper is to argue that models based on probabilistic computation should not be restricted to those procedures that almost surely (with probability 1) terminate. Expand
  • 5
  • 2
  • PDF
A Topological Study of the Closed Fragment of GLP
TLDR
We study the canonical model for the closed fragment of GLP and establish its precise relationship with a universal model constructed by Ignatiev. Expand
  • 25
  • 1
A Uniform Logic of Information Dynamics
TLDR
We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. Expand
  • 11
  • 1
  • PDF
Iterating semantic automata
TLDR
The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. Expand
  • 15
  • 1
  • PDF
...
1
2
3
4
5
...