Author:Alexander Steen

Publications
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint 10329
Selected Student Contributions and Workshop Papers of LuxLogAI 2018 Christoph Benzmüller, Xavier Parent and Alexander Steen (editors) Kalpa Publications in Computing, volume 10
GCAI-2018. 4th Global Conference on Artificial Intelligence Daniel Lee, Alexander Steen and Toby Walsh (editors) EPiC Series in Computing, volume 55
Experiments on Automating Boolos' Curious Inference Alexander Steen and Melanie Taprogge In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic Melanie Taprogge, Frédéric Blanqui and Alexander Steen In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Going Polymorphic - TH1 Reasoning for Leo-III Alexander Steen, Max Wisniewski and Christoph Benzmüller In:IWIL Workshop and LPAR Short Presentations
Leo-III Version 1.1 (System description) Christoph Benzmüller, Alexander Steen and Max Wisniewski In:IWIL Workshop and LPAR Short Presentations
Capability Discovery for Automated Reasoning Systems Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller In:IWIL Workshop and LPAR Short Presentations
Theorem Provers For Every Normal Modal Logic Tobias Gleißner, Alexander Steen and Christoph Benzmüller In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL Alexander Steen, Max Wisniewski and Christoph Benzmüller In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic Max Wisniewski and Alexander Steen In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Keyphrases

automated theorem prover, automated theorem proving², Bard, Boolos' curious inference, cut-introduction, embedding, higher-order logic⁵, Higher-Order Modal Logic, hybrid logic, interpretations, logic, nominal logic, paramodulation, proof length, proof verification, Semantical Embedding, system description, TPTP², verification.