Login / Signup
Reflection in Constructive and Non-constructive Automated Reasoning.
Fausto Giunchiglia
Alan Smaill
Published in:
META (1988)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem prover
theorem proving
decision procedures
reasoning tasks
bayesian networks
expert systems
probabilistic reasoning
neural network
machine learning
reinforcement learning
back propagation
propositional satisfiability