References of "Steen, Alexander 50031912"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailHigher-Order Theorem Proving and its Applications
Steen, Alexander UL

in IT-Information Technology (in press)

Detailed reference viewed: 43 (2 UL)
See detailRuleML+RR 2019 Doctoral Consortium and Rule Challenge
Soylu, Ahmet; Moschoyiannis, Sotiris; Governatori, Guido et al

Book published by CEUR-WS.org (2019)

Detailed reference viewed: 4 (0 UL)
See detailChallenges in Higher-Order Theorem Proving
Steen, Alexander UL

Article for general public (2019)

Detailed reference viewed: 14 (1 UL)
Full Text
Peer Reviewed
See detailNAI: The Normative Reasoner
Libal, Tomer UL; Steen, Alexander UL

in Bex, Floris (Ed.) Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law (2019)

Detailed reference viewed: 4 (0 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III (Extended Abstract)
Steen, Alexander UL; Benzmüller, Christoph UL

in Benzmüller, Christoph; Stuckenschmidt, Heiner (Eds.) {KI} 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings (2019)

Detailed reference viewed: 11 (0 UL)
Full Text
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

Book published by AKA-Verlag (2018)

Detailed reference viewed: 41 (2 UL)
See detailGCAI-2018. 4th Global Conference on Artificial Intelligence
Lee, Daniel; Steen, Alexander UL; Walsh, Toby

Book published by EasyChair (2018)

Detailed reference viewed: 22 (3 UL)
Full Text
Peer Reviewed
See detailThe Higher-Order Prover Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

in Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings (2018)

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

Software (2016)

Detailed reference viewed: 21 (2 UL)