On Specialization of Derivations in Axiomatic Equality Theories.

Aida Pliuskeviciene Regimantas Pliuskevicius Michal Walicki Sigurd Meldal

Published in: LFCS (1994)

Keyphrases

decision theory
cognitive psychology
decision trees
theoretical framework
inference rules
artificial intelligence
expert systems
artificial neural networks
domain knowledge
causal reasoning