Author:Alexander Steen

Publications
A Chat with Bard Geoff Sutcliffe, Jack McKeown and Alexander Steen EasyChair Preprint no. 10329
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
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
Leo-III Version 1.1 (System description) Christoph Benzmüller, Alexander Steen and Max Wisniewski In:IWIL Workshop and LPAR Short Presentations
Going Polymorphic - TH1 Reasoning for Leo-III Alexander Steen, Max Wisniewski and Christoph Benzmüller 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, embedding, higher-order logic³, Higher-Order Modal Logic, hybrid logic, interpretations, logic, nominal logic, paramodulation, Semantical Embedding, system description, TPTP², verification.