Semantic graph kernels for automated reasoning

Proceedings of the 11th SIAM International Conference on Data Mining, SDM 2011

Volumn , Issue , 2011, Pages 795-803

  Tsivtsivadze, Evgeni ^a   Urban, Josef ^a   Geuvers, Herman ^a   Heskes, Tom ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; GRAPHIC METHODS; HEURISTIC METHODS; LEARNING SYSTEMS; SEMANTICS;

AUTOMATED REASONING; CONTEXTUAL INFORMATION; EMPIRICAL EVALUATIONS; GEOMETRIC GRAPHS; MIZAR MATHEMATICAL LIBRARIES; REASONING TECHNIQUES; SPECIFIC DETECTION; STATE-OF-THE-ART MACHINE LEARNING METHODS;

DATA MINING;

EID: 84867683633     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1137/1.9781611972818.68     Document Type: Conference Paper

References (28)

1. K. Appel, W. Haken, and J. Koch. Every planar map is four colorable. Illinois Journal of Mathematics, 21:429-567, 1977.
2. Gökhan H. Bakir, Alexander Zien, and Koji Tsuda. Learning to find graph pre-images. In Carl Edward Rasmussen, Heinrich H. Bülthoff, Bernhard Schölkopf, and Martin A. Giese, editors, Pattern Recognition, 26th DAGM Symposium, volume 3175 of Lecture Notes in Computer Science, pages 253-261. Springer, 2004.
3. Karsten M. Borgwardt, Hans-Peter Kriegel, S. V. N. Vishwanathan, and Nicol N. Schraudolph. Graph kernels for disease outcome prediction from proteinprotein interaction networks. In Pacific Symposium on Biocomputing (PSB), volume 12, pages 4-15, Maui, Hawaii, 2007. World Scientific.
4. Corinna Cortes and Mehryar Mohri. AUC optimization vs. error rate minimization. In Sebastian Thrun, Lawrence Saul, and Bernhard Schölkopf, editors, Advances in Neural Information Processing Systems 16, Cambridge, MA, 2004. MIT Press.
5. Nello Cristianini, John Shawe-Taylor, and Huma Lodhi. Latent semantic kernels. Journal of Intelligent Information Systems, 18(2-3):127-152, 2002.
6. Scott Deerwester, Susan T. Dumais, George W. Furnas, Thomas, and Richard Harshman. Indexing by latent semantic analysis. Journal of the American Society for Information Science, 41:391-407, 1990.
7. Janez Demšar. Statistical comparisons of classifiers over multiple data sets. Journal of Machine Learning Research, 7:1-30, 2006.
8. Glenn Fung and Olvi L. Mangasarian. Proximal support vector machine classifiers. In ACM SIGKDD International Conference on Knowledge Discovery and Data mining, pages 77-86, New York, NY, USA, 2001. ACM.
9. Thomas Gärtner. A survey of kernels for structured data. SIGKDD Explorations, 2003.
10. Thomas Gärtner, Peter A. Flach, and Stefan Wrobel. On graph kernels: Hardness results and efficient alternatives. In Bernhard Schölkopf and Manfred K. Warmuth, editors, Sixteenth Annual Conference on Computational Learning Theory, volume 2777 of Lecture Notes in Computer Science, pages 129-143, 2003.
11. Tony Van Gestel, Johan A. K. Suykens, Bart Baesens, Stijn Viaene, Jan Vanthienen, Guido Dedene, Bart De Moor, and Joos Vandewalle. Benchmarking least squares support vector machine classifiers. Machine Learning, 54(1):5-32, 2004.
12. Thomas C. Hales and Samuel P. Ferguson. A formulation of the kepler conjecture. Discrete & Computational Geometry, 36(1):21-69, 2006.
13. Jia Meng and Lawrence C. Paulson. Lightweight relevance filtering for machine-generated resolution problems. Journal of Applied Logic, 7(1):41-57, 2009.
14. I. Niles and A. Pease. Towards A Standard Upper Ontology. In C. Welty and B. Smith, editors, Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, pages 2-9, 2001.
15. K. Panton, C. Matuszek, D. Lenat, D. Schneider, M. Witbrock, N. Siegel, and B. Shepard. Common Sense Reasoning - From Cyc to Intelligent Assistant. In Y. Cai and J. Abascal, editors, Ambient Intelligence in Everyday Life, number 3864 in Lecture Notes in Artificial Intelligence, pages 1-31. Springer-Verlag, 2006.
16. Ryan Rifkin, Gene Yeo, and Tomaso Poggio. Regularized least-squares classification. In J.A.K. Suykens, G. Horvath, S. Basu, C. Micchelli, and J. Vandewalle, editors, Advances in Learning Theory: Methods, Model and Applications, pages 131-154, Amsterdam, 2003. IOS Press.
17. Craig Saunders, Alexander Gammerman, and Volodya Vovk. Ridge regression learning algorithm in dual variables. In Proceedings of the 15th International Conference on Machine Learning, pages 515-521, San Francisco, CA, USA, 1998. Morgan Kaufmann Publishers Inc.
18. Bernhard Schölkopf, Ralf Herbrich, and Alex J. Smola. A generalized representer theorem. In David P. Helmbold and Bob Williamson, editors, Proceedings of the 14th Annual Conference on Computational Learning Theory, pages 416-426, London, 2001. Springer.
19. Bernhard Scholkopf and Alexander J. Smola. Learning with Kernels: Support Vector Machines, Regularization, Optimization, and Beyond. MIT Press, Cambridge, MA, USA, 2001.
20. S. Schulz. E - a brainiac theorem prover. Journal of AI Communications, 15(2-3):111-126, 2002.
21. Geoff Sutcliffe and Yury Puzis. Srass - a semantic relevance axiom selection system. In Frank Pfenning, editor, CADE, volume 4603 of Lecture Notes in Computer Science, pages 295-310. Springer, 2007.
22. J. A. K. Suykens and J. Vandewalle. Least squares support vector machine classifiers. Neural Processing Letters, 9(3):293-300, 1999.
23. Josef Urban, Krystof Hoder, and Andrei Voronkov. Evaluation of automated theorem proving on the mizar mathematical library. In ICMS, pages 155-166, 2010.
24. Josef Urban, Geoff Sutcliffe, Petr Pudlák, and Jirí Vyskocil. MaLARea sg1-machine learner for automated reasoning with semantic guidance. In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors, IJCAR, volume 5195 of Lecture Notes in Computer Science, pages 441-456. Springer, 2008.
25. Vladimir Vapnik. Statistical Learning Theory. Wiley, New York, 1998.
26. S.V.N. Vishwanathan, Nicol N. Schraudolph, Risi Kondor, and Karsten M. Borgwardt. Graph kernels. Journal of Machine Learning Research, 11:1201-1242, 2010.
27. Freek Wiedijk, editor. The Seventeen Provers of the World, Foreword by Dana S. Scott, volume 3600 of Lecture Notes in Computer Science. Springer, 2006.
28. Peng Zhang and Jing Peng. SVM vs regularized least squares classification. In Josef Kittler, Maria Petrou, and Mark Nixon, editors, Proceedings of the 17th International Conference on Pattern Recognition (ICPR'04) Volume 1, pages 176-179, Washington, DC, USA, 2004. IEEE Computer Society.