Results 61-70 of 70.
Bookmark and Share    
Full Text
Peer Reviewed
See detailTutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Steen, Alexander UL; Wisniewski, Max; Benzmüller, Christoph UL

in Benzmüller, Christoph; Sutcliffe, Geoff; Rojas, Raul (Eds.) GCAI 2016, 2nd Global Conference on Artificial Intelligence (2016, September 29)

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailAgent-Based HOL Reasoning
Steen, Alexander UL; Wisniewski, Max; Benzmüller, Christoph UL

in Greuel, GM; Koch, T; Paule, P (Eds.) et al Mathematical Software -- ICMS 2016, 5th International Congress, Proceedings (2016, July)

Detailed reference viewed: 81 (0 UL)
Full Text
Peer Reviewed
See detailEffective Normalization Techniques for HOL
Wisniewski, Max; Steen, Alexander UL; Kern, Kim et al

in Olivetti, Nicola; Tiwari, Ashish (Eds.) Automated Reasoning --- 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings (2016, June)

Detailed reference viewed: 78 (0 UL)
Full Text
Peer Reviewed
See detailSweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Steen, Alexander UL; Benzmüller, Christoph UL

in Logic and Logical Philosophy (2016), 25(4), 535-554

Detailed reference viewed: 65 (0 UL)
See detailLeo-III
Steen, Alexander UL; Wisniewski, Max; Benzmüller, Christoph UL

Software (2016)

Detailed reference viewed: 57 (4 UL)
Full Text
Peer Reviewed
See detailEinsatz von Theorembeweisern in der Lehre
Wisniewski, Max; Steen, Alexander UL; Benzmüller, Christoph UL

in Schwill, Andreas; Lucke, Ulrike (Eds.) Hochschuldidaktik der Informatik: 7. Fachtagung des GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik; 13.-14. September 2016 an der Universität Potsdam (2016)

Detailed reference viewed: 44 (0 UL)
Full Text
Peer Reviewed
See detailThere Is No Best Beta-Normalization Strategy for Higher-Order Reasoners
Steen, Alexander UL; Benzmüller, Christoph UL

in Davis, Martin; Fehnker, Ansgar; McIver, Annabelle (Eds.) et al Logic for Programming, Artificial Intelligence, and Reasoning (LPAR) (2015, November)

Detailed reference viewed: 122 (0 UL)
Full Text
Peer Reviewed
See detailLeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners
Wisniewski, Max; Steen, Alexander UL; Benzmüller, Christoph UL

in Kerber, Manfred; Carette, Jacques; Kaliszyk, Cezary (Eds.) et al Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (2015, June)

Detailed reference viewed: 81 (0 UL)
Full Text
See detailComputational Metaphysics
Benzmüller, Christoph UL; Wisniewski, Max; Steen, Alexander UL

Report (2015)

Detailed reference viewed: 64 (0 UL)
Full Text
Peer Reviewed
See detailThe Leo-III Project
Wisniewski, Max; Steen, Alexander UL; Benzmüller, Christoph UL

in Bolotov, Alexander; Kerber, Manfred (Eds.) Proceedings of the Joint Automated Reasoning Workshop and Deduktionstreffen: As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014 (2014)

Detailed reference viewed: 42 (0 UL)