Stop the war!Остановите войну!
for scientists:
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
- 2022
[c105]Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Saturation-Based Uniform Interpolation for Multi-Modal Logics. AiML 2022: 37-58- [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]