Renate A Schmidt

Cited by

	All	Since 2019
Citations	4016	1002
h-index	37	17
i10-index	88	28

220

110

165

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 14 11 14 27 53 97 85 90 102 163 105 106 137 183 141 185 150 148 151 174 150 209 130 161 133 210 184 163 162 152 131

Public access

View all

24 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 KoopmannVrije Universiteit AmsterdamVerified email at vu.nl
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
Warren Del-PintoSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Ghadah AlghamdiThe University of ManchesterVerified email at postgrad.manchester.ac.uk
Heinrich WansingRuhr-Universität BochumVerified email at rub.de
Clare DixonUniversity of ManchesterVerified email at manchester.ac.uk
Chris BrinkNewcastle University UKVerified email at newcastle.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerified email at lancaster.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.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
Uwe BrahmMax Planck Insitute for InformaticsVerified email at mpi-klsb.mpg.de

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	209*	2007
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic 5, 387-399, 2004	139	2004
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications DM Gabbay, R Schmidt, A Szalas College Publications, 2008	124	2008
On evaluating decision procedures for modal logic U Hustadt, RA Schmidt Max-Planck-Institut für Informatik, 1997	124	1997
Resolution-based methods for modal logics H De Nivelle, RA Schmidt, U Hustadt Logic Journal of the IGPL 8 (3), 265-292, 2000	110	2000
Issues of decidability for description logics in the framework of resolution U Hustadt, RA Schmidt International Workshop on First-Order Theorem Proving, 191-205, 1998	106	1998
MSPASS: Modal reasoning by translation and first-order resolution U Hustadt, RA Schmidt Automated Reasoning with Analytic Tableaux and Related Methods …, 2000	99	2000
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	91	2004
The inverse method A Degtyarev, A Voronkov Handbook of Automated Reasoning, 179-272, 2001	81	2001
Peirce algebras C Brink, K Britz, RA Schmidt Formal Aspects of Computing 6, 339-358, 1994	80	1994
Functional translation and second-order frame properties of modal logics HJ Ohlbach, RA Schmidt Journal of Logic and Computation 7 (5), 581-603, 1997	76	1997
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	71	2002
Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, R Schmidt Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	70*	2015
An empirical analysis of modal theorem provers U Hustadt, RA Schmidt Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999	69	1999
Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt Journal of Automated Reasoning 64 (2), 197-251, 2020	59*	2020
Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, LNAI 8152, 87-102, 2013	58*	2013
Count and forget: uniform interpolation of-ontologies P Koopmann, RA Schmidt International Joint Conference on Automated Reasoning, 434-448, 2014	56	2014
Forgetting Concept and Role Symbols in ALCH-Ontologies P Koopmann, RA Schmidt Logic for Programming, Artificial Intelligence, and Reasoning, 552-567, 2013	55*	2013
Using tableau to decide expressive description logics with role negation RA Schmidt, D Tishkovsky International Semantic Web Conference, 438-451, 2007	55	2007

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