The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Clare Dixon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  41. A Refined Resolution Calculus for CTL. [Citation Graph (, )][DBLP]


  42. Taming the Complexity of Temporal Epistemic Reasoning. [Citation Graph (, )][DBLP]


  43. Practical First-Order Temporal Reasoning. [Citation Graph (, )][DBLP]


  44. CTL-RP: A computation tree logic resolution prover. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.285secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002