In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and re knowledge but also updates. The is based on dynamified version of an language extended with assignment operator borrowed from logic, following work Wang Seligman (Proc. AiML 2018). We obtain complete axiomatizations for counterparts public announcement even...

A decade ago Sites and Marshall [1] described the empirical practice of species delimitation as “a Renaissance issue in systematic biology”. At the time there was an odd disconnect be‐ tween the two frequently stated empirical goals systematic biology: the discovery of: (1) monophyletic groups (clades) and relationships within these at all hierarchical levels above species; and (2) lineages (sp...

We report on a case study in the application of partial evaluation, initiated by the desire to speed up a constraint-based algorithm for controlflow analysis. We designed and implemented a dedicated partial evaluator, able to specialize the analysis wrt. a given constraint graph and thus remove the interpretive overhead, and measured it with Feeley’s Scheme benchmarks. Even though the gain turn...

The EPICAL workshop took place as a half-day workshop on the 31 March 2011 and gathered 14 attendees. The workshop ́s program featured: Kurt Schneider: Empirical Methods in RE: Purposes and Pitfalls (Key Note Presentation) Marcus Keutel, Werner Mellis: An In-depth Interpretive Case Study in IS Requirements Engineering Research: Experiences and Recommendations (Paper presentation) Expert Panel wi...

We de ne the static semantics of o ine partial evaluation for the simply-typed lambda calculus using a translation into a Martin-Lof-style type theory with suitable extensions. Our approach clari es that the distinction between specialization-time and run-time computation in partial evaluation can model the phase distinction between compile-time and run-time computation in a module language. W...

The problem of counterfactual attitudes de re was identified by Ninan (2008) as a challenge for standard theories of de re. I show that once counterfactual non-de re attitudes are properly analyzed, trivial composition of such an analysis for them with the analysis of doxastic de re provides the solution to the problem. Thus there is no independent phenomenon of counterfactual attitudes de re, ...

A key challenge faced by children in vocabulary acquisition is learning which of the many possible meanings is appropriate for a word. The word generalization problem refers to how children associate a word such as dog with a meaning at the appropriate category level in the taxonomy of objects, such as Dalmatians, dogs, or animals. We present extensions to a cross-situational learner that enabl...

We present an analysis of parser performance on speech data, comparing word type and token frequency distributions with written data, and evaluating parse accuracy by length of input string. We find that parser performance tends to deteriorate with increasing length of string, more so for spoken than for written texts. We train an alternative parsing model with added speech data and demonstrate...

A particularly important form of token-reflexive symbol is found in the tenses of verbs. The tenses determine time with reference to the time point of the act of speech, i.e., of the token uttered. A closer analysis reveals that the time indication given by the tenses is of a rather complex structure. Let us call the time point of the token the point of speech. Then the three indications, ‘befo...