Clare Dixon

	2009
44		Lan Zhang, Ullrich Hustadt, Clare Dixon: A Refined Resolution Calculus for CTL. CADE 2009: 245-260
43		Clare Dixon, Michael Fisher, Boris Konev: Taming the Complexity of Temporal Epistemic Reasoning. FroCos 2009: 198-213
	2008
42		Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Practical First-Order Temporal Reasoning. TIME 2008: 156-163
	2007
41		Clare Dixon, Michael Fisher, Boris Konev: Temporal Logic with Capacity Constraints. FroCos 2007: 163-177
40		Clare Dixon, Michael Fisher, Boris Konev: Tractable Temporal Reasoning. IJCAI 2007: 318-323
39		Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Efficient First-Order Temporal Logic for Infinite-State Systems CoRR abs/cs/0702036: (2007)
38		Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Temporal Logics of Knowledge and their Applications in Security. Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007)
37		Cláudia Nalon, Clare Dixon: Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007)
	2006
36		Cláudia Nalon, Clare Dixon: Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345
35		Clare Dixon, Michael Fisher, Boris Konev: Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18
34		Clare Dixon: Using temporal logics of knowledge for specification and verification - a case study. J. Applied Logic 4(1): 50-78 (2006)
	2005
33		Clare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005)
32		Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
31		M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev: First-Order Temporal Verification in Practice. J. Autom. Reasoning 34(3): 295-321 (2005)
	2004
30		Cláudia Nalon, Clare Dixon, Michael Fisher: Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248
29		Clare Dixon: Miss Scarlett in the Ballroom with the Lead Piping. ECAI 2004: 995-996
28		Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME 2004: 148-151
27		Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)
26		Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. Journal of Applied Non-Classical Logics 14(4): 397-445 (2004)
	2003
25		Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71
24		Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82
	2002
23		M. Carmen Fernández Gago, Michael Fisher, Clare Dixon: Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252
22		Clare Dixon, Michael Fisher, Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002)
21		Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
20		Alexander Bolotov, Michael Fisher, Clare Dixon: On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12(4): 561-581 (2002)
	2001
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		Michael Fisher, Clare Dixon, Martin Peim: Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001)
	2000
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		Alexander Bolotov, Clare Dixon: Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME 2000: 163-172
14		Clare Dixon, Michael Fisher: Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000: 69-78
	1999
13		Alexander Bolotov, Clare Dixon, Michael Fisher: Clausal Resolution for CTL*. MFCS 1999: 137-148
12		Michael Fisher, Clare Dixon, Martin Peim: Clausal Temporal Resolution CoRR cs.LO/9907032: (1999)
11		Clare Dixon: Removing irrelevant information in temporal resolution proofs. J. Exp. Theor. Artif. Intell. 11(1): 95-121 (1999)
	1998
10		Clare Dixon, Michael Fisher: The Set of Support Strategy in Temporal Resolution. TIME 1998: 113-120
9		Clare Dixon: Temporal Resolution Using a Breadth-First Search Algorithm. Ann. Math. Artif. Intell. 22(1-2): 87-115 (1998)
8		Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998)
7		Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics 8(3): (1998)
	1997
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
	1996
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
	1994
1		Clare Dixon, Michael Fisher, Howard Barringer: A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429

Coauthor Index

1	Alessandro Artale	[27]
2	Howard Barringer	[1]
3	Brandon Bennett	[21]
4	Alexander Bolotov	[13] [15] [20] [22] [33]
5	Anatoli Degtyarev	[24] [32]
6	Michael Fisher	[1] [3] [6] [7] [8] [10] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [35] [38] [39] [40] [41] [42] [43]
7	Enrico Franconi	[21] [27]
8	M. Carmen Fernández Gago	[23] [28] [31] [38]
9	Wiebe van der Hoek	[17] [19] [28] [38]
10	Ian Horrocks	[21]
11	Ullrich Hustadt	[16] [17] [19] [21] [24] [31] [32] [44]
12	Boris Konev	[24] [31] [32] [35] [39] [40] [41] [42] [43]
13	Alexei Lisitsa	[39] [42]
14	John-Jules Ch. Meyer	[17] [19]
15	Cláudia Nalon	[25] [26] [30] [36] [37]
16	Martin Peim	[12] [18]
17	Maarten de Rijke	[21]
18	Renate A. Schmidt	[16] [17] [19]
19	Michael Wooldridge (Michael J. Wooldridge)	[3] [7] [8]
20	Lan Zhang	[44]