default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRenate A. Schmidt
Person information
- affiliation: University of Manchester, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[e15]Christoph Benzmüller
, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I. Lecture Notes in Computer Science 14739, Springer 2024, ISBN 978-3-031-63497-0 [contents]- [e14]Christoph Benzmüller, Marijn J. H. Heule, Renate A. Schmidt:
Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. Lecture Notes in Computer Science 14740, Springer 2024, ISBN 978-3-031-63500-7 [contents] - 2023
- [j26]Sen Zheng, Renate A. Schmidt:
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments. J. Autom. Reason. 67(4): 39 (2023) - [c107]Ghadah Abdulrahman S. Alghamdi, Renate A. Schmidt, Yongsheng Gao:
Focus Set Semantic Differences. K-CAP 2023: 250-258 - [c106]Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao, Ghadah Alghamdi, Alejandro Lopez Osornio, Suzy Roy:
International Patient Summary Terminology. MedInfo 2023: 63-67 - 2022
- [c105]Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-57 - [c104]Renate A. Schmidt:
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract). ARQNL@IJCAR 2022: 11-12 - [c103]Mostafa Sakr, Renate A. Schmidt:
Fine-Grained Forgetting for the Description Logic ALC. Description Logics 2022 - [c102]Renate A. Schmidt:
Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract). Description Logics 2022 - [c101]Warren Del-Pinto, Renate A. Schmidt, Yongsheng Gao:
Extracting Subontologies from SNOMED CT. ESWC (Satellite Events) 2022: 291-294 - [i12]Sen Zheng, Renate A. Schmidt:
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments. CoRR abs/2208.05365 (2022) - 2021
- [c100]Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao:
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. CIKM 2021: 1130-1139 - [c99]Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao:
Upwardly Abstracted Definition-Based Subontologies. Description Logics 2021 - [c98]Zhao Liu, Chang Lu, Ghadah Alghamdi, Renate A. Schmidt, Yizheng Zhao:
Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases. Description Logics 2021 - [c97]David Toluhi, Renate A. Schmidt, Bijan Parsia:
Concept Description and Definition Extraction for the ANEMONE System. EMAS@AAMAS 2021: 352-372 - [c96]Mostafa Sakr, Renate A. Schmidt:
Semantic Forgetting in Expressive Description Logics. FroCoS 2021: 118-136 - [c95]Ghadah Alghamdi, Renate A. Schmidt, Warren Del-Pinto, Yongsheng Gao:
Upwardly Abstracted Definition-Based Subontologies. K-CAP 2021: 209-216 - [c94]Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. SOQE@KR 2021: 15-27 - [e13]Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt:
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. CEUR Workshop Proceedings 2954, CEUR-WS.org 2021 [contents] - [e12]Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao:
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. CEUR Workshop Proceedings 3009, CEUR-WS.org 2021 [contents] - [i11]Maria Paola Bonacina, Philipp Rümmer, Renate A. Schmidt:
Integrated Deduction (Dagstuhl Seminar 21371). Dagstuhl Reports 11(8): 35-51 (2021) - 2020
- [j25]Peter Baumgartner, Renate A. Schmidt:
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. J. Autom. Reason. 64(2): 197-251 (2020) - [c93]Yizheng Zhao, Renate A. Schmidt, Yuejie Wang, Xuanming Zhang, Hao Feng:
A Practical Approach to Forgetting in Description Logics with Nominals. AAAI 2020: 3073-3079 - [c92]Sen Zheng, Renate A. Schmidt:
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. AAAI 2020: 3080-3087 - [c91]Sen Zheng, Renate A. Schmidt:
Querying the Guarded Fragment via Resolution (Extended Abstract). PAAR+SC²@IJCAR 2020: 167-177 - [c90]Ian Hyland, Renate A. Schmidt:
Protege-TS: An OWL Ontology Term Selection Tool. Description Logics 2020 - [c89]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 - [c88]Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt:
Signature-Based Abduction for Expressive Description Logics. KR 2020: 592-602 - [i10]Sen Zheng, Renate A. Schmidt:
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution. CoRR abs/2001.03829 (2020) - [i9]Sen Zheng, Renate A. Schmidt:
Querying Guarded Fragments via Resolution. CoRR abs/2002.02228 (2020) - [i8]Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt:
Signature-Based Abduction for Expressive Description Logics - Technical Report. CoRR abs/2007.00757 (2020)
2010 – 2019
- 2019
- [j24]Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda:
Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. J. Autom. Reason. 63(3): 597-623 (2019) - [c87]Warren Del-Pinto, Renate A. Schmidt:
ABox Abduction via Forgetting in ALC. AAAI 2019: 2768-2775 - [c86]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: 3116-3124 - [c85]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: 610-638 - [c84]Yizheng Zhao, Renate A. Schmidt:
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. CADE 2019: 568-579 - [c83]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 - [c82]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 - [c81]Yizheng Zhao, Renate A. Schmidt:
On Concept Forgetting in Description Logics with Qualified Number Restrictions. Description Logics 2019 - [c80]Warren Del-Pinto, Renate A. Schmidt:
Extending Forgetting-Based Abduction Using Nominals. FroCos 2019: 185-202 - [c79]Ruba Alassaf, Renate A. Schmidt:
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic. GCAI 2019: 127-138 - [c78]Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao:
Ontology Extraction for Large Ontologies via Modularity and Forgetting. K-CAP 2019: 45-52 - [i7]Carsten Fuhs, Philipp Rümmer, Renate A. Schmidt, Cesare Tinelli:
Deduction Beyond Satisfiability (Dagstuhl Seminar 19371). Dagstuhl Reports 9(9): 23-44 (2019) - 2018
- [c77]Yizheng Zhao, Renate A. Schmidt:
FAME: An Automated Tool for Semantic Forgetting in Expressive Description Logics. IJCAR 2018: 19-27 - [c76]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 - [c75]Yizheng Zhao, Renate A. Schmidt:
On Concept Forgetting in Description Logics with Qualified Number Restrictions. IJCAI 2018: 1984-1990 - [c74]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: 72-86 - [i6]Warren Del-Pinto, Renate A. Schmidt:
ABox Abduction via Forgetting in ALC (Long Version). CoRR abs/1811.05420 (2018) - 2017
- [c73]Yizheng Zhao, Renate A. Schmidt:
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. Description Logics 2017 - [c72]Yizheng Zhao, Renate A. Schmidt:
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach. IJCAI 2017: 1354-1361 - [c71]Ruba Alassaf, Renate A. Schmidt:
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME. SOQE 2017: 21-26 - [c70]Warren Del-Pinto, Renate A. Schmidt:
Forgetting-Based Abduction in ALC. SOQE 2017: 27-35 - [c69]Dmitry Tishkovsky, Renate A. Schmidt:
Rule Refinement for Semantic Tableau Calculi. TABLEAUX 2017: 228-244 - [e11]Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard:
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017. CEUR Workshop Proceedings 2013, CEUR-WS.org 2017 [contents] - [e10]Renate A. Schmidt, Cláudia Nalon:
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. Lecture Notes in Computer Science 10501, Springer 2017, ISBN 978-3-319-66901-4 [contents] - 2016
- [j23]John G. Stell, Renate A. Schmidt, David E. Rydeheard:
A bi-intuitionistic modal logic: Foundations and automation. J. Log. Algebraic Methods Program. 85(4): 500-519 (2016) - [c68]Yizheng Zhao, Renate A. Schmidt:
Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. Description Logics 2016 - [c67]Yizheng Zhao, Renate A. Schmidt:
Forgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies. IJCAI 2016: 1345-1353 - [c66]Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda:
Lifting QBF Resolution Calculi to DQBF. SAT 2016: 490-499 - [i5]Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda:
Lifting QBF Resolution Calculi to DQBF. CoRR abs/1604.08058 (2016) - [i4]Peter Baumgartner, Renate A. Schmidt:
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. CoRR abs/1611.09014 (2016) - [i3]Olaf Beyersdorff, Leroy Chew, Renate A. Schmidt, Martin Suda:
Lifting QBF Resolution Calculi to DQBF. Electron. Colloquium Comput. Complex. TR16 (2016) - 2015
- [c65]Patrick Koopmann, Renate A. Schmidt:
Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. AAAI 2015: 175-181 - [c64]Patrick Koopmann, Renate A. Schmidt:
Saturated-Based Forgetting in the Description Logic SIF. Description Logics 2015 - [c63]Yizheng Zhao, Renate A. Schmidt:
Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. Description Logics 2015 - [c62]Patrick Koopmann, Renate A. Schmidt:
LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. ORE 2015: 23-30 - [c61]Yizheng Zhao, Renate A. Schmidt:
Concept Forgetting in ALCOI -Ontologies Using an Ackermann Approach. ISWC (1) 2015: 587-602 - [c60]Renate A. Schmidt, Uwe Waldmann:
Modal Tableau Systems with Blocking and Congruence Closure. TABLEAUX 2015: 38-53 - 2014
- [j22]Renate A. Schmidt, Dmitry Tishkovsky:
Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. 15(1): 7:1-7:31 (2014) - [c59]John G. Stell, Renate A. Schmidt, David E. Rydeheard:
Tableau Development for a Bi-intuitionistic Tense Logic. RAMiCS 2014: 412-428 - [c58]Renate A. Schmidt, John G. Stell, David E. Rydeheard:
Axiomatic and Tableau-Based Reasoning for Kt(H, R). Advances in Modal Logic 2014: 478-497 - [c57]Fabio Papacchini, Renate A. Schmidt:
Terminating Minimal Model Generation Procedures for Propositional Modal Logics. IJCAR 2014: 381-395 - [c56]Patrick Koopmann, Renate A. Schmidt:
Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. IJCAR 2014: 434-448 - [c55]Patrick Koopmann, Renate A. Schmidt:
Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. Description Logics 2014: 245-257 - 2013
- [j21]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): 34-38 (2013) - [c54]Renate A. Schmidt, Ullrich Hustadt:
First-Order Resolution Methods for Modal Logics. Programming Logics 2013: 345-391 - [c53]Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. Description Logics 2013: 724-734 - [c52]Patrick Koopmann, Renate A. Schmidt:
Uniform Interpolation of -Ontologies Using Fixpoints. FroCos 2013: 87-102 - [c51]Fabio Papacchini, Renate A. Schmidt:
Computing Minimal Models Modulo Subset-Simulation for Modal Logics. FroCos 2013: 279-294 - [c50]Patrick Koopmann, Renate A. Schmidt:
Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. LPAR 2013: 552-567 - [c49]Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX 2013: 188-202 - [c48]Patrick Koopmann, Renate A. Schmidt:
Implementation and Evaluation of Forgetting in ALC-Ontologies. WoMO 2013 - [e9]Pascal Fontaine, Renate A. Schmidt, Stephan Schulz:
Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 21, EasyChair 2013 [contents] - [e8]Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt:
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8152, Springer 2013, ISBN 978-3-642-40884-7 [contents] - [i2]Dmitry Tishkovsky, Renate A. Schmidt:
Refinement in the Tableau Synthesis Framework. CoRR abs/1305.3131 (2013) - 2012
- [j20]Renate A. Schmidt:
The Ackermann approach for modal logic, correspondence theory and second-order reduction. J. Appl. Log. 10(1): 52-74 (2012) - [c47]Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. PAAR@IJCAR 2012: 109-123 - [c46]Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
MetTeL2: Towards a Tableau Prover Generation Platform. PAAR@IJCAR 2012: 149-162 - [c45]Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting. Description Logics 2012 - [c44]Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
The Tableau Prover Generator MetTeL2. JELIA 2012: 492-495 - [c43]Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. SYNASC 2012: 111-118 - [e7]Renate A. Schmidt, Stephan Schulz, Boris Konev:
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010. EPiC Series in Computing 9, EasyChair 2012 [contents] - [i1]Renate A. Schmidt, Dmitry Tishkovsky:
Using Tableau to Decide Description Logics with Full Role Negation and Identity. CoRR abs/1208.1476 (2012) - 2011
- [j19]Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi. Log. Methods Comput. Sci. 7(2) (2011) - [j18]Renate A. Schmidt, Brigitte Pientka:
Preface: Special Issue of Selected Extended Papers of CADE-22. J. Autom. Reason. 47(2): 107-109 (2011) - [c42]Renate A. Schmidt:
Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper). RAMiCS 2011: 40-49 - [c41]Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi:
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine. TABLEAUX 2011: 242-247 - [c40]Fabio Papacchini, Renate A. Schmidt:
A Tableau Calculus for Minimal Modal Model Generation. M4M/LAMAS 2011: 159-172 - 2010
- [j17]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Special issue on practical aspects of automated reasoning. AI Commun. 23(2-3): 67-68 (2010) - [c39]Ullrich Hustadt, Renate A. Schmidt:
A Comparison of Solvers for Propositional Dynamic Logic. PAAR@IJCAR 2010: 63-73
2000 – 2009
- 2009
- [j16]Renate A. Schmidt:
A new methodology for developing deduction methods. Ann. Math. Artif. Intell. 55(1-2): 155-187 (2009) - [j15]Renate A. Schmidt, Geoff Sutcliffe, Stephan Schulz:
Empirically successful computerized reasoning. J. Appl. Log. 7(1): 1 (2009) - [c38]Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324 - [c37]Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky:
A Tableau Method for Checking Rule Admissibility in S4. M4M 2009: 17-32 - [c36]Renate A. Schmidt:
Simulation and Synthesis of Deduction Calculi. M4M 2009: 221-229 - [e6]Renate A. Schmidt:
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Lecture Notes in Computer Science 5663, Springer 2009, ISBN 978-3-642-02958-5 [contents] - [e5]Sergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt:
Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures. Lecture Notes in Computer Science 5689, Springer 2009, ISBN 978-3-642-03753-5 [contents] - 2008
- [b2]Dov M. Gabbay, Renate A. Schmidt, Andrzej Szalas:
Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Studies in logic : Mathematical logic and foundations 12, College Publications 2008, ISBN 978-1-904987-56-7, pp. I-VIII, 1-308 - [j14]Renate A. Schmidt, Georg Struth:
Relations and Kleene Algebras in Computer Science. J. Log. Algebraic Methods Program. 76(1): 1-2 (2008) - [j13]Renate A. Schmidt, Dmitry Tishkovsky:
On combinations of propositional dynamic logic and doxastic modal logics. J. Log. Lang. Inf. 17(1): 109-129 (2008) - [c35]Renate A. Schmidt, Dmitry Tishkovsky:
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. IJCAR 2008: 194-209 - [c34]Renate A. Schmidt:
Improved Second-Order Quantifier Elimination in Modal Logic. JELIA 2008: 375-388 - [e4]Boris Konev, Renate A. Schmidt, Stephan Schulz:
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 373, CEUR-WS.org 2008 [contents] - [e3]Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz:
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. CEUR Workshop Proceedings 418, CEUR-WS.org 2008 [contents] - 2007
- [j12]Renate A. Schmidt, Ullrich Hustadt:
The axiomatic translation principle for modal logic. ACM Trans. Comput. Log. 8(4): 19 (2007) - [c33]Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic:
System Description: SpassVersion 3.0. CADE 2007: 514-520 - [c32]Renate A. Schmidt, Dmitry Tishkovsky:
Deciding ALBO with Tableau. Description Logics 2007 - [c31]Renate A. Schmidt, Dmitry Tishkovsky:
Using Tableau to Decide Expressive Description Logics with Role Negation. ISWC/ASWC 2007: 438-451 - [p3]Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate A. Schmidt:
Computational modal logic. Handbook of Modal Logic 2007: 181-245 - 2006
- [c30]Renate A. Schmidt:
Developing Modal Tableaux and Resolution Methods via First-Order Resolution. Advances in Modal Logic 2006: 1-26 - [c29]Peter Baumgartner, Renate A. Schmidt:
Blocking and Other Enhancements for Bottom-Up Model Generation Methods. IJCAR 2006: 125-139 - [p2]Rudolf Berghammer, Renate A. Schmidt:
Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 31-49 - [e2]Renate A. Schmidt:
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. Lecture Notes in Computer Science 4136, Springer 2006, ISBN 3-540-37873-1 [contents] - 2005
- [c28]Ullrich Hustadt, Boris Konev, Renate A. Schmidt:
Deciding Monodic Fragments by Temporal Resolution. CADE 2005: 204-218 - [e1]Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004. King's College Publications 2005, ISBN 1-904987-22-2 [contents] - 2004
- [j11]Renate A. Schmidt, Dmitry Tishkovsky:
Multi-Agent Dynamic Logics with Informational Test. Ann. Math. Artif. Intell. 42(1-3): 5-36 (2004) - [j10]Renate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt:
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic. Stud Logica 78(3): 381-415 (2004) - 2003
- [j9]Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
Hyperresolution for guarded formulae. J. Symb. Comput. 36(1-2): 163-192 (2003) - [c27]Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae. RelMiCS 2003: 149-162 - [c26]Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt:
Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251 - [c25]Renate A. Schmidt, Ullrich Hustadt:
A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae. CADE 2003: 412-426 - [p1]Renate A. Schmidt, Ullrich Hustadt:
Mechanised Reasoning and Model Generation for Extended Modal Logics. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 38-67 - 2002
- [j8]Ullrich Hustadt, Renate A. Schmidt:
Using Resolution for Testing Modal Satisfiability and Building Models. J. Autom. Reason. 28(2): 205-232 (2002) - [c24]Renate A. Schmidt, Dmitry Tishkovsky:
Combining Dynamic Logic with Doxastic Modal Logics. Advances in Modal Logic 2002: 371-392 - [c23]Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
A New Clausal Class Decidable by Hyperresolution. CADE 2002: 260-274 - [c22]Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
On the relationship between decidable fragments, non-classical logics, and description logics. Description Logics 2002 - [c21]Renate A. Schmidt, Dmitry Tishkovsky:
Multi-agent Logics of Dynamic Belief and Knowledge. JELIA 2002: 38-49 - [c20]Ullrich Hustadt, Renate A. Schmidt:
Scientific Benchmarking with Temporal Logic Decision Procedures. KR 2002: 533-546 - 2001
- [c19]Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001: 85-99 - [c18]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Reasoning about agents in the KARO framework. TIME 2001: 206-213 - 2000
- [j7]Ullrich Hustadt, Hans de Nivelle, Renate A. Schmidt:
Resolution-Based Methods for Modal Logics. Log. J. IGPL 8(3): 265-292 (2000) - [c17]Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt:
Hyperresolution for Guarded Formulae. ARW 2000 - [c16]Renate A. Schmidt:
Deciding Fluted Logic with Resolution. ARW 2000 - [c15]Renate A. Schmidt, Ullrich Hustadt:
A Resolution Decision Procedure for Fluted Logic. CADE 2000: 433-448 - [c14]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek:
Verification within the KARO Agent Theory. FAABS 2000: 33-47 - [c13]Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher:
Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCoS 2000: 73-87 - [c12]Ullrich Hustadt, Renate A. Schmidt:
MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000: 67-71
1990 – 1999
- 1999
- [j6]Ullrich Hustadt, Renate A. Schmidt:
An empirical analysis of modal theorem provers. J. Appl. Non Class. Logics 9(4): 479-522 (1999) - [j5]Renate A. Schmidt:
Decidability by Resolution for Propositional Modal Logics. J. Autom. Reason. 22(4): 379-396 (1999) - [c11]Ullrich Hustadt, Renate A. Schmidt:
Maslov's Class K Revisited. CADE 1999: 172-186 - [c10]Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach:
MSPASS: Subsumption Testing with SPASS. Description Logics 1999 - [c9]Ullrich Hustadt, Renate A. Schmidt:
On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999: 110-117 - 1998
- [c8]Renate A. Schmidt:
Decidability by unrefined resolution for propositional modal logics. RelMiCS 1998: 192-196 - [c7]Harald Ganzinger, Ullrich Hustadt, Christoph Meyer, Renate A. Schmidt:
A Resolution-Based Decision Procedure for Extensions of K4. Advances in Modal Logic 1998: 225-246 - [c6]Ullrich Hustadt, Renate A. Schmidt:
Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998: 191-205 - [c5]Renate A. Schmidt:
E-Unification for Subsystems of S4. RTA 1998: 106-120 - [c4]Ullrich Hustadt, Renate A. Schmidt:
Simplification and Backjumping in Modal Tableau. TABLEAUX 1998: 187-201 - 1997
- [b1]Renate A. Schmidt:
Optimised modal translation and resolution. Saarland University, Germany, 1997 - [j4]Hans Jürgen Ohlbach, Renate A. Schmidt:
Functional Translation and Second-Order Frame Properties of Modal Logics. J. Log. Comput. 7(5): 581-603 (1997) - [c3]Ullrich Hustadt, Renate A. Schmidt:
On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997: 202-209 - 1996
- [c2]Renate A. Schmidt:
Resolution is a Decision Procedure for Many Propositional Modal Logics. Advances in Modal Logic 1996: 189-208 - 1994
- [j3]Chris Brink, Katarina Britz, Renate A. Schmidt:
Peirce Algebras. Formal Aspects Comput. 6(3): 339-358 (1994) - 1993
- [j2]Hans Jürgen Ohlbach, Renate A. Schmidt:
Editorial: The Possibility of Generating True Conjectures. J. Log. Comput. 3(4): 341-343 (1993) - 1992
- [c1]Renate A. Schmidt:
Terminological Representation, Natural Language & Relation Algebra. GWAI 1992: 357-371 - 1991
- [j1]Chris Brink, Ingrid Rewitzky, Renate A. Schmidt:
Autodescriptivity: Beware! Comput. J. 34(4): 379-381 (1991)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
