2 citations · 7 across the 4 of their papers we have counts for
1 paper · 1 filter
Bernd Ludwig, Guenther Goerz, Heinrich Niemann
We outline how utterances in dialogs can be interpreted using a partial first order logic. We exploit the capability of this logic to talk about the truth status of formulae to def…