SIGACT news logic column 14.

Riccardo Pucella

Published in: SIGACT News (2005)

Keyphrases

news articles
multi valued
automated reasoning
news stories
real time
predicate logic
classical logic
logic programming
keywords
databases
epistemic logic
asynchronous circuits
modal logic
social media
machine learning
logical framework
news video
nonmonotonic logics
database
online news
delay insensitive