( en | de | ru )

 

Disambiguation of "Steen, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018

, , and (Eds.) volume 55 of EPiC Series in Computing, EasyChair, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mareike Steen

Henrikus Steen

Lieselotte Steen

Steen Magnussen

Barbara Steen

 

Other publications of authors with the same name

The Higher-Order Prover Leo-III., and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2937-2938. IOS Press, (2020)Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.. Künstliche Intell., 34 (1): 105-108 (2020)Solving Modal Logic Problems by Translation to Higher-Order Logic., , , and . CLAR, volume 14156 of Lecture Notes in Computer Science, page 25-43. Springer, (2023)Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic., and . ARQNL@IJCAR, volume 33 of EPiC Series in Computing, page 59-64. EasyChair, (2014)On Reductions of Hintikka Sets for Higher-Order Logic., and . CoRR, (2020)Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)., and . CoRR, (2022)Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers., , , and . CoRR, (2022)Automation of Boolos' Curious Inference in Isabelle/HOL., , , and . Arch. Formal Proofs, (2022)An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper).. PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Automated Reasoning in Non-classical Logics in the TPTP World., , , , and . PAAR@IJCAR, volume 3201 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)