Alexander Steen

Identifiers

• name variant Alexander Steen 0.60 · backfill

Papers (6)

1. The TPTP Format for Interpretations cs.LO · 2024 · author #2
2. An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic cs.LO · 2023 · author #2
3. Solving Quantified Modal Logic Problems by Translation to Classical Logics cs.LO · 2022 · author #1
4. On Reductions of Hintikka Sets for Higher-Order Logic cs.LO · 2020 · author #1
5. The Higher-Order Prover Leo-III (Extended Version) cs.AI · 2018 · author #1
6. LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners cs.LO · 2015 · author #2

Mentions

• 1505.01629 #2 · backfill · confidence 0.70 Alexander Steen
• 2004.07506 #1 · arxiv_oai · confidence 0.70 Alexander Steen
• 2406.06108 #2 · arxiv_oai · confidence 0.70 Alexander Steen

Frequent Coauthors

• Christoph Benzm\"uller 4 shared papers
• Geoff Sutcliffe 2 shared papers
• Antoine Martina 1 shared papers
• Lydia Kondylidou 1 shared papers
• Max Wisniewski 1 shared papers
• Pascal Fontaine 1 shared papers