Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots.
Alexei LisitsaAlexei VernitskiPublished in: MACIS (2017)
Keyphrases
- automated reasoning
- b spline
- knowledge representation
- reasoning systems
- theorem proving
- decision procedures
- control points
- theorem prover
- probabilistic reasoning
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- graph cuts
- general purpose
- high level
- artificial intelligence
- cubic spline
- neural network