Author:Renate A. Schmidt

Publications
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
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
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
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
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
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.