SIGACT news logic column 21.

Riccardo Pucella

Published in: SIGACT News (2010)

Keyphrases

modal logic
logic programming
news articles
news stories
multi valued
predicate logic
online news
news items
automated reasoning
defeasible logic
hot topics
real time
artificial intelligence
theorem proving
logical framework
classical logic