Search the dblp DataBase

Publications of Author

1. Jürgen Zimmer, Louise A. Dennis
   Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. [Citation Graph (0, 0)][DBLP]
   AISC, 2002, pp:319-331 [Conf]
   
2. Simon Colton, Louise A. Dennis
   The NumbersWithNames Program. [Citation Graph (0, 0)][DBLP]
   AMAI, 2002, pp:- [Conf]
   
3. Graham Collins, Louise A. Dennis
   System Description: Embedding Verification into Microsoft Excel. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:497-501 [Conf]
   
4. Louise A. Dennis, Alan Bundy, Ian Green
   Using A Generalisation Critic to Find Bisimulations for Coinductive Proofs. [Citation Graph (0, 0)][DBLP]
   CADE, 1997, pp:276-290 [Conf]
   
5. Louise A. Dennis
   An Architecture for Proof Planning Systems. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2005, pp:1558-1559 [Conf]
   
6. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Graham Robinson, Michael J. C. Gordon, Thomas F. Melham
   The PROSPER Toolkit. [Citation Graph (0, 0)][DBLP]
   TACAS, 2000, pp:78-92 [Conf]
   
7. Louise A. Dennis, Alan Bundy
   A Comparison of Two Proof Critics: Power vs. Robustness. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2002, pp:182-197 [Conf]
   
8. Louise A. Dennis, Alan Smaill
   Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2001, pp:185-200 [Conf]
   
9. Louise A. Dennis, Alan Bundy, Ian Green
   Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 2000, v:29, n:1-4, pp:99-138 [Journal]
   
10. Louise A. Dennis, Mateja Jamnik, Martin Pollet
    On the Comparison of Proof Planning Systems: lambdaCLAM, Omega and IsaPlanner. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:151, n:1, pp:93-110 [Journal]
    
11. Louise A. Dennis
    Enhancing Theorem Prover Interfaces with Program Slice Information. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:19-33 [Journal]
    
12. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
    The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:189-210 [Journal]
    
13. 
    A flexible framework for verifying agent programs. [Citation Graph (, )][DBLP]
    
    
14. 
    Language Constructs for Multi-agent Programming. [Citation Graph (, )][DBLP]
    
    
15. 
    Automated Verification of Multi-Agent Programs. [Citation Graph (, )][DBLP]
    
    
16. 
    A Common Semantic Basis for BDI Languages. [Citation Graph (, )][DBLP]
    
    
17. 
    Programming Verifiable Heterogeneous Agent Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    A Common Basis for Agent Organisation in BDI Languages. [Citation Graph (, )][DBLP]
    
    
19. 
    Agent Based Approaches to Engineering Autonomous Space Software [Citation Graph (, )][DBLP]