Renate A. Schmidt

172 papers A* 11A 18B 24C 3Misc 1Journal 41Unranked 57

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	GenOM: ontology matching with description generation and large language models. World Wide Web (WWW) Yiping Song, Jiaoyan Chen, Renate A. Schmidt
2025	J	`jnl`	Computing Witnesses Using the SCAN Algorithm (Extended Preprint). CoRR Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
2025	A	`conf`	Computing Witnesses Using the SCAN Algorithm. CADE Fabian Achammer, Stefan Hetzl, Renate A. Schmidt
2025	—	`conf`	GenOM: Ontology Matching with Description Generation and Large Language Model. OM@ISWC Yiping Song, Jiaoyan Chen, Renate A. Schmidt
2025	J	`jnl`	GenOM: Ontology Matching with Description Generation and Large Language Model. CoRR Yiping Song, Jiaoyan Chen, Renate A. Schmidt
2025	A	`conf`	OntoLDiff: A Highly Efficient System for Tracking Logical Difference in Large-Scale Ontologies. CIKM Yizheng Zhao, Renate A. Schmidt
2025	B	`conf`	Refined Tableau Systems for Some Modal Logics of Confluence. TABLEAUX Kiana Samadpour Motalebi, Renate A. Schmidt, Cláudia Nalon
2025	A	`conf`	Uniform Interpolation and Forgetting for Large-Scale Ontologies with Application to Semantic Difference in SNOMED CT. CADE Yizheng Zhao, Junyi Zhang, Renate A. Schmidt
2024	—	`ed.`	Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I IJCAR (1) Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt
2024	—	`ed.`	Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II IJCAR (2) Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt
2023	B	`conf`	Focus Set Semantic Differences. K-CAP Ghadah Abdulrahman S. Alghamdi, Renate A. Schmidt, Yongsheng Gao
2023	—	`conf`	International Patient Summary Terminology. MedInfo Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao, Ghadah Alghamdi, Alejandro Lopez Osornio, Suzy Roy
2023	J	`jnl`	Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments. J. Autom. Reason. Sen Zheng, Renate A. Schmidt
2022	—	`conf`	Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). ARQNL@IJCAR Renate A. Schmidt
2022	—	`conf`	Extracting Subontologies from SNOMED CT. ESWC (Satellite Events) Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao
2022	—	`conf`	Fine-Grained Forgetting for the Description Logic ALC. Description Logics Mostafa Sakr, Renate A. Schmidt
2022	—	`conf`	Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract). Description Logics Renate A. Schmidt
2022	B	`conf`	Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML Ruba Alassaf, Renate A. Schmidt, Uli Sattler
2022	J	`jnl`	Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments. CoRR Sen Zheng, Renate A. Schmidt
2021	—	`conf`	Concept Description and Definition Extraction for the ANEMONE System. EMAS@AAMAS David Toluhi, Renate A. Schmidt, Bijan Parsia
2021	J	`jnl`	Integrated Deduction (Dagstuhl Seminar 21371). Dagstuhl Reports Maria Paola Bonacina, Philipp Rümmer, Renate A. Schmidt
2021	—	`ed.`	Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021 Description Logics Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt
2021	—	`ed.`	Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. SOQE@KR Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao
2021	—	`conf`	Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic K SOQE@KR Ruba Alassaf, Renate A. Schmidt, Uli Sattler
2021	—	`conf`	Semantic Forgetting in Expressive Description Logics. FroCoS Mostafa Sakr, Renate A. Schmidt
2021	A	`conf`	Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. CIKM Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
2021	—	`conf`	Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. Description Logics Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
2021	—	`conf`	Upwardly Abstracted Definition-Based Subontologies. Description Logics Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao
2021	B	`conf`	Upwardly Abstracted Definition-Based Subontologies. K-CAP Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao
2020	A*	`conf`	A Practical Approach to Forgetting in Description Logics with Nominals. AAAI Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng
2020	J	`jnl`	Blocking and Other Enhancements for Bottom-Up Model Generation Methods. J. Autom. Reason. Peter Baumgartner, Renate A. Schmidt
2020	A*	`conf`	Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. AAAI Sen Zheng, Renate A. Schmidt
2020	J	`jnl`	Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. CoRR Sen Zheng, Renate A. Schmidt
2020	—	`conf`	Protege-TS: An OWL Ontology Term Selection Tool. Description Logics Ian Hyland, Renate A. Schmidt
2020	J	`jnl`	Querying Guarded Fragments via Resolution. CoRR Sen Zheng, Renate A. Schmidt
2020	—	`conf`	Querying the Guarded Fragment via Resolution (Extended Abstract). PAAR+SC²@IJCAR Sen Zheng, Renate A. Schmidt
2020	J	`jnl`	Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020	A*	`conf`	Signature-Based Abduction for Expressive Description Logics. KR Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
2020	—	`conf`	UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes. Description Logics Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng
2019	A*	`conf`	ABox Abduction via Forgetting in ALC. AAAI Warren Del-Pinto, Renate A. Schmidt
2019	—	`conf`	Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
2019	—	`conf`	DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. GCAI Ruba Alassaf, Renate A. Schmidt
2019	J	`jnl`	Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli
2019	—	`conf`	Extending Forgetting-Based Abduction Using Nominals. FroCos Warren Del-Pinto, Renate A. Schmidt
2019	A	`conf`	FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. CADE Yizheng Zhao, Renate A. Schmidt
2019	—	`conf`	Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Description Logics Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
2019	—	`conf`	On Concept Forgetting in Description Logics with Qualified Number Restrictions. Description Logics Yizheng Zhao, Renate A. Schmidt
2019	B	`conf`	Ontology Extraction for Large Ontologies via Modularity and Forgetting. K-CAP Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
2019	J	`jnl`	Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. J. Autom. Reason. Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda
2019	—	`conf`	Tracking Logical Difference in Industrial-Scale Ontologies. Description Logics Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
2019	A*	`conf`	Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. AAAI Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
2018	J	`jnl`	ABox Abduction via Forgetting in ALC (Long Version). CoRR Warren Del-Pinto, Renate A. Schmidt
2018	A	`conf`	FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. IJCAR Yizheng Zhao, Renate A. Schmidt
2018	—	`conf`	Methods and Metrics for Knowledge Base Engineering and Integration. WOP@ISWC Giorgos Stoilos, David Geleta, Szymon Wartak, Sheldon Hall, Mohammad Khodadadi, Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt
2018	A*	`conf`	On Concept Forgetting in Description Logics with Qualified Number Restrictions. IJCAI Yizheng Zhao, Renate A. Schmidt
2018	—	`conf`	The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. Description Logics Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt
2017	—	`conf`	A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. SOQE Ruba Alassaf, Renate A. Schmidt
2017	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings TABLEAUX Renate A. Schmidt, Cláudia Nalon
2017	—	`conf`	Forgetting-Based Abduction in ALC. SOQE Warren Del-Pinto, Renate A. Schmidt
2017	—	`ed.`	Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. SOQE Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
2017	—	`conf`	Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. Description Logics Yizheng Zhao, Renate A. Schmidt
2017	A*	`conf`	Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. IJCAI Yizheng Zhao, Renate A. Schmidt
2017	B	`conf`	Rule Refinement for Semantic Tableau Calculi. TABLEAUX Dmitry Tishkovsky, Renate A. Schmidt
2016	J	`jnl`	A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. John G. Stell, Renate A. Schmidt, David E. Rydeheard
2016	J	`jnl`	Blocking and Other Enhancements for Bottom-Up Model Generation Methods. CoRR Peter Baumgartner, Renate A. Schmidt
2016	—	`conf`	Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. Description Logics Yizheng Zhao, Renate A. Schmidt
2016	A*	`conf`	Forgetting Concept and Role Symbols in ALCOIHµ IJCAI Yizheng Zhao, Renate A. Schmidt
2016	A	`conf`	Lifting QBF Resolution Calculi to DQBF. SAT Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
2016	J	`jnl`	Lifting QBF Resolution Calculi to DQBF. CoRR Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
2016	J	`jnl`	Lifting QBF Resolution Calculi to DQBF. Electron. Colloquium Comput. Complex. Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
2015	—	`conf`	Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. Description Logics Yizheng Zhao, Renate A. Schmidt
2015	—	`conf`	Concept Forgetting in ISWC (1) Yizheng Zhao, Renate A. Schmidt
2015	—	`conf`	LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE Patrick Koopmann, Renate A. Schmidt
2015	B	`conf`	Modal Tableau Systems with Blocking and Congruence Closure. TABLEAUX Renate A. Schmidt, Uwe Waldmann
2015	—	`conf`	Saturated-Based Forgetting in the Description Logic SIF. Description Logics Patrick Koopmann, Renate A. Schmidt
2015	A*	`conf`	Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. AAAI Patrick Koopmann, Renate A. Schmidt
2014	B	`conf`	Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic Renate A. Schmidt, John G. Stell, David E. Rydeheard
2014	A	`conf`	Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. IJCAR Patrick Koopmann, Renate A. Schmidt
2014	—	`conf`	Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Description Logics Patrick Koopmann, Renate A. Schmidt
2014	C	`conf`	Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS John G. Stell, Renate A. Schmidt, David E. Rydeheard
2014	A	`conf`	Terminating Minimal Model Generation Procedures for Propositional Modal Logics. IJCAR Fabio Papacchini, Renate A. Schmidt
2014	J	`jnl`	Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. Renate A. Schmidt, Dmitry Tishkovsky
2013	—	`conf`	A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. Description Logics Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
2013	B	`conf`	A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
2013	—	`conf`	Computing Minimal Models Modulo Subset-Simulation for Modal Logics. FroCos Fabio Papacchini, Renate A. Schmidt
2013	—	`conf`	First-Order Resolution Methods for Modal Logics. Programming Logics Renate A. Schmidt, Ullrich Hustadt
2013	B	`conf`	Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. LPAR Patrick Koopmann, Renate A. Schmidt
2013	—	`ed.`	Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings FroCoS Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt
2013	—	`conf`	Implementation and Evaluation of Forgetting in ALC-Ontologies. WoMO Patrick Koopmann, Renate A. Schmidt
2013	J	`jnl`	Refinement in the Tableau Synthesis Framework CoRR Dmitry Tishkovsky, Renate A. Schmidt
2013	J	`jnl`	Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Inf. Process. Lett. Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
2013	—	`ed.`	Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012 PAAR@IJCAR Pascal Fontaine, Renate A. Schmidt, Stephan Schulz
2013	—	`conf`	Uniform Interpolation of -Ontologies Using Fixpoints. FroCos Patrick Koopmann, Renate A. Schmidt
2012	—	`conf`	An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
2012	Misc	`conf`	Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
2012	—	`conf`	MetTeL PAAR@IJCAR Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
2012	—	`ed.`	Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 PAAR@IJCAR Renate A. Schmidt, Stephan Schulz, Boris Konev
2012	—	`conf`	Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
2012	J	`jnl`	The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Appl. Log. Renate A. Schmidt
2012	B	`conf`	The Tableau Prover Generator MetTeL2. JELIA Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
2012	J	`jnl`	Using Tableau to Decide Description Logics with Full Role Negation and Identity CoRR Renate A. Schmidt, Dmitry Tishkovsky
2011	—	`conf`	A Tableau Calculus for Minimal Modal Model Generation. M4M/LAMAS Fabio Papacchini, Renate A. Schmidt
2011	J	`jnl`	Automated Synthesis of Tableau Calculi Log. Methods Comput. Sci. Renate A. Schmidt, Dmitry Tishkovsky
2011	B	`conf`	METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
2011	J	`jnl`	Preface: Special Issue of Selected Extended Papers of CADE-22. J. Autom. Reason. Renate A. Schmidt, Brigitte Pientka
2011	C	`conf`	Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). RAMiCS Renate A. Schmidt
2010	—	`conf`	A Comparison of Solvers for Propositional Dynamic Logic. PAAR@IJCAR Ullrich Hustadt, Renate A. Schmidt
2010	J	`jnl`	Special issue on practical aspects of automated reasoning. AI Commun. Boris Konev, Renate A. Schmidt, Stephan Schulz
2009	—	`conf`	A Tableau Method for Checking Rule Admissibility in S4. M4M Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
2009	J	`jnl`	A new methodology for developing deduction methods. Ann. Math. Artif. Intell. Renate A. Schmidt
2009	A	`ed.`	Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings CADE Renate A. Schmidt
2009	B	`conf`	Automated Synthesis of Tableau Calculi. TABLEAUX Renate A. Schmidt, Dmitry Tishkovsky
2009	J	`jnl`	Empirically successful computerized reasoning. J. Appl. Log. Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
2009	—	`ed.`	Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures Reasoning Web Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt
2009	—	`conf`	Simulation and Synthesis of Deduction Calculi. M4M Renate A. Schmidt
2008	A	`conf`	A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR Renate A. Schmidt, Dmitry Tishkovsky
2008	B	`conf`	Improved Second-Order Quantifier Elimination in Modal Logic. JELIA Renate A. Schmidt
2008	J	`jnl`	On combinations of propositional dynamic logic and doxastic modal logics. J. Log. Lang. Inf. Renate A. Schmidt, Dmitry Tishkovsky
2008	—	`ed.`	Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 PAAR/ESHOL Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	—	`ed.`	Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 LPAR Workshops Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz
2008	J	`jnl`	Relations and Kleene Algebras in Computer Science. J. Log. Algebraic Methods Program. Renate A. Schmidt, Georg Struth
2008	—	`book`	Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Dov M. Gabbay, Renate A. Schmidt, Andrzej Szalas
2007	—	`ch.`	Computational modal logic. Handbook of Modal Logic Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt
2007	—	`conf`	Deciding ALBO with Tableau. Description Logics Renate A. Schmidt, Dmitry Tishkovsky
2007	A	`conf`	System Description: SpassVersion 3.0. CADE Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
2007	J	`jnl`	The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. Renate A. Schmidt, Ullrich Hustadt
2007	—	`conf`	Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC Renate A. Schmidt, Dmitry Tishkovsky
2006	A	`conf`	Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR Peter Baumgartner, Renate A. Schmidt
2006	B	`conf`	Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic Renate A. Schmidt
2006	—	`ch.`	Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. Theory and Applications of Relational Structures as Knowledge Instruments Rudolf Berghammer, Renate A. Schmidt
2006	—	`ed.`	Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings RelMiCS Renate A. Schmidt
2005	B	`ed.`	Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004 Advances in Modal Logic Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing
2005	A	`conf`	Deciding Monodic Fragments by Temporal Resolution. CADE Ullrich Hustadt, Boris Konev, Renate A. Schmidt
2004	J	`jnl`	Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Stud Logica Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt
2004	J	`jnl`	Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. Renate A. Schmidt, Dmitry Tishkovsky
2003	A	`conf`	A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE Renate A. Schmidt, Ullrich Hustadt
2003	J	`jnl`	Hyperresolution for guarded formulae. J. Symb. Comput. Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
2003	—	`ch.`	Mechanised Reasoning and Model Generation for Extended Modal Logics. Theory and Applications of Relational Structures as Knowledge Instruments Renate A. Schmidt, Ullrich Hustadt
2003	—	`conf`	SCAN Is Complete for All Sahlqvist Formulae. RelMiCS Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov
2003	—	`conf`	Two Proof Systems for Peirce Algebras. RelMiCS Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
2002	A	`conf`	A New Clausal Class Decidable by Hyperresolution. CADE Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
2002	B	`conf`	Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic Renate A. Schmidt, Dmitry Tishkovsky
2002	B	`conf`	Multi-agent Logics of Dynamic Belief and Knowledge. JELIA Renate A. Schmidt, Dmitry Tishkovsky
2002	—	`conf`	On the relationship between decidable fragments, non-classical logics, and description logics. Description Logics Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
2002	A*	`conf`	Scientific Benchmarking with Temporal Logic Decision Procedures. KR Ullrich Hustadt, Renate A. Schmidt
2002	J	`jnl`	Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reason. Ullrich Hustadt, Renate A. Schmidt
2001	B	`conf`	Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
2001	C	`conf`	Reasoning about agents in the KARO framework. TIME Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
2000	A	`conf`	A Resolution Decision Procedure for Fluted Logic. CADE Renate A. Schmidt, Ullrich Hustadt
2000	—	`conf`	Deciding Fluted Logic with Resolution. ARW Renate A. Schmidt
2000	—	`conf`	Hyperresolution for Guarded Formulae. ARW Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt
2000	B	`conf`	MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX Ullrich Hustadt, Renate A. Schmidt
2000	—	`conf`	Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher
2000	J	`jnl`	Resolution-Based Methods for Modal Logics. Log. J. IGPL Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt
2000	—	`conf`	Verification within the KARO Agent Theory. FAABS Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
1999	J	`jnl`	An empirical analysis of modal theorem provers. J. Appl. Non Class. Logics Ullrich Hustadt, Renate A. Schmidt
1999	J	`jnl`	Decidability by Resolution for Propositional Modal Logics. J. Autom. Reason. Renate A. Schmidt
1999	—	`conf`	MSPASS: Subsumption Testing with SPASS. Description Logics Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
1999	A	`conf`	Maslov's Class K Revisited. CADE Ullrich Hustadt, Renate A. Schmidt
1999	A*	`conf`	On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI Ullrich Hustadt, Renate A. Schmidt
1998	B	`conf`	A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt
1998	—	`conf`	Decidability by unrefined resolution for propositional modal logics. RelMiCS Renate A. Schmidt
1998	—	`conf`	Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) Ullrich Hustadt, Renate A. Schmidt
1998	B	`conf`	Simplification and Backjumping in Modal Tableau. TABLEAUX Ullrich Hustadt, Renate A. Schmidt
1997	J	`jnl`	Functional Translation and Second-Order Frame Properties of Modal Logics. J. Log. Comput. Hans Jürgen Ohlbach, Renate A. Schmidt
1997	—	`conf`	On Evaluating Decision Procedures for Modal Logic. IJCAI (1) Ullrich Hustadt, Renate A. Schmidt
1997	—	`—`	Optimised modal translation and resolution. Renate A. Schmidt
1996	B	`conf`	Resolution is a Decision Procedure for Many Propositional Modal Logics. Advances in Modal Logic Renate A. Schmidt
1994	J	`jnl`	Peirce Algebras. Formal Aspects Comput. Chris Brink, Katarina Britz, Renate A. Schmidt
1993	J	`jnl`	Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. Hans Jürgen Ohlbach, Renate A. Schmidt
1992	—	`conf`	Terminological Representation, Natural Language & Relation Algebra. GWAI Renate A. Schmidt
1991	J	`jnl`	Autodescriptivity: Beware! Comput. J. Chris Brink, Ingrid Rewitzky, Renate A. Schmidt