Login / Signup
4-valued Reasoning with Stratified Bilattices.
Hisashi Komatsu
Published in:
PACLIC (2000)
Keyphrases
</>
knowledge representation
automated reasoning
knowledge acquisition
machine learning
reasoning systems
neural network
production rules
case based reasoning
multi agent
case study
rule based reasoning
real world
reasoning tasks
reasoning process
databases
formal models
scientific discovery