Login / Signup
Establishing trust in automated reasoning.
Konrad Hinsen
Published in:
CoRR (2023)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
decision procedures
theorem proving
probabilistic reasoning
theorem prover
reasoning tasks
propositional satisfiability
automated verification
knowledge representation and reasoning
logical implication
search space
dynamic programming
belief networks