Renate A. Schmidt

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 57

Top Venues

Publications

Sen Zheng, Renate A. Schmidt
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments. J. Autom. Reason. 67 (4) (2023)
Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao, Ghadah Alghamdi, Alejandro Lopez Osornio, Suzy Roy
International Patient Summary Terminology. MedInfo (2023)
Ghadah Abdulrahman S. Alghamdi, Renate A. Schmidt, Yongsheng Gao
Focus Set Semantic Differences. K-CAP (2023)
Mostafa Sakr, Renate A. Schmidt
Fine-Grained Forgetting for the Description Logic ALC. Description Logics (2022)
Matteo Acclavio, Lutz Straßburger, Renate A. Schmidt, Uli Sattler, Ruba Alassaf
Combinatorial Proofs for Constructive Modal Logic. AiML (2022)
Renate A. Schmidt
Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract). Description Logics (2022)
Sen Zheng, Renate A. Schmidt
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments. CoRR (2022)
Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao
Extracting Subontologies from SNOMED CT. ESWC (Satellite Events) (2022)
Renate A. Schmidt
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). ARQNL@IJCAR (2022)
Ruba Alassaf, Renate A. Schmidt, Uli Sattler
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML (2022)
Ruba Alassaf, Renate A. Schmidt, Uli Sattler
. SOQE@KR (2021)
Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. Description Logics (2021)
Maria Paola Bonacina, Philipp Rümmer, Renate A. Schmidt
Integrated Deduction (Dagstuhl Seminar 21371). Dagstuhl Reports 11 (8) (2021)
Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao
Upwardly Abstracted Definition-Based Subontologies. Description Logics (2021)
Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. CIKM (2021)
David Toluhi, Renate A. Schmidt, Bijan Parsia
Concept Description and Definition Extraction for the ANEMONE System. EMAS@AAMAS (2021)
Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao
Upwardly Abstracted Definition-Based Subontologies. K-CAP (2021)
Mostafa Sakr, Renate A. Schmidt
Semantic Forgetting in Expressive Description Logics. FroCoS (2021)
Xuan Wu, Chang Lu, Yizheng Zhao, Renate A. Schmidt, Hao Feng
UI-FAME: A Deductive Forgetting Tool for Creating Views of ALC-TBoxes. Description Logics (2020)
Sen Zheng, Renate A. Schmidt
Querying the Guarded Fragment via Resolution (Extended Abstract). PAAR+SC²@IJCAR (2020)
Ian Hyland, Renate A. Schmidt
Protege-TS: An OWL Ontology Term Selection Tool. Description Logics (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR (2020)
Sen Zheng, Renate A. Schmidt
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. AAAI (2020)
Peter Baumgartner, Renate A. Schmidt
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. J. Autom. Reason. 64 (2) (2020)
Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng
A Practical Approach to Forgetting in Description Logics with Nominals. AAAI (2020)
Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-Based Abduction for Expressive Description Logics. KR (2020)
Sen Zheng, Renate A. Schmidt
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. CoRR (2020)
Sen Zheng, Renate A. Schmidt
Querying Guarded Fragments via Resolution. CoRR (2020)
Yizheng Zhao, Renate A. Schmidt
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. CADE (2019)
Ruba Alassaf, Renate A. Schmidt
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. GCAI (2019)
Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports 9 (9) (2019)
Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. J. Autom. Reason. 63 (3) (2019)
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
Tracking Logical Difference in Industrial-Scale Ontologies. Description Logics (2019)
Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt, Hao Feng, Giorgos Stoilos, Damir Juric, Mohammad Khodadadi
Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach. AAAI (2019)
Warren Del-Pinto, Renate A. Schmidt
ABox Abduction via Forgetting in ALC. AAAI (2019)
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
Ontology Extraction for Large Ontologies via Modularity and Forgetting. K-CAP (2019)
Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Description Logics (2019)
Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That (2019)
Warren Del-Pinto, Renate A. Schmidt
Extending Forgetting-Based Abduction Using Nominals. FroCos (2019)
Yizheng Zhao, Renate A. Schmidt
On Concept Forgetting in Description Logics with Qualified Number Restrictions. Description Logics (2019)
Warren Del-Pinto, Renate A. Schmidt
ABox Abduction via Forgetting in ALC (Long Version). CoRR (2018)
Yizheng Zhao, Renate A. Schmidt
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. IJCAR (2018)
Yizheng Zhao, Hao Feng, Ruba Alassaf, Warren Del-Pinto, Renate A. Schmidt
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics. Description Logics (2018)
Giorgos Stoilos, David Geleta, Szymon Wartak, Sheldon Hall, Mohammad Khodadadi, Yizheng Zhao, Ghadah Alghamdi, Renate A. Schmidt
Methods and Metrics for Knowledge Base Engineering and Integration. WOP@ISWC (2018)
Yizheng Zhao, Renate A. Schmidt
On Concept Forgetting in Description Logics with Qualified Number Restrictions. IJCAI (2018)
Ruba Alassaf, Renate A. Schmidt
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. SOQE (2017)
Yizheng Zhao, Renate A. Schmidt
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. IJCAI (2017)
Yizheng Zhao, Renate A. Schmidt
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. Description Logics (2017)
Dmitry Tishkovsky, Renate A. Schmidt
Rule Refinement for Semantic Tableau Calculi. TABLEAUX (2017)
Warren Del-Pinto, Renate A. Schmidt
Forgetting-Based Abduction in ALC. SOQE (2017)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. 85 (4) (2016)
Yizheng Zhao, Renate A. Schmidt
Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. Description Logics (2016)
Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
Lifting QBF Resolution Calculi to DQBF. SAT (2016)
Peter Baumgartner, Renate A. Schmidt
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. CoRR (2016)
Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
Lifting QBF Resolution Calculi to DQBF. CoRR (2016)
Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda
Lifting QBF Resolution Calculi to DQBF. Electron. Colloquium Comput. Complex. 23 (2016)
Yizheng Zhao, Renate A. Schmidt
(∇, ⊓)-Ontologies. IJCAI (2016)
Patrick Koopmann, Renate A. Schmidt
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. AAAI (2015)
Yizheng Zhao, Renate A. Schmidt
-Ontologies Using an Ackermann Approach. ISWC (1) (2015)
Renate A. Schmidt, Uwe Waldmann
Modal Tableau Systems with Blocking and Congruence Closure. TABLEAUX (2015)
Patrick Koopmann, Renate A. Schmidt
Saturated-Based Forgetting in the Description Logic SIF. Description Logics (2015)
Patrick Koopmann, Renate A. Schmidt
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE (2015)
Yizheng Zhao, Renate A. Schmidt
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. Description Logics (2015)
Renate A. Schmidt, John G. Stell, David E. Rydeheard
Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic (2014)
John G. Stell, Renate A. Schmidt, David E. Rydeheard
Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS (2014)
Patrick Koopmann, Renate A. Schmidt
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Description Logics (2014)
Renate A. Schmidt, Dmitry Tishkovsky
Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. 15 (1) (2014)
Fabio Papacchini, Renate A. Schmidt
Terminating Minimal Model Generation Procedures for Propositional Modal Logics. IJCAR (2014)
Patrick Koopmann, Renate A. Schmidt
Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. IJCAR (2014)
Fabio Papacchini, Renate A. Schmidt
Computing Minimal Models Modulo Subset-Simulation for Modal Logics. FroCos (2013)
Patrick Koopmann, Renate A. Schmidt
Implementation and Evaluation of Forgetting in ALC-Ontologies. WoMO (2013)
Michal Zawidzki, Renate A. Schmidt, Dmitry Tishkovsky
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Inf. Process. Lett. 113 (1-2) (2013)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX (2013)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. Description Logics (2013)
Dmitry Tishkovsky, Renate A. Schmidt
Refinement in the Tableau Synthesis Framework CoRR (2013)
Patrick Koopmann, Renate A. Schmidt
Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. LPAR (2013)
Renate A. Schmidt, Ullrich Hustadt
First-Order Resolution Methods for Modal Logics. Programming Logics (2013)
Patrick Koopmann, Renate A. Schmidt
Uniform Interpolation of -Ontologies Using Fixpoints. FroCos (2013)
Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR (2012)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
: Towards a Tableau Prover Generation Platform. PAAR@IJCAR (2012)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
The Tableau Prover Generator MetTeL2. JELIA (2012)
Renate A. Schmidt, Dmitry Tishkovsky
Using Tableau to Decide Description Logics with Full Role Negation and Identity CoRR (2012)
Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics (2012)
Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC (2012)
Renate A. Schmidt
The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Appl. Log. 10 (1) (2012)
Renate A. Schmidt
Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). RAMiCS (2011)
Fabio Papacchini, Renate A. Schmidt
A Tableau Calculus for Minimal Modal Model Generation. Electron. Notes Theor. Comput. Sci. 278 (2011)
Renate A. Schmidt, Brigitte Pientka
Preface: Special Issue of Selected Extended Papers of CADE-22. J. Autom. Reason. 47 (2) (2011)
Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX (2011)
Renate A. Schmidt, Dmitry Tishkovsky
Automated Synthesis of Tableau Calculi Log. Methods Comput. Sci. 7 (2) (2011)
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky
A Tableau Method for Checking Rule Admissibility in S4. Electron. Notes Theor. Comput. Sci. 262 (2010)
Ullrich Hustadt, Renate A. Schmidt
A Comparison of Solvers for Propositional Dynamic Logic. PAAR@IJCAR (2010)
Boris Konev, Renate A. Schmidt, Stephan Schulz
Special issue on practical aspects of automated reasoning. AI Commun. 23 (2-3) (2010)
Renate A. Schmidt
Simulation and Synthesis of Deduction Calculi. Electron. Notes Theor. Comput. Sci. 262 (2010)
Renate A. Schmidt
A new methodology for developing deduction methods. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Renate A. Schmidt, Dmitry Tishkovsky
Automated Synthesis of Tableau Calculi. TABLEAUX (2009)
Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz
Empirically successful computerized reasoning. J. Appl. Log. 7 (1) (2009)
Renate A. Schmidt, Dmitry Tishkovsky
On combinations of propositional dynamic logic and doxastic modal logics. J. Log. Lang. Inf. 17 (1) (2008)
Renate A. Schmidt
Improved Second-Order Quantifier Elimination in Modal Logic. JELIA (2008)
Renate A. Schmidt, Dmitry Tishkovsky
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR (2008)

Renate A. Schmidt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Renate A. Schmidt