Automated Reasoning with Restricted Intensional Sets.
Maximiliano CristiáGianfranco RossiPublished in: J. Autom. Reason. (2021)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- reasoning tasks
- theorem prover
- probabilistic reasoning
- decision procedures
- knowledge representation and reasoning
- proof theory
- automated verification
- prime implicants
- machine learning
- query evaluation
- graphical models
- state space
- data model
- pairwise
- high level
- propositional satisfiability
- image segmentation
- neural network