Automated Reasoning with Restricted Intensional Sets.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2019)

Keyphrases

automated reasoning
theorem prover
reasoning systems
knowledge representation
decision procedures
probabilistic reasoning
reasoning tasks
theorem proving
automated verification
proof theory
neural network
knowledge representation and reasoning
propositional satisfiability
bayesian networks