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