Renate A Schmidt 个人学术档案

引用次数

	总计	2019 年至今
引用	3982	971
h 指数	36	16
i10 指数	87	26

220

110

165

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 16 11 14 27 53 97 85 90 102 163 105 106 137 183 141 185 150 148 151 173 150 209 130 160 133 210 184 161 160 150 106

开放获取的出版物数量

查看全部

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 的电子邮件经过验证
Uli SattlerProfessor, IMG, Department of Computer Science, University of Manchester在 cs.man.ac.uk 的电子邮件经过验证
Ruba AlassafUniversity of Manchester在 manchester.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	133	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	90	2004
Peirce algebras C Brink, K Britz, RA Schmidt Formal Aspects of Computing 6, 339-358, 1994	80	1994
The inverse method A Degtyarev, A Voronkov Handbook of Automated Reasoning, 179-272, 2001	79	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	76	1997
Using resolution for testing modal satisfiability and building models U Hustadt, RA Schmidt Journal of Automated Reasoning 28, 205-232, 2002	71	2002
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	70	2007
Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, R Schmidt Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015	69*	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	57*	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用