Renate A. Schmidt
Orcid: 0000000266733333Affiliations:
 University of Manchester, UK
According to our database^{1},
Renate A. Schmidt
authored at least 137 papers
between 1991 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on orcid.org

on cs.man.ac.uk
On csauthors.net:
Bibliography
2023
SaturationBased Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments.
J. Autom. Reason., December, 2023
Proceedings of the MEDINFO 2023  The Future Is Accessible, 2023
Proceedings of the 12th Knowledge Capture Conference 2023, 2023
2022
Proceedings of the Semantic Web: ESWC 2022 Satellite Events  Hersonissos, Crete, Greece, May 29, 2022
Knowledge Extraction Based on Forgetting and Subontology Generation (DL Invited Talk Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) colocated with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) colocated with Federated Logic Conference (FLoC 2022), 2022
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract).
Proceedings of the 4th International Workshop on Automated Reasoning in Quantified NonClassical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022
2021
Dagstuhl Reports, 2021
Proceedings of the Second Workshop on SecondOrder Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Proceedings of the KCAP '21: Knowledge Capture Conference, 2021
Proceedings of the Frontiers of Combining Systems  13th International Symposium, 2021
Proceedings of the Engineering MultiAgent Systems  9th International Workshop, 2021
Tracking Semantic Evolutionary Changes in LargeScale Ontological Knowledge Bases.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021
2020
J. Autom. Reason., 2020
CoRR, 2020
CoRR, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) colocated with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) colocated with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SCSquare) Workshop, 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution.
Proceedings of the ThirtyFourth AAAI Conference on Artificial Intelligence, 2020
Proceedings of the ThirtyFourth AAAI Conference on Artificial Intelligence, 2020
2019
J. Autom. Reason., 2019
Dagstuhl Reports, 2019
Proceedings of the 10th International Conference on Knowledge Capture, 2019
DLSForgetter: An Implementation of the DLS Forgetting Calculus for FirstOrder Logic.
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
Proceedings of the Frontiers of Combining Systems  12th International Symposium, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions.
Proceedings of the Automated Deduction  CADE 27, 2019
Automating Automated Reasoning  The Case of Two Generic Automated Reasoning Tools.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Tracking Logical Difference in LargeScale Ontologies: A ForgettingBased Approach.
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
2018
CoRR, 2018
Proceedings of the 9th Workshop on Ontology Design and Patterns (WOP 2018) colocated with 17th International Semantic Web Conference (ISWC 2018), 2018
Proceedings of the TwentySeventh International Joint Conference on Artificial Intelligence, 2018
The FAME Family: A Family of Reasoning Tools for Forgetting in Expressive Description Logics.
Proceedings of the 31st International Workshop on Description Logics colocated with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th  to, 2018
Proceedings of the Automated Reasoning  9th International Joint Conference, 2018
2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
Proceedings of the Workshop on SecondOrder Quantifier Elimination and Related Topics (SOQE 2017), 2017
A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME.
Proceedings of the Workshop on SecondOrder Quantifier Elimination and Related Topics (SOQE 2017), 2017
Role Forgetting for ALCOQH(universal role)Ontologies Using an AckermannBased Approach.
Proceedings of the TwentySixth International Joint Conference on Artificial Intelligence, 2017
2016
J. Log. Algebraic Methods Program., 2016
Electron. Colloquium Comput. Complex., 2016
Proceedings of the TwentyFifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
Proceedings of the Semantic Web  ISWC 2015, 2015
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE2015) colocated with the 28th International Workshop on Description Logics (DL 2015), 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the 28th International Workshop on Description Logics, 2015
Proceedings of the TwentyNinth AAAI Conference on Artificial Intelligence, 2015
2014
ACM Trans. Comput. Log., 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the Automated Reasoning  7th International Joint Conference, 2014
Proceedings of the Automated Reasoning  7th International Joint Conference, 2014
Proceedings of the Advances in Modal Logic 10, 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Satisfiability problem for modal logic with global counting operators coded in binary is NExpTimecomplete.
Inf. Process. Lett., 2013
CoRR, 2013
Proceedings of the 7th International Workshop on Modular Ontologies colocated with the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Frontiers of Combining Systems, 2013
Proceedings of the Frontiers of Combining Systems, 2013
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Programming Logics  Essays in Memory of Harald Ganzinger, 2013
2012
The Ackermann approach for modal logic, correspondence theory and secondorder reduction.
J. Appl. Log., 2012
Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012
Proceedings of the Logics in Artificial Intelligence  13th European Conference, 2012
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012
2011
J. Autom. Reason., 2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Log. Methods Comput. Sci., 2011
METTEL\textsc{Met\hspace{.5pt}TeL}: A Tableau Prover with LogicIndependent Inference Engine.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
AI Commun., 2010
Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, 2010
2009
J. Appl. Log., 2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Proceedings of the 6th Workshop on Methods for Modalities, 2009
Ann. Math. Artif. Intell., 2009
2008
J. Log. Lang. Inf., 2008
J. Log. Algebraic Methods Program., 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
A General Tableau Method for Deciding Description Logics, Modal Logics and Related FirstOrder Fragments.
Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008
SecondOrder Quantifier Elimination  Foundations, Computational Aspects and Applications.
Studies in logic : Mathematical logic and foundations 12, College Publications, ISBN: 9781904987567, 2008
2007
ACM Trans. Comput. Log., 2007
Proceedings of the Semantic Web, 2007
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007
Proceedings of the Automated Deduction, 2007
Proceedings of the Handbook of Modal Logic., 2007
2006
Proceedings of the Advances in Modal Logic 6, 2006
Investigating Finite Models of Nonclassical Logics with Relation Algebra and RelView.
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments II, 2006
2005
Proceedings of the Automated Deduction, 2005
2004
Stud Logica, 2004
Ann. Math. Artif. Intell., 2004
2003
J. Symb. Comput., 2003
A Principle for Incorporating Axioms into the FirstOrder Translation of Modal Formulae.
Proceedings of the Automated Deduction  CADE19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003
Proceedings of the Relational and KleeneAlgebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003
Proceedings of the Relational and KleeneAlgebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003
2002
J. Autom. Reason., 2002
Scientific Benchmarking with Temporal Logic Decision Procedures.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR02), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
On the relationship between decidable fragments, nonclassical logics, and description logics.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002
Proceedings of the Automated Deduction, 2002
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
2001
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
Proceedings of the Logic for Programming, 2001
2000
Log. J. IGPL, 2000
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000
Proceedings of the Frontiers of Combining Systems, 2000
Proceedings of the Formal Approaches to AgentBased Systems, First International Workshop, 2000
Proceedings of the Automated Deduction, 2000
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
1999
J. Autom. Reason., 1999
J. Appl. Non Class. Logics, 1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
Proceedings of the Automated Deduction in Classical and NonClassical Logics, 1998
A ResolutionBased Decision Procedure for Extensions of K4.
Proceedings of the Advances in Modal Logic 2, 1998
Decidability by unrefined resolution for propositional modal logics.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
PhD thesis, 1997
J. Log. Comput., 1997
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
1996
Resolution is a Decision Procedure for Many Propositional Modal Logics.
Proceedings of the Advances in Modal Logic 1, 1996
1994
Formal Aspects Comput., 1994
1993
J. Log. Comput., 1993
1992
Proceedings of the GWAI92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992
1991
Autodescriptivity: Beware!
Comput. J., 1991