Renate A Schmidt

Cited by

	All	Since 2018
Citations	3781	914
h-index	35	16
i10-index	87	29

220

110

165

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 9 13 31 46 92 78 97 111 150 109 107 132 183 151 185 141 154 149 172 144 208 132 163 131 211 185 174 160 52

Public access

View all

23 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Patrick KoopmannResearcher, TU DresdenVerified email at tu-dresden.de
Yizheng ZhaoUniversity of OxfordVerified email at cs.ox.ac.uk
Mohammad KhodadadiFounder/CEO at Satis.AIVerified email at alumni.manchester.ac.uk
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerified email at mpi-inf.mpg.de
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Warren Del-PintoSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Heinrich WansingRuhr-Universität BochumVerified email at rub.de
Ghadah AlghamdiThe University of ManchesterVerified email at postgrad.manchester.ac.uk
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerified email at lancaster.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Chris BrinkNewcastle University UKVerified email at newcastle.ac.uk
John-Jules Meyeremeritus Utrecht UniversityVerified email at cs.uu.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Andrzej SzalasInstitute of Informatics, University of WarsawVerified email at mimuw.edu.pl
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk

Renate A Schmidt

School of Computer Science, The University of Manchester

Verified email at cs.man.ac.uk

Automated Reasoning Knowledge Engineering Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
System Description: SPASS Version 3.0 C Weidenbach, RA Schmidt, T Hillenbrand, R Rusev, D Topic Lecture Notes in Computer Science, 514-520, 2007	206*	2007
On evaluating decision procedures for modal logic U Hustadt, RA Schmidt Max-Planck-Institut für Informatik, 1997	122	1997
Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications DM Gabbay, RA Schmidt, A Szalas	114	2008
Resolution-based methods for modal logics H De Nivelle, RA Schmidt, U Hustadt Logic Journal of the IGPL 8 (3), 265-292, 2000	109	2000
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic, 387, 2004	104	2004
Issues of decidability for description logics in the framework of resolution U Hustadt, RA Schmidt Automated Deduction in Classical and Non-Classical Logics: Selected Papers …, 2002	103	2002
MSPASS: Modal reasoning by translation and first-order resolution U Hustadt, RA Schmidt Automated Reasoning with Analytic Tableaux and Related Methods …, 2000	93	2000
Peirce algebras C Brink, K Britz, RA Schmidt Formal Aspects of Computing 6, 339-358, 1994	84	1994
A survey of decidable first-order fragments and description logics U Hustadt, RA Schmidt, L Georgieva Journal of Relational Methods in Computer Science 1 (251-276), 3, 2004	83	2004
Functional translation and second-order frame properties of modal logics HJ Ohlbach, RA Schmidt Journal of Logic and Computation 7 (5), 581-603, 1997	78	1997
The Inverse Method. A Degtyarev, A Voronkov Handbook of Automated Reasoning 1, 179-272, 2001	77	2001
Computational modal logic I Horrocks, U Hustadt, U Sattler, R Schmidt Handbook of Modal Logic: Studies in Logic and Practical Reasoning 3, 181-245, 2007	71	2007
Using resolution for testing modal satisfiability and building models U Hustadt, RA Schmidt Journal of Automated Reasoning 28, 205-232, 2002	69	2002
An empirical analysis of modal theorem provers U Hustadt, RA Schmidt Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999	67	1999
Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, R Schmidt Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	63*	2015
Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt Journal of Automated Reasoning 64 (2), 197-251, 2020	58*	2020
Count and Forget: Uniform Interpolation of -Ontologies P Koopmann, RA Schmidt Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014	54	2014
Using tableau to decide expressive description logics with role negation RA Schmidt, D Tishkovsky The Semantic Web: 6th International Semantic Web Conference, 2nd Asian …, 2007	54	2007
Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, LNAI 8152, 87-102, 2013	53	2013
Decidability by resolution for propositional modal logics RA Schmidt Journal of Automated Reasoning 22, 379-396, 1999	53	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors