Aximo: Automated Axiomatic Reasoning for Information Update.

Simon Richards Mehrnoosh Sadrzadeh

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

reasoning process
information sources
data sets
machine learning
prior knowledge
information sharing
real time
social networks
knowledge base
keywords
computer systems
context aware
background knowledge
raw data
information overload