Renate A Schmidt
Renate A Schmidt
School of Computer Science, The University of Manchester
Verified email at cs.man.ac.uk
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
193*2007
On evaluating decision procedures for modal logic
U Hustadt, RA Schmidt
Max-Planck-Institut für Informatik, 1997
1161997
Resolution-based methods for modal logics
H De Nivelle, RA Schmidt, U Hustadt
Logic Journal of the IGPL 8 (3), 265-292, 2000
1042000
Second-Order Quantifier Elimination. Foundations, Computational Aspects and Applications
DM Gabbay, RA Schmidt, A Szalas
962008
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
961998
MSPASS: Modal reasoning by translation and first-order resolution
U Hustadt, RA Schmidt
International Conference on Automated Reasoning with Analytic Tableaux and …, 2000
912000
Peirce algebras
C Brink, K Britz, RA Schmidt
Formal Aspects of Computing 6 (3), 339-358, 1994
841994
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
802004
Functional translation and second-order frame properties of modal logics
HJ Ohlbach, RA Schmidt
Journal of Logic and Computation 7 (5), 581-603, 1997
741997
The inverse method
A Degtyarev, A Voronkov, SRU Hustadt, G Mints, F Pfenning, R Schmidt
702001
An empirical analysis of modal theorem provers
U Hustadt, RA Schmidt
Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999
661999
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
632007
Using resolution for testing modal satisfiability and building models
U Hustadt, RA Schmidt
Journal of Automated Reasoning 28 (2), 205-232, 2002
622002
Translating graded modalities into predicate logics
HJ Ohlbach, R Schmidt, U Hustadt
Proof theory of modal logic, 253-291, 1996
60*1996
Blocking and other enhancements for bottom-up model generation methods
P Baumgartner, RA Schmidt
Journal of Automated Reasoning 64 (2), 197-251, 2020
56*2020
Automated synthesis of tableau calculi
RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2009
532009
Using tableau to decide expressive description logics with role negation
RA Schmidt, D Tishkovsky
The Semantic Web, 438-451, 2007
522007
On the Relation of Resolution and Tableaux Proof Systems for Description Logics
U Hustadt, RA Schmidt
International Joint Conference on Artificial Intelligence, 110-115, 1999
511999
A principle for incorporating axioms into the first-order translation of modal formulae
RA Schmidt, U Hustadt
International Conference on Automated Deduction, 412-426, 2003
472003
Count and Forget: Uniform Interpolation of -Ontologies
P Koopmann, RA Schmidt
International Joint Conference on Automated Reasoning, 434-448, 2014
462014
The system can't perform the operation now. Try again later.
Articles 1–20