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

Ullrich Hustadt

Papers on DiSC'02


Reasoning about agents in the KARO framework

Publications


Note: Links lead to the DBLP on the Web.

Ullrich Hustadt

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

16 Brandon Bennett , Clare Dixon , Michael Fisher , Ullrich Hustadt, Enrico Franconi , Ian Horrocks , Maarten de Rijke : Combinations of Modal Logics. Artificial Intelligence Review 17 (1): 1-20 (2002)

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

14 Christian G. Fermüller , Alexander Leitsch , Ullrich Hustadt, Tanel Tammet : Resolution Decision Procedures. Handbook of Automated Reasoning 2001 : 1791-1849

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

12 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

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

10 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

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

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

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

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

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

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

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

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

1 Ullrich Hustadt: Do we need the closed world assumption in knowledge representation? KRDB 1994




DiSC'02 © 2003 Association for Computing Machinery