Author:Renate A. Schmidt

Publications
PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors) EPiC Series in Computing, volume 21
PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning Renate A. Schmidt, Stephan Schulz and Boris Konev (editors) EPiC Series in Computing, volume 9
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic Ruba Alassaf and Renate A. Schmidt In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt and Dmitry Tishkovsky In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
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
A Comparison of Solvers for Propositional Dynamic Logic Ullrich Hustadt and Renate A. Schmidt In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning

Keyphrases

Ackermann's Lemma, Benchmarking, decision procedures, Dynamic Epistemic Logic of Questions, first-order logic, forgetting, Interrogative Epistemic Logic, logic, Mettel2, propositional dynamic logic, system description, tableau calculus, tableau decision procedure, tableau prover generator, tableau synthesis framework.