Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Renate A. Schmidt

Papers on DiSC'02


Reasoning about agents in the KARO framework

Publications


Note: Links lead to the DBLP on the Web.

Renate A. Schmidt

22 Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt: A New Clausal Class Decidable by Hyperresolution. CADE 2002 : 260-274

21 Ullrich Hustadt , Renate A. Schmidt: Using Resolution for Testing Modal Satisfiability and Building Models. Journal of Automated Reasoning 28 (2): 205-232 (2002)

20 Lilia Georgieva , Ullrich Hustadt , Renate A. Schmidt: Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. LPAR 2001 : 85-99

19 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt, Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek : Reasoning about agents in the KARO framework. TIME 2001 : 206-213

18 Renate A. Schmidt, Ullrich Hustadt : A Resolution Decision Procedure for Fluted Logic. CADE 2000 : 433-448

17 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt, Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek : Verification within the KARO Agent Theory. FAABS 2000 : 33-47

16 Ullrich Hustadt , Clare Dixon , Renate A. Schmidt, Michael Fisher : Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000 : 73-87

15 Ullrich Hustadt , Renate A. Schmidt: MSPASS: Modal Reasoning by Translation and First-Order Resolution. TABLEAUX 2000 : 67-71

14 Ullrich Hustadt , Renate A. Schmidt: Maslov's Class K Revisited. CADE 1999 : 172-186

13 Ullrich Hustadt , Renate A. Schmidt, Christoph Weidenbach : MSPASS: Subsumption Testing with SPASS. Description Logics 1999

12 Ullrich Hustadt , Renate A. Schmidt: On the Relation of Resolution and Tableaux Proof Systems for Description Logics. IJCAI 1999 : 110-117

11 Renate A. Schmidt: Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning 22 (4): 379-396 (1999)

10 Ullrich Hustadt , Renate A. Schmidt: Issues of Decidability for Description Logics in the Framework of Resolution. FTP (LNCS Selection) 1998 : 191-205

9 Renate A. Schmidt: E -Unification for Subsystems of S4 . RTA 1998 : 106-120

8 Renate A. Schmidt: Decidability by unrefined resolution for propositional modal logics. RelMiCS 1998 : 192-196

7 Ullrich Hustadt , Renate A. Schmidt: Simplification and Backjumping in Modal Tableau. TABLEAUX 1998 : 187-201

6 Ullrich Hustadt , Renate A. Schmidt: On Evaluating Decision Procedures for Modal Logic. IJCAI (1) 1997 : 202-209

5 Hans Jürgen Ohlbach , Renate A. Schmidt: Functional Translation and Second-Order Frame Properties of Modal Logics. Journal of Logic and Computation 7 (5): 581-603 (1997)

4 Chris Brink , Katarina Britz , Renate A. Schmidt: Peirce Algebras. Formal Aspects of Computing 6 (3): 339-358 (1994)

3 Hans Jürgen Ohlbach , Renate A. Schmidt: Editorial: The Possibility of Generating True Conjectures. Journal of Logic and Computation 3 (4): 341-343 (1993)

2 Renate A. Schmidt: Terminological Representation, Natural Language & Relation Algebra. GWAI 1992 : 357-371

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




DiSC'02 © 2003 Association for Computing Machinery