HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexander Steen

Publications
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, embedding, higher-order logic3, Higher-Order Modal Logic, hybrid logic, nominal logic, paramodulation, Semantical Embedding, system description.

Copyright © 2012-2018 easychair.org. All rights reserved.