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

Clare Dixon

Papers on DiSC'02


Reasoning about agents in the KARO framework

Publications


Note: Links lead to the DBLP on the Web.

Clare Dixon

19 Clare Dixon, Michael Fisher , Alexander Bolotov : Clausal resolution in a logic of rational agency. Artificial Intelligence 139 (1): 47-89 (2002)

18 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)

17 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

16 Michael Fisher , Clare Dixon, Martin Peim : Clausal temporal resolution. TOCL 2 (1): 12-56 (2001)

15 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

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

13 Alexander Bolotov , Clare Dixon: Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME 2000 : 163-172

12 Clare Dixon, Michael Fisher : Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000 : 69-78

11 Alexander Bolotov , Clare Dixon, Michael Fisher : Clausal Resolution for CTL * . MFCS 1999 : 137-148

10 Clare Dixon: Removing irrelevant information in temporal resolution proofs. JETAI 11 (1): 95-121 (1999)

9 Clare Dixon, Michael Fisher : The Set of Support Strategy in Temporal Resolution. TIME 1998 : 113-120

8 Clare Dixon: Temporal Resolution Using a Breadth-First Search Algorithm. Annals of Mathematics and Artificial Intelligence 22 (1-2): 87-115 (1998)

7 Clare Dixon, Michael Fisher , Michael Wooldridge : Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation 8 (3): 345-372 (1998)

6 Clare Dixon, Michael Fisher : Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997 : 28-39

5 Clare Dixon: Temporal Resolution: Removing Irrelevant Information. TIME 1997 : 4-11

4 Clare Dixon: Search Strategies for Resolution in Temporal Logics. CADE 1996 : 673-687

3 Michael Fisher , Michael Wooldridge , Clare Dixon: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996 : 178-192

2 Clare Dixon: Temporal Resolution: A Breadth-First Search Approach. TIME 1996

1 Clare Dixon, Michael Fisher , Howard Barringer : A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994 : 415-429




DiSC'02 © 2003 Association for Computing Machinery