Login / Signup
MOOD: A Knowledgebase System with Objectoriented Deduction.
Rudolf Bayer
Published in:
DASFAA (1991)
Keyphrases
</>
theorem proving
inference rules
emotional state
formal representation
artificial intelligence
artificial neural networks
probabilistic model
automated deduction
computer algebra
machine learning
image processing
knowledge representation
heterogeneous sources
automated theorem proving