Automatic acquisition of search control knowledge from multiple proof attempts

Authors:
Jörg Denzinger;Stephan Schulz
Affiliations:
Univ. Kaiserslautern, Kaiserslautern, Germany;Technische Univ. Müchen, Müchen, Germany
Venue:
Information and Computation
Year:
2000

Citing 0
Cited 2

Learning Search Control Knowledge for Equational Theorem Proving

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Neural networks for proof-pattern recognition

ICANN'12 Proceedings of the 22nd international conference on Artificial Neural Networks and Machine Learning - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract