Homepage
Martin Suda
Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Building E1 5, Room 606
Campus E1 4,
66123 Saarbrücken
Germany
Email:
Get my email address via email
Phone: +49 681 9325 222
- Automated deduction
- Linear temporal logic and symbolic reachability analysis
- Formal analysis of authorization policies
- Reasoning in large ontologies
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
Suda M., Weidenbach C., in IJCAR 2012 (eds. B. Gramlich, D. Miller, and U. Sattler), LNAI 7364, pp. 537-543. Springer, Heidelberg (2012)
- Labelled Superposition for PLTL
Suda M., Weidenbach C., in LPAR-18 (eds. N. Björner and A. Voronkov), LNCS 7180, pp. 391-405. Springer, Heidelberg (2012)
- On the Saturation of YAGO
Suda M., Weidenbach C., Wischnewski P., in 5th International Joint Conference on Automated Reasoning, IJCAR 2010 (eds. J. Giesl, R. Hähnle), LNCS 6173, pp. 441-456. Springer, Heidelberg (2010)
- Progress Towards Effective Automated Reasoning with World Knowledge
G. Sutcliffe, M. Suda, A. Teyssandier, N. Dellis, G. de Melo, in Proceedings of the 23rd International FLAIRS Conference, AAAI Press, Menlo Park, CA, USA. (2010)
- External Sources of Axioms in Automated Theorem Proving
M. Suda, G. Sutcliffe, P. Wischnewski, M. Lamotte-Schubert, G. de Melo, in Proceedings of the 32nd Annual Conference on Artificial Intelligence (eds. B. Mertsching), LNAI 5803, pp. 281-288. Springer, Heidelberg (2009)
- SPASS Version 3.5
C. Weidenbach, D. Dimova, A. Fietzke, R. Kumar, M. Suda, and P. Wischnewski, in Automated Deduction - CADE-22 Proceedings (eds. R. A. Schmidt), LNCS (LNAI), vol. 5663, pp. 140-145. Springer, Heidelberg (2009)
- Relevancy Zones for Lambda Search in Rigid Board Games
M. Suda, in WDS'08 Proceedings of Contributed Papers: Part I - Mathematics and Computer Sciences (eds. J. Safrankova and J. Pavlu), pp. 151-158. Matfyzpress , Prague (2008)
