Renate A Schmidt

Citado por

	Total	Desde 2018
Citas	3851	996
Índice h	36	17
Índice i10	87	31

220

110

165

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 14 9 14 30 53 96 79 89 103 160 103 109 130 181 139 182 144 145 152 171 145 208 128 166 133 214 182 167 151 146

Acceso público

Ver todo

23 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ullrich HustadtReader, Department of Computer Science, University of LiverpoolDirección de correo verificada de liverpool.ac.uk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Yizheng ZhaoUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Mohammad KhodadadiFounder/CEO at Satis.AIDirección de correo verificada de alumni.manchester.ac.uk
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics CampusDirección de correo verificada de mpi-inf.mpg.de
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterDirección de correo verificada de cs.man.ac.uk
Warren Del-PintoSchool of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western AustraliaDirección de correo verificada de uwa.edu.au
Heinrich WansingRuhr-Universität BochumDirección de correo verificada de rub.de
Ghadah AlghamdiThe University of ManchesterDirección de correo verificada de postgrad.manchester.ac.uk
Clare DixonUniversity of ManchesterDirección de correo verificada de manchester.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityDirección de correo verificada de liverpool.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, GermanyDirección de correo verificada de lancaster.ac.uk
Chris BrinkNewcastle University UKDirección de correo verificada de newcastle.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
John-Jules Meyeremeritus Utrecht UniversityDirección de correo verificada de cs.uu.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupDirección de correo verificada de liverpool.ac.uk
Andrzej SzalasInstitute of Informatics, University of WarsawDirección de correo verificada de mimuw.edu.pl
David RydeheardDepartment of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterDirección de correo verificada de cs.man.ac.uk

Seguir

Renate A Schmidt

School of Computer Science, The University of Manchester

Dirección de correo verificada de cs.man.ac.uk

Automated Reasoning Knowledge Engineering Artificial Intelligence


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
System Description: SPASS Version 3.0 C Weidenbach, RA Schmidt, T Hillenbrand, R Rusev, D Topic Lecture Notes in Computer Science, 514-520, 2007	201*	2007
On evaluating decision procedures for modal logic U Hustadt, RA Schmidt Max-Planck-Institut für Informatik, 1997	124	1997
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds Advances in modal logic 5, 387-399, 2004	117	2004
Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications DM Gabbay, RA Schmidt, A Szalas	113	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
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	103	1998
MSPASS: Modal reasoning by translation and first-order resolution U Hustadt, RA Schmidt Automated Reasoning with Analytic Tableaux and Related Methods …, 2000	96	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	85	2004
Peirce algebras C Brink, K Britz, RA Schmidt Formal Aspects of Computing 6, 339-358, 1994	77	1994
The inverse method A Degtyarev, A Voronkov Handbook of Automated Reasoning, 179-272, 2001	76	2001
Functional translation and second-order frame properties of modal logics HJ Ohlbach, RA Schmidt Journal of Logic and Computation 7 (5), 581-603, 1997	75	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	69	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	59*	2020
Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, LNAI 8152, 87-102, 2013	55*	2013
Count and forget: uniform interpolation of-ontologies P Koopmann, RA Schmidt International Joint Conference on Automated Reasoning, 434-448, 2014	54	2014
Forgetting Concept and Role Symbols in ALCH-Ontologies P Koopmann, RA Schmidt Logic for Programming, Artificial Intelligence, and Reasoning, 552-567, 2013	53*	2013
Using tableau to decide expressive description logics with role negation RA Schmidt, D Tishkovsky International Semantic Web Conference, 438-451, 2007	53	2007

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores