Logics of Common Ground.

Tim Miller Jens Pfau Liz Sonenberg Yoshihisa Kashima

Published in: J. Artif. Intell. Res. (2017)

Keyphrases

expressive power
modal logic
inference rules
nonmonotonic logics
classical logic
propositional calculus
definite clause
data sets
real world
knowledge base
evolutionary algorithm
conditional logic