HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:system description

Publications
A Tool for Reasoning about Trust and Belief
Aaron Hunter and Alberto Iglesias
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Leo-III Version 1.1 (System description)
Christoph Benzmüller, Alexander Steen and Max Wisniewski
In:IWIL Workshop and LPAR Short Presentations
MetTeL<sup>2</sup>: Towards a Tableau Prover Generation Platform
Dmitry Tishkovsky, Renate A. Schmidt and Mohammad Khodadadi
In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
Copyright © 2012-2025 easychair.org. All rights reserved.