Renate A Schmidt

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	4097	863
h-index	37	15
i10-index	89	22

220

110

165

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 11 14 27 53 97 85 90 102 163 107 104 137 183 141 184 150 148 151 174 150 212 131 163 136 213 184 162 171 149 182 15

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

24 مقالة

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Ullrich HustadtReader, Department of Computer Science, University of Liverpoolبريد إلكتروني تم التحقق منه على liverpool.ac.uk
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of Manchesterبريد إلكتروني تم التحقق منه على manchester.ac.uk
Patrick KoopmannVrije Universiteit Amsterdamبريد إلكتروني تم التحقق منه على vu.nl
Mohammad KhodadadiFounder/CEO at Satis.AIبريد إلكتروني تم التحقق منه على alumni.manchester.ac.uk
Christoph WeidenbachProfessor of Computer Science, Max Planck Institute for Informatics, Saarland Informatics Campusبريد إلكتروني تم التحقق منه على mpi-inf.mpg.de
Warren Del-PintoSchool of Computer Science, University of Manchesterبريد إلكتروني تم التحقق منه على manchester.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of Manchesterبريد إلكتروني تم التحقق منه على cs.man.ac.uk
Mark ReynoldsProfessor of Computer Science, University of Western Australiaبريد إلكتروني تم التحقق منه على uwa.edu.au
Ghadah AlghamdiThe University of Manchesterبريد إلكتروني تم التحقق منه على postgrad.manchester.ac.uk
Heinrich WansingRuhr-Universität Bochumبريد إلكتروني تم التحقق منه على rub.de
Clare DixonUniversity of Manchesterبريد إلكتروني تم التحقق منه على manchester.ac.uk
Chris BrinkNewcastle University UKبريد إلكتروني تم التحقق منه على newcastle.ac.uk
Fabio PapacchiniLecturer in Computer Science, Lancaster University Leipzig, Germanyبريد إلكتروني تم التحقق منه على lancaster.ac.uk
Boris KonevProfessor of Computer Science, Liverpool Universityبريد إلكتروني تم التحقق منه على liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of Manchesterبريد إلكتروني تم التحقق منه على manchester.ac.uk
John-Jules Meyeremeritus Utrecht Universityبريد إلكتروني تم التحقق منه على cs.uu.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents Groupبريد إلكتروني تم التحقق منه على liverpool.ac.uk
Andrzej SzalasInstitute of Informatics, University of Warsawبريد إلكتروني تم التحقق منه على mimuw.edu.pl
Ruba AlassafUniversity of Manchesterبريد إلكتروني تم التحقق منه على manchester.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of Manchesterبريد إلكتروني تم التحقق منه على cs.man.ac.uk

متابعة

Renate A Schmidt

School of Computer Science, The University of Manchester

بريد إلكتروني تم التحقق منه على cs.man.ac.uk

Automated Reasoning Knowledge Engineering Artificial Intelligence


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
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‏	159	2004
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications‏ DM Gabbay, R Schmidt, A Szalas‏ College Publications, 2008‏	128	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‏	93	2004
The inverse method‏ A Degtyarev, A Voronkov‏ Handbook of Automated Reasoning, 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‏	76	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‏	72*	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‏	71	2002
An empirical analysis of modal theorem provers‏ U Hustadt, RA Schmidt‏ Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999‏	69	1999
Uniform Interpolation of ALC-Ontologies Using Fixpoints‏ P Koopmann, RA Schmidt‏ Frontiers of Combining Systems, LNAI 8152, 87-102, 2013‏	60*	2013
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
Forgetting Concept and Role Symbols in ALCH-Ontologies‏ P Koopmann, RA Schmidt‏ Logic for Programming, Artificial Intelligence, and Reasoning, 552-567, 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
Using tableau to decide expressive description logics with role negation‏ RA Schmidt, D Tishkovsky‏ International Semantic Web Conference, 438-451, 2007‏	55	2007

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون