Automated Reasoning Service for HOL Light.
Cezary KaliszykJosef UrbanPublished in: MKM/Calculemus/DML (2013)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- reasoning systems
- decision procedures
- knowledge representation
- first order logic
- inference rules
- knowledge representation and reasoning
- service providers
- reasoning tasks
- automated verification
- higher order logic
- natural deduction
- probabilistic reasoning
- neural network
- prime implicants
- web services
- artificial intelligence
- formal methods
- probabilistic model