The Completeness of Presupposition-Free Tense Logic.

Robert F. Barnes Raymond D. Gumb

Published in: Math. Log. Q. (1979)

Keyphrases

logic programming
automated reasoning
classical logic
temporal relations
predicate logic
data quality
modal logic
order sorted
data sets
computational properties
probabilistic logic
multi valued
knowledge representation
relational databases
feature selection
information systems
search engine
neural network