EasyChair Publications
Search
Author Information
Author:Renate A. Schmidt

Publications

AuthorsTitleVolumePDF
Ullrich Hustadt and Renate A. SchmidtA Comparison of Solvers for Propositional Dynamic LogicRenate A. Schmidt, Stephan Schulz and Boris Konev (editors). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 9)
Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt and Dmitry TishkovskySynthesising and Implementing Tableau Calculi for Interrogative Epistemic LogicsPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Dmitry Tishkovsky, Renate A. Schmidt and Mohammad KhodadadiMetTeL2: Towards a Tableau Prover Generation PlatformPascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors). PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning (EPiC Series in Computing, Volume 21)
Renate A. Schmidt, Stephan Schulz and Boris Konev (editors)PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated ReasoningEPiC Series, Volume 9
Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors)PAAR-2012. Third Workshop on Practical Aspects of Automated ReasoningEPiC Series, Volume 21

Keyphrases

CountKeyphrase
1benchmarking, decision procedures, dynamic epistemic logic of questions, interrogative epistemic logic, logic, mettel2, propositional dynamic logic, system description, tableau calculus, tableau decision procedure, tableau prover generator, tableau synthesis framework