Login / Signup
Information About a Given Entity: From Semantics Towards Automated Deduction.
Robert Demolombe
Luis Fariñas del Cerro
Published in:
J. Log. Comput. (2010)
Keyphrases
</>
automated deduction
data sets
information sources
graphical representation
machine learning
database systems
keywords
prior knowledge
end users
information sharing
temporal information