-
Pragmatic vs. Grammatical Mode: Utterance Internal Hierarchy (UIH) in Hebrew ...
I show (a) the correlations between intonation, prosody and pragmatic constituent order as far as UIH is concerned, and the iconic link between them; (b) that those... -
Deciding knowledge in security protocols under equational theories
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often... -
Introduction to the Rewriting Calculus
The $\rho$-calculus is a new calculus that integrates in a uniform and simple setting first-order rewriting, $\lambda$-calculus and non-deterministic computations.... -
ELAN
Colloque sur invitation. nationale. -
Combining logic and optimization in cutting plane theory
Colloque avec actes et comité de lecture. internationale. -
Acquisition de connaissances et raisonnement en logique propositionnelle
We study the algorithmics of two central problems in Artificial Intelligence, for knowledge bases represented, in particular, by propositional Horn, bijunctive,... -
Deciding knowledge in security protocols under equational theories
National audience
