Követés
Renate A Schmidt
Renate A Schmidt
School of Computer Science, The University of Manchester
E-mail megerősítve itt: cs.man.ac.uk
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1622004
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications
DM Gabbay, R Schmidt, A Szalas
College Publications, 2008
1292008
On evaluating decision procedures for modal logic
U Hustadt, RA Schmidt
Max-Planck-Institut für Informatik, 1997
1211997
Resolution-based methods for modal logics
H De Nivelle, RA Schmidt, U Hustadt
Logic Journal of the IGPL 8 (3), 265-292, 2000
1102000
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
1071998
MSPASS: Modal reasoning by translation and first-order resolution
U Hustadt, RA Schmidt
International Conference on Automated Reasoning with Analytic Tableaux and …, 2000
1022000
Restricting backtracking in connection calculi
B Konev, RA Schmidt, S Schulz, J Otten
Ai Communications 23 (2-3), 159-182, 2010
1002010
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
902004
The Inverse Method.
A Degtyarev, A Voronkov
Handbook of Automated Reasoning 1, 179-272, 2001
822001
Peirce algebras
C Brink, K Britz, RA Schmidt
Formal Aspects of Computing 6, 339-358, 1994
801994
Functional translation and second-order frame properties of modal logics
HJ Ohlbach, RA Schmidt
Journal of Logic and Computation 7 (5), 581-603, 1997
781997
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
722007
Using resolution for testing modal satisfiability and building models
U Hustadt, RA Schmidt
Journal of Automated Reasoning 28, 205-232, 2002
702002
An empirical analysis of modal theorem provers
U Hustadt, RA Schmidt
Journal of Applied Non-Classical Logics 9 (4), 479-522, 1999
661999
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
602014
Forgetting Concept and Role Symbols in ALCH-Ontologies
P Koopmann, RA Schmidt
Logic for Programming, Artificial Intelligence, and Reasoning, 552-567, 2013
59*2013
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20