- Programming Verifiable Heterogeneous Agent Systems Louise A. Dennis and Michael Fisher
- An Exploration of Semantic Resolution
- A Comparison of Two Proof Critics: Power vs. Louise A. Dennis 1 and Alan Bundy 2
- Modular Multi-Agent Design Michael Fisher, Louise Dennis and Anthony Hepple
- The PROSPER Toolkit ? Louise A. Dennis 1 , Graham Collins 1 , Michael Norrish 2 , Richard Boulton 3 ,
- Translating into an Intermediate Agent Layer: A Prototype in Maude
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Rippling in PVS A. A. Adams 1 and L. A. Dennis 2
- Using a Generalisation Critic to Find Bisimulations for Coinductive Proofs ?
- A Common Basis for Agent Organisation in BDI Languages
- Automated Verification of Multi-Agent Programs Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher
- Annals of Mathematics and Arti cial Intelligence 0 (2000) ?{? 1 Making a Productive Use of Failure to Generate
- J. Anat. (2004) 204, pp343351 Anatomical Society of Great Britain and Ireland 2004
- Integrating SVC and HOL with the Prosper Toolkit ? Alan Stevenson 1 and Louise A. Dennis 2 ??
- Model Checking Normative Agent Organisations Louise Dennis1
- Model-Checking Auctions, Coalitions and Trust Matt Webster, Louise Dennis, and Michael Fisher
- A Flexible Framework for Verifying Agent Programs (Short Paper)
- Foundations of Flexible Multi-Agent Programming Louise Dennis, Michael Fisher, and Anthony Hepple
- 0.1 Induction Challenge OMDoc Manager (ICOM) Project Home http://www.cs.nott.ac.uk/lad/research/
- Enhancing Theorem Prover Interfaces with Program Slice Information
- School of Computer Science and Information Technology University of Nottingham
- The Use of Proof Planning Critics to Diagnose Errors in the Base Cases of Recursive Programs
- Challenge Problems for Inductive Theorem Provers v1.0 Louise A. Dennis
- Proof-Directed Debugging and Repair Louise A. Dennis1, Raul Monroy2 and Pablo Nogueira1
- Reducing Code Complexity in Hybrid Autonomous Control Systems Louise. A. Dennis*, Michael Fisher*, Nicholas K. Lincoln**, Alexei Lisitsa*, Sandor M. Veres**
- Proof Planning Coinduction Louise Dennis
- Gwendolen: A BDI Language for Verifiable Louise A. Dennis 1 2 and Berndt Farwer 3 4
- Student Attitudes to Plagiarism and Collusion within Computer Louise A. Dennis
- System Description: Embedding Verification into Microsoft Excel ?
- Humans are unique among living primates in that they are habitually bipedal. Other great apes walk bipedally on occasion
- An Architecture for Proof Planning Systems Louise A. Dennis
- Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
- What can be Learned from Failed Proofs of Non-Theorems?
