Logic, Language, Information and Computation.

Ruy J. G. B. de Queiroz Dexter Kozen

Published in: Theor. Comput. Sci. (2006)

Keyphrases

logic programming
information overload
keywords
prior knowledge
higher level
user interaction
context dependent
database
data sets
databases
natural language
information sources
information processing
temporal information
structural information