Property Invariant Embedding for Automated Reasoning.
Miroslav OlsákCezary KaliszykJosef UrbanPublished in: ECAI (2020)
Keyphrases
- automated reasoning
- knowledge representation
- theorem proving
- reasoning systems
- probabilistic reasoning
- reasoning tasks
- theorem prover
- decision procedures
- automated verification
- knowledge representation and reasoning
- bayesian networks
- neural network
- probability distribution
- belief revision
- first order logic
- description logics
- data mining
- propositional satisfiability