A Logical Framework for Identifying and Explaining Unexpected News.

Published in: Comput. Artif. Intell. (2006)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
news articles
possibilistic logic
description logics
news stories
higher order logic
learning algorithm
epistemic logic
linear logic