Schmidt, Renate A. - School of Computer Science, University of Manchester Institute of Science and Technology

• Annals of Mathematics and Artificial Intelligence manuscript No. (will be inserted by the editor)
• Investigating Finite Models of Non-classical Logics with Relation Algebra and RelView
• Fourth Workshop on the Implementation of Boris Konev
• Peirce Algebras and Their Applications in Artificial In telligence and Computational Linguistics
• Ordered EResolution and Path Logics Renate A. Schmidt
• Terminological Representation, Natural Language & Relation Algebra
• Optimised Modal Translation and Resolution
• On the Relation of Resolution and Tableaux Proof Systems for Description Logics
• Symbolic Arithmetical Reasoning with Qualified Number Restrictions Hans Jurgen Ohlbach, Renate A. Schmidt and Ullrich Hustadt
• Relational Grammars for Knowledge Representation
• Computer Science Un i ve r s i t y o f Manches t e r
• Resolution-Based Methods for Modal Logics
• Simulation and Synthesis of Deduction Calculi Renate A. Schmidt1
• Description Logics for Natural Language Processing D. Fehrer, U. Hustadt, M. Jaeger, A. Nonnengart,
• Maslov's Class K Revisited Ullrich Hustadt and Renate A. Schmidt
• Hyperresolution for Guarded Formulae Lilia Georgieva 1 , Ullrich Hustadt 2 and Renate A. Schmidt 1
• Mechanised Reasoning and Model Generation for Extended Modal Logics
• Existential Graphs for Terminological Logics \Lambda Renate A. Schmidt
• First-Order Resolution Methods for Modal Logics
• A Principle for Incorporating Axioms into the FirstOrder Translation of Modal Formulae #
• MAXPLANCKINSTITUT \Omega \Psi
• MAXPLANCKINSTITUT \Omega \Psi
• An empirical analysis of modal theorem provers Ullrich Hustadt \Lambda
• Peirce Algebras and Relation Algebras are equipollent \Lambda Renate A. Schmidt
• Computer Science Un i ve r s i t y o f Manches t e r
• EUnification for Subsystems of S4 Renate A. Schmidt ?
• Terminological Logics and Conceptual Graphs: An Historical Perspective ?
• The Optimised Functional Translation and Graded Modal Logics
• A ResolutionBased Decision Procedure for Extensions of K4
• MAXPLANCKINSTITUT \Omega \Psi
• Peirce Algebras \Lambda Chris Brink y Katarina Britz y
• November 2003 Computer Science
• MAXPLANCKINSTITUT \Omega \Psi
• October 2004 Computer Science
• A Tableau Method for Checking Rule Admissibility in S4
• MAXPLANCKINSTITUT \Omega \Psi
• Peirce Algebras and Relation Algebras are equipollent* Renate A. Schmidt
• The Optimised Functional Translation and Graded Modal Logics
• Multi-Agent Logics of Dynamic Belief and Knowledge ?
• On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge
• MAXPLANCKINSTITUT \Omega \Psi
• Using Resolution for Testing Modal Satis ability and Building Models
• MOTEL User Manual Version 0.8.2 (February 1994)
• MAX-PLANCK-INSTITUT FU"R
• Peirce Algebras* Chris Brinky Katarina Britzy
• Peirce Algebras and Their Applications in Artificial In-telligence and Computational Linguistics
• MAX-PLANCK-INSTITUT FU"R
• MAXPLANCKINSTITUT \Omega \Psi
• MOTEL User Manual Version 0.8.2 (February 1994)
• Representations as Full Peirce Algebras \Lambda Renate A. Schmidt
• Terminological Logics and Conceptual Graphs: An Historical Perspective?
• MAX-PLANCK-INSTITUT FU"R
• Representations as Full Peirce Algebras* Renate A. Schmidt
• Decidability by resolution for many modal logics* Renate A. Schmidt