LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)
Christoph BenzmüllerJohn HarrisonCarsten SchürmannPublished in: CoRR (2006)
Keyphrases
- automated reasoning
- higher order logic
- theorem prover
- theorem proving
- reasoning systems
- reasoning tasks
- higher order
- inference rules
- logical framework
- conditional logic
- first order logic
- knowledge representation and reasoning
- neural network
- probabilistic reasoning
- data mining
- logic programming
- software engineering
- knowledge representation