Renate A. Schmidt - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Preface: Special Issue of Selected Extended Papers of CADE-22Renate A. Schmidt, Brigitte Pientka. JAR, 47(2):107-109, 2011. [doi]

Synthesising Terminating Tableau Calculi for Relational Logics - (Invited Paper)Renate A. Schmidt. RelMiCS 2011: 40-49 [doi]

METTEL/textsc{Met/hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference EngineDmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi. tableaux 2011: 242-247 [doi]

2010

A Tableau Method for Checking Rule Admissibility in S4Sergey Babenyshev, Vladimir V. Rybakov, Renate A. Schmidt, Dmitry Tishkovsky. ENTCS, 262:17-32, 2010. [doi]

Special issue on practical aspects of automated reasoningBoris Konev, Renate A. Schmidt, Stephan Schulz. aicom, 23(2-3):67-68, 2010. [doi]

Simulation and Synthesis of Deduction CalculiRenate A. Schmidt. ENTCS, 262:221-229, 2010. [doi]

2009

Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. ProceedingsRenate A. Schmidt, editor, Volume 5663 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Automated Synthesis of Tableau CalculiRenate A. Schmidt, Dmitry Tishkovsky. tableaux 2009: 310-324 [doi]

A new methodology for developing deduction methodsRenate A. Schmidt. AMAI, 55(1-2):155-187, 2009. [doi]

Empirically successful computerized reasoningRenate A. Schmidt, Geoff Sutcliffe, Stephan Schulz. japll, 7(1):1, 2009. [doi]

Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial LecturesSergio Tessaris, Enrico Franconi, Thomas Eiter, Claudio Gutierrez, Siegfried Handschuh, Marie-Christine Rousset, Renate A. Schmidt, editors, Volume 5689 of Lecture Notes in Computer Science, Springer, 2009. [doi]

2008

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Volume 373 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz, editors, Volume 418 of CEUR Workshop Proceedings, CEUR-WS.org, 2008.

On combinations of propositional dynamic logic and doxastic modal logicsRenate A. Schmidt, Dmitry Tishkovsky. jolli, 17(1):109-129, 2008. [doi]

A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order FragmentsRenate A. Schmidt, Dmitry Tishkovsky. cade 2008: 194-209 [doi]

Improved Second-Order Quantifier Elimination in Modal LogicRenate A. Schmidt. jelia 2008: 375-388 [doi]

Relations and Kleene Algebras in Computer ScienceRenate A. Schmidt, Georg Struth. jlp, 76(1):1-2, 2008. [doi]

2007

2006

Blocking and Other Enhancements for Bottom-Up Model Generation MethodsPeter Baumgartner, Renate A. Schmidt. cade 2006: 125-139 [doi]

Investigating Finite Models of Non-classical Logics with Relation Algebra and RelViewRudolf Berghammer, Renate A. Schmidt. RelMiCS 2006: 31-49 [doi]

Developing Modal Tableaux and Resolution Methods via First-Order ResolutionRenate A. Schmidt. aiml 2006: 1-26 [doi]

Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, ProceRenate A. Schmidt, editor, Volume 4136 of Lecture Notes in Computer Science, Springer, 2006.

2005

Deciding Monodic Fragments by Temporal ResolutionUllrich Hustadt, Boris Konev, Renate A. Schmidt. cade 2005: 204-218 [doi]

Advances in Modal Logic 5, papers from the fifth conference on Advances in Modal logic, held in Manchester (UK) in September 2004Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing, editors, King s College Publications, 2005.

2004

Interactions between Knowledge, Action and Commitment within Agent Dynamic LogicRenate A. Schmidt, Dmitry Tishkovsky, Ullrich Hustadt. sLogica, 78(3):381-415, 2004. [doi]

Multi-Agent Dynamic Logics with Informational TestRenate A. Schmidt, Dmitry Tishkovsky. AMAI, 42(1-3):5-36, 2004. [doi]

2003

2002

2001

Computational Space Efficiency and Minimal Model Generation for Guarded FormulaeLilia Georgieva, Ullrich Hustadt, Renate A. Schmidt. lpar 2001: 85-99 [doi]

Reasoning about agents in the KARO frameworkUllrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek. rtas 2001: 206-213 [doi]

2000

1999

1998

1997

On Evaluating Decision Procedures for Modal LogicUllrich Hustadt, Renate A. Schmidt. IJCAI 1997: 202-209

Functional Translation and Second-Order Frame Properties of Modal LogicsHans Jürgen Ohlbach, Renate A. Schmidt. logcom, 7(5):581-603, 1997.

1994

Peirce AlgebrasChris Brink, Katarina Britz, Renate A. Schmidt. fac, 6(3):339-358, 1994.

1993

Editorial: The Possibility of Generating True ConjecturesHans Jürgen Ohlbach, Renate A. Schmidt. logcom, 3(4):341-343, 1993.

1992

Terminological Representation, Natural Language & Relation AlgebraRenate A. Schmidt. ki 1993: 357-371

1991

Autodescriptivity: Beware!Chris Brink, Ingrid Rewitzky, Renate A. Schmidt. cj, 34(4):379-381, 1991.