HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Max Wisniewski

Publications
Going Polymorphic - TH1 Reasoning for Leo-III
Alexander Steen, Max Wisniewski and Christoph Benzmüller
In:IWIL Workshop and LPAR Short Presentations
Leo-III Version 1.1 (System description)
Christoph Benzmüller, Alexander Steen and Max Wisniewski
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
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, embedding, higher-order logic2, hybrid logic, nominal logic, paramodulation, system description.

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