Login / Signup
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information.
Dirk Fuchs
Published in:
RTA (1998)
Keyphrases
</>
positive and negative
neural network
artificial intelligence
higher level
information sources
contextual information
data sets
social networks
prior knowledge
end users
information sharing
raw data
information fusion
information seeking
information space