Browse by Authors and Editors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 17.

Dennis, Louise Abigail and Bundy, Alan (2002) A Comparison of two Proof Critics: Power vs. Robustness. In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, August 20-23, 2002, Hampton, VA, USA.

Dennis, Louise Abigail (2005) An Architecture for Proof Planning Systems. In: Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05, July, Edinburgh.

Sellers, William Irvin and Dennis, Louise Abigail and Wang, W.-J. and Crompton, Robin Hugh (2004) Evaluating alternative gait strategies using evolutionary robotics. Journal of Anatomy, 204 . pp. 343-351.

Zimmer, Juergen and Dennis, Louise Abigail (2002) Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus. In: Artificial Intelligence, Automated Reasoning and Symbolic Computation (Calculemus 02), 2002, Marseille, France.

Stevenson, Alan and Dennis, Louise Abigail (2000) Integrating SVC and HOL with the PROSPER Toolkit. In: Theorem Proving in Higher Order Logics (TPHOLs 2000) Supplemental Proceedings, 2000, Oregon Graduate Institute, USA.

Dennis, Louise Abigail and Jamnik, Mateja and Pollet, Martin (2005) On the comparison of proof planning systems: Lambda-clam, Omega and IsaPlanner. In: 12th Symposium on the Integratoin of Symbolic Computation and Mechanized Reasoning (Calculemus 2005), July, Newcastle. (In Press)

Dennis, Louise Abigail and Smaill, Alan (2001) Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In: 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), 2001, Edinburgh, UK.

Sellers, William Irvin and Dennis, Louise Abigail and Crompton, Robin Hugh (2003) Predicting the metabolic energy costs of bipedalism using evolutionary robotics. The Journal of Experimental Biology, 206 . pp. 1127-1136.

Adams, Andrew A. and Dennis, Louise Abigail (2003) Rippling in PVS. In: Design and Application of Strategies/Tactics in Higher Order Logics (STRATA 2003), September 8, 2003, Rome, Italy.

Dennis, Louise Abigail (2005) Student attitudes to plagiarism and collusion within computer science. In: Plagiarism: Prevention, Practics and Policy, July 2004, Newcastle-Upon-Tyne, UK.

Collins, Graham and Dennis, Louise Abigail (2000) System Description: Embedding Verification into Microsoft Excel. In: Automted Deduction (CADE-17), 2000, Pennsylvania.

Colton, Simon and Dennis, Louise Abigail (2002) The NumbersWithNames Program. In: Seventh International Sumposium on Artificial Intelligence and Mathematics, January 2-4, 2002, Fort Lauderdale, Florida, USA.

Dennis, Louise Abigail and Collins, Graham and Norrish, Michael and Boulton, Richard and Slind, Konrad and Robinson, Graham and Gordon, Mike and Melham, Tom (2000) The PROSPER Toolkit. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), 2000, Berlin.

Dennis, Louise Abigail and Bundy, Alan and Green, Ian (2000) The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29 (1-4). pp. 99-138.

Dennis, Louise Abigail (2004) The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs. In: IJCAR 2004 Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability, July 2004, Cork, Ireland.

Dennis, Louise Abigail and Bundy, Alan and Green, Ian (1999) Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In: 14th International Conference on Automated Deduction (CADE-14), 1999, Townsville, Australia.

Dennis, Louise Abigail and Nogueira, Pablo (2005) What can be learned from failed proofs of non-theorems? In: Theorem Proving in Higher Order Logics: Emerging Trends Proceedings, September, Oxford.

This list was generated on Thu Oct 23 14:06:00 2014 IST.