The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alexander Steen" ( http://dblp.L3S.de/Authors/Alexander_Steen )

  Author page on DBLP  Author page in RDF  Community of Alexander Steen in ASPL-2

Publication years (Num. hits)
2014-2018 (20) 2019 (4)
Publication types (Num. hits)
article(3) inproceedings(18) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 25 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexander Steen, Christoph Benzmüller Extensional Higher-Order Paramodulation in Leo-III. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III (Extended Abstract). Search on Bibsonomy KI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomer Libal, Alexander Steen NAI: The Normative Reasoner. Search on Bibsonomy ICAIL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Benzmüller, Xavier Parent, Alexander Steen (eds.) Selected Student Contributions and Workshop Papers of LuxLogAI 2018 Search on Bibsonomy LuxLogAI (Student / Workshop Papers) The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller System Demonstration: The Higher-Order Prover Leo-III. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller The Higher-Order Prover Leo-III. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel D. Lee, Alexander Steen, Toby Walsh (eds.) GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018 Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Tobias Gleißner, Alexander Steen The MET: The Art of Flexible Reasoning with Modalities. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexander Steen Extensional paramodulation for higher-order logic and its effective implementation Leo-III. Search on Bibsonomy 2018   RDF
1Tobias Gleißner, Alexander Steen, Christoph Benzmüller Theorem Provers For Every Normal Modal Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Going Polymorphic - TH1 Reasoning for Leo-III. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller Capability Discovery for Automated Reasoning Systems. Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christoph Benzmüller, Alexander Steen, Max Wisniewski Leo-III Version 1.1 (System description). Search on Bibsonomy IWIL@LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Agent-Based HOL Reasoning. Search on Bibsonomy ICMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller Effective Normalization Techniques for HOL. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tomer Libal, Alexander Steen Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller TPTP and Beyond: Representation of Quantified Non-Classical Logics. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Einsatz von Theorembeweisern in der Lehre. Search on Bibsonomy HDI The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexander Steen, Max Wisniewski, Christoph Benzmüller Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Wisniewski, Alexander Steen, Christoph Benzmüller LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. Search on Bibsonomy CICM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Wisniewski, Alexander Steen Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. Search on Bibsonomy ARQNL@IJCAR The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license