Multi-output Ranking for Automated Reasoning.
Daniel KühlweinJosef UrbanEvgeni TsivtsivadzeHerman GeuversTom HeskesPublished in: KDIR (2011)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- reasoning tasks
- ranking algorithm
- decision procedures
- automated verification
- web search
- prime implicants
- learning to rank
- ranking functions
- knowledge representation and reasoning
- computational complexity
- propositional satisfiability
- neural network
- inference rules
- first order logic
- artificial neural networks
- data mining