dblp.uni-trier.dewww.uni-trier.de

Clare Dixon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
44EELan Zhang, Ullrich Hustadt, Clare Dixon: A Refined Resolution Calculus for CTL. CADE 2009: 245-260
43EEClare Dixon, Michael Fisher, Boris Konev: Taming the Complexity of Temporal Epistemic Reasoning. FroCos 2009: 198-213
2008
42EEClare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Practical First-Order Temporal Reasoning. TIME 2008: 156-163
2007
41EEClare Dixon, Michael Fisher, Boris Konev: Temporal Logic with Capacity Constraints. FroCos 2007: 163-177
40EEClare Dixon, Michael Fisher, Boris Konev: Tractable Temporal Reasoning. IJCAI 2007: 318-323
39EEClare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Efficient First-Order Temporal Logic for Infinite-State Systems CoRR abs/cs/0702036: (2007)
38EEClare 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)
37EECláudia Nalon, Clare Dixon: Clausal resolution for normal modal logics. J. Algorithms 62(3-4): 117-134 (2007)
2006
36EECláudia Nalon, Clare Dixon: Anti-prenexing and Prenexing for Modal Logics. JELIA 2006: 333-345
35EEClare Dixon, Michael Fisher, Boris Konev: Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18
34EEClare Dixon: Using temporal logics of knowledge for specification and verification - a case study. J. Applied Logic 4(1): 50-78 (2006)
2005
33EEClare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005)
32EEBoris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
31EEM. 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
30EEClá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
28EEClare 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
27EEAlessandro 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
25EEClare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71
24EEBoris 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
23EEM. Carmen Fernández Gago, Michael Fisher, Clare Dixon: Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252
22EEClare 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)
20EEAlexander 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
19EEUllrich 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
18EEMichael Fisher, Clare Dixon, Martin Peim: Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001)
2000
17EEUllrich 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
15EEAlexander Bolotov, Clare Dixon: Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. TIME 2000: 163-172
14EEClare Dixon, Michael Fisher: Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000: 69-78
1999
13EEAlexander Bolotov, Clare Dixon, Michael Fisher: Clausal Resolution for CTL*. MFCS 1999: 137-148
12EEMichael 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
10EEClare 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
5EEClare Dixon: Temporal Resolution: Removing Irrelevant Information. TIME 1997: 4-11
1996
4EEClare 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)