( en | de | ru )

 

Disambiguation of "Steen, Alexander"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.

, and . PAAR@IJCAR, volume 1635 of CEUR Workshop Proceedings, page 82-94. CEUR-WS.org, (2016)

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.

Steen Meyer

Klaus Steen

Henrikus Steen

Lieselotte Steen

Steen Magnussen

 

Other publications of authors with the same name

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.. Künstliche Intell., 34 (1): 105-108 (2020)The Higher-Order Prover Leo-III., and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2937-2938. IOS Press, (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)On Reductions of Hintikka Sets for Higher-Order Logic., and . CoRR, (2020)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)Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers., , , and . CoRR, (2022)Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)., and . CoRR, (2022)Automation of Boolos' Curious Inference in Isabelle/HOL., , , and . Arch. Formal Proofs, (2022)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)