VizAR: Visualization of Automated Reasoning Proofs (System Description).
Jan JakubuvCezary KaliszykPublished in: CICM (2023)
Keyphrases
- automated reasoning
- theorem proving
- theorem prover
- decision procedures
- reasoning systems
- reasoning tasks
- probabilistic reasoning
- knowledge representation
- inference rules
- first order logic
- automated verification
- data analysis
- propositional satisfiability
- high level
- np complete
- probability distribution
- special case
- prime implicants
- neural network