Renate A Schmidt

Citeras av

	Alla	Sedan 2020
Citat	4370	942
h-index	39	15
i10-index	95	23

240

120

180

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 10 14 26 50 98 85 90 106 164 104 105 139 192 142 192 162 165 164 187 164 230 147 183 156 231 195 187 181 167 191 21

Offentlig åtkomst

Visa alla

26 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
Patrick KoopmannVrije Universiteit AmsterdamVerifierad e-postadress på vu.nl
Boris KonevProfessor of Computer Science, Liverpool UniversityVerifierad e-postadress på liverpool.ac.uk
Stephan SchulzProfessor of Computer Science, DHBW StuttgartVerifierad e-postadress på eprover.org
Mohammad KhodadadiFounder/CEO at Satis.AIVerifierad e-postadress på alumni.manchester.ac.uk
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusVerifierad e-postadress på mpi-inf.mpg.de
Warren Del-PintoSchool of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerifierad e-postadress på cs.man.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerifierad e-postadress på uwa.edu.au
Ghadah AlghamdiThe University of ManchesterVerifierad e-postadress på postgrad.manchester.ac.uk
Heinrich WansingRuhr-Universität BochumVerifierad e-postadress på rub.de
Clare DixonUniversity of ManchesterVerifierad e-postadress på manchester.ac.uk
Chris BrinkNewcastle University UKVerifierad e-postadress på newcastle.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyVerifierad e-postadress på lancaster.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
John-Jules Meyeremeritus Utrecht UniversityVerifierad e-postadress på cs.uu.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerifierad e-postadress på liverpool.ac.uk
Ruba AlassafUniversity of ManchesterVerifierad e-postadress på manchester.ac.uk
Andrzej SzalasInstitute of Informatics, University of WarsawVerifierad e-postadress på mimuw.edu.pl

Följ

Renate A Schmidt

School of Computer Science, The University of Manchester

Verifierad e-postadress på cs.man.ac.uk

Automated Reasoning Knowledge Engineering Artificial Intelligence


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
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 Advances in modal logic 5, 387-399, 2004	162	2004
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications DM Gabbay, R Schmidt, A Szalas College Publications, 2008	129	2008
On evaluating decision procedures for modal logic U Hustadt, RA Schmidt Max-Planck-Institut für Informatik, 1997	121	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	107	1998
MSPASS: Modal reasoning by translation and first-order resolution U Hustadt, RA Schmidt International Conference on Automated Reasoning with Analytic Tableaux and …, 2000	102	2000
Restricting backtracking in connection calculi B Konev, RA Schmidt, S Schulz, J Otten Ai Communications 23 (2-3), 159-182, 2010	100	2010
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	90	2004
The Inverse Method. A Degtyarev, A Voronkov Handbook of Automated Reasoning 1, 179-272, 2001	82	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	78	1997
Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, R Schmidt Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	76*	2015
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	72	2007
Using resolution for testing modal satisfiability and building models U Hustadt, RA Schmidt Journal of Automated Reasoning 28, 205-232, 2002	70	2002
An empirical analysis of modal theorem provers U Hustadt, RA Schmidt Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999	66	1999
Blocking and other enhancements for bottom-up model generation methods P Baumgartner, RA Schmidt Journal of Automated Reasoning 64 (2), 197-251, 2020	63*	2020
Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, LNAI 8152, 87-102, 2013	61*	2013
Count and forget: uniform interpolation of-ontologies P Koopmann, RA Schmidt International Joint Conference on Automated Reasoning, 434-448, 2014	60	2014
Forgetting Concept and Role Symbols in ALCH-Ontologies P Koopmann, RA Schmidt Logic for Programming, Artificial Intelligence, and Reasoning, 552-567, 2013	59*	2013

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare