 |
Centre for Intelligent Systems and their Applications
Publications
-
The DARPA High Performance Knowledge Bases Programme
John Kingston
Oct 1997, EDI-INF-RR0047
-
A Computer Based Application for Ship Survey Reporting
John Kingston, Manolis Sideris, Nikos Parthenios and Nicholas Kyrtatos
Sep 1999, EDI-INF-RR0048
-
A Framework for the Flexible Integration of a Class of Decision Procedures into Theorem Provers
Predrag Janicic, Alan Bundy and Ian Green
Jan 1999, EDI-INF-RR0096
-
Artificial Intelligence and Scientific Creativity
Simon Colton and Graham Steel
Aug 1999, EDI-INF-RR0260
-
Choosing the Right Model
R.R. Leitch, Qiang Shen, G.M. Coghill and M.J. Chantler
Sep 1999, EDI-INF-RR0133
-
Knowledge Management Techniques: Teaching & Dissemination Concepts
Ann Mackintosh, John Kingston and Ian Filby
Sep 1999, EDI-INF-RR0049
-
Knowledge Management through Multi-Perspective Modelling: Representing and Distributing Organizational Memory
John Kingston and Ann Macintosh
Dec 1999, EDI-INF-RR0052
-
Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts
Louise Dennis, Alan Bundy and Ian Green
1999, EDI-INF-RR0004
-
Multi-Perspective Planning - Using Domain Constraints to Support the Coordinated Development of Plans
Austin Tate, Jeffrey Dalton and John Levine
Apr 1999, EDI-INF-RR0111
-
Using AI Planning Techniques for Army Small Unit Operations
Austin Tate, John Levine, Peter Jarvis and Jeffrey Dalton
Dec 1999, EDI-INF-RR0006
-
"GenPlan": Combining Genetic Programming and Planning
Henrik Westerberg and John Levine
Dec 2000, EDI-INF-RR0104
-
<I-N-OVA> and <I-N-CA> - Representing Plans and other Synthesised Artifacts as a Set of Constraints
Austin Tate
Aug 2000, EDI-INF-RR0110
-
A Modular Approach to Generating Fuzzy Rules with Reduced Attributes for the Monitoring of Complex Systems
Qiang Shen and Alexios Chouchoulas
May 2000, EDI-INF-RR0122
-
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains
Daniel Winterstein, Alan Bundy and Mateja Jamnik
Sep 2000, EDI-INF-RR0291
-
A modular, tactic-based approach to first-order temporal theorem proving
Claudio Castellini and Alan Smaill
Oct 2000, EDI-INF-RR0152
-
Applying Genetic Algorithms to Hierarchical Task Network Planning
Lea Ruscio, John Levine and John Kingston
Dec 2000, EDI-INF-RR0105
-
Cross Domain Mathematical Concept Formation
Graham Steel, Simon Colton, Alan Bundy and Toby Walsh
May 2000, EDI-INF-RR0019
-
Dynamic Flexible Constraint Satisfaction
Ian Miguel and Qiang Shen
May 2000, EDI-INF-RR0128
-
Knowledge Acquisition and Knowledge Modelling for Operational Research
John Kingston and Andrew Tuson
Mar 2000, EDI-INF-RR0051
-
Multi-Predicate Induction Schemes for Mutual Recursion
Richard Boulton
Apr 2000, EDI-INF-RR0014
-
Solution Techniques for Constraint Satisfaction Problems: Advanced Approaches
Ian Miguel and Qiang Shen
May 2000, EDI-INF-RR0130
-
A Web-based Decision Support System for Divorce Lawyers
Scott Duguid, Lillian Edwards and John Kingston
Nov 2001, EDI-INF-RR0170
-
Applying adversarial planning techniques to Go
Steven Willmott, Julian Richardson, Alan Bundy and John Levine
Feb 2001, EDI-INF-RR0103
-
Basic Gene Grammars and DNA-ChartParser for language processing of Escherichia coli promoter DNA sequences
Siu-wai Leung, Chris Mellish and Dave Robertson
2001, EDI-INF-RR0280
-
Design synthesis knowledge and inductive machine learning
Stephen Potter, M. J. Darlington, S. J. Culley and P. K. Chawdhry
2001, EDI-INF-RR0275
-
Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction.
Ian Miguel, Qiang Shen and Peter Jarvis
May 2001, EDI-INF-RR0131
-
FuREAP: A fuzzy-rough estimator of algae population
Qiang Shen and Alexios Chouchoulas
May 2001, EDI-INF-RR0124
-
High Performance Knowledge Bases: Four approaches to Knowledge Acquisition, Representation and Reasoning for Workaround Planning
John Kingston
Nov 2001, EDI-INF-RR0050
-
I-X and <I-N-CA>: an Architecture and Related Ontology for Mixed-initiative Synthesis Tasks
Austin Tate
Sep 2001, EDI-INF-RR0114
-
Investigation of Different Seeding Strategies in a Genetic Planner
Henrik Westerberg and John Levine
Apr 2001, EDI-INF-RR0102
-
Metabolic modeling of microbial strains in silico
M.W. Covert, C.H. Schilling, I. Famili, J.S. Edwards, Igor Goryanin, E. Selkov and B.O. Palsson
Mar 2001, EDI-INF-RR0566
-
On Compositional Modelling
Jeroen Keppens and Qiang Shen
Mar 2001, EDI-INF-RR0132
-
Ontologies, Multi-Perspective Modelling and Knowledge Auditing
John Kingston
Sep 2001, EDI-INF-RR0053
-
Optimising Plans using Genetic Programming
Henrik Westerberg and John Levine
Sep 2001, EDI-INF-RR0100
-
Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain
Alan Smaill and Louise Dennis
Apr 2001, EDI-INF-RR0040
-
Rough Set-Aided Keyword Reduction for Text Categorisation
Alexios Chouchoulas and Qiang Shen
May 2001, EDI-INF-RR0121
-
Rough Set-Based Dimensionality Reduction for Supervised and Unsupervised Learning
Qiang Shen and Alexios Chouchoulas
May 2001, EDI-INF-RR0123
-
Software Agents as Facilitators of Coherent Coalition Operations
David Allsopp, Patrick Beautement, Jeffrey Bradshaw, John Carson, Michael Kirton, Niranjan Suri and Austin Tate
Jun 2001, EDI-INF-RR0113
-
Solution Techniques for Constraint Satisfaction Problems: Foundations
Ian Miguel and Qiang Shen
May 2001, EDI-INF-RR0129
-
Strict General Setting for Building Decision Procedures into Theorem Provers
Predrag Janicic and Alan Bundy
Jan 2001, EDI-INF-RR0097
-
Tactic-based theorem proving in first-order modal and temporal logics
Claudio Castellini and Alan Smaill
Jun 2001, EDI-INF-RR0155
-
The Synthesis of a Java Card Tokenisation Algorithm
Ewen Denney
Nov 2001, EDI-INF-RR0143
-
Training Personal Robots Using Natural Language Instruction
Stanislao Lauria, Guido Bugmann, Theocharis Kyriacou, Johan Bos and Ewan Klein
Sep 2001, EDI-INF-RR0569
-
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Predrag Janicic and Alan Bundy
Jan 2002, EDI-INF-RR0095
-
A fuzzy-rough approach for generating classification rules
Qiang Shen and Alexios Chouchoulas
May 2002, EDI-INF-RR0125
-
An Approach to the Analysis and Design of Multiagent Systems based on Interaction Frames
Michael Rovatsos, Gerhard Wei and Marco Wolf
2002, EDI-INF-RR0248
-
Ant Colony Optimisation for Bin Packing and Cutting Stock Problems
Frederick Ducatelle and John Levine
Apr 2002, EDI-INF-RR0101
-
Automated Support for Composition of Transformational Components in Knowledge Engineering
Marco Schorlemmer, Stephen Potter and Dave Robertson
Jun 2002, EDI-INF-RR0137
-
CoAKTinG: Collaborative Advanced Knowledge Technologies in the Grid
Simon Buckingham Shum, David De Roure, Marc Eisenstadt, Nigel Shadbolt and Austin Tate
Jul 2002, EDI-INF-RR0117
-
Coalition Agents Experiment: Multi-Agent Co-operation in an International Coalition Setting, Special Issue on Knowledge Systems for Coalition Operations (KSCO)
David Allsopp, Patrick Beautement, Jeffrey Bradshaw, Edmund Durfee, Michael Kirton, Craig Knoblock, Niranjan Suri, Austin Tate and Craig Thompson
Jun 2002, EDI-INF-RR0118
-
Duality in Knowledge Sharing
Marco Schorlemmer
Jun 2002, EDI-INF-RR0134
-
Finding Counterexamples to Inductive Conjectures and Discovering Security Protocol Attacks
Graham Steel, Alan Bundy and Ewen Denney
Jul 2002, EDI-INF-RR0141
-
Formal Knowledge Management in Distributed Environments
Marco Schorlemmer, Stephen Potter, Dave Robertson and Derek Sleeman
Jun 2002, EDI-INF-RR0136
-
From Approximative to Descriptive Fuzzy Classifiers
Javier Marin-Blazquez and Qiang Shen
May 2002, EDI-INF-RR0126
-
I-P2 - Intelligent Process Panels to Support Coalition Operations
Austin Tate, Jeffrey Dalton and Justine Stader
Apr 2002, EDI-INF-RR0115
-
Information-Flow-based Ontology Mapping
Yannis Kalfoglou and Marco Schorlemmer
Jun 2002, EDI-INF-RR0135
-
Logic-based Program Synthesis via Program Extraction
Ewen Denney
Mar 2002, EDI-INF-RR0142
-
Merging Top Level Ontologies for Scientific Knowledge Management
John Kingston
Aug 2002, EDI-INF-RR0171
-
Mobile robot programming using natural language
Stanislao Lauria, Guido Bugmann, Theocharis Kyriacou and Ewan Klein
Mar 2002, EDI-INF-RR0739
-
Music and Artificial Intelligence: Second International Conference, ICMAI 2002
Alan Smaill, Christina Anagnostopoulou and Miguel Ferrand
2002, EDI-INF-RR0785
-
On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions
Flavio S. Correa da Silva, Wamberto W. Vasconcelos, Dave Robertson, Virginia Brilhante, Ana C. V. de Melo, Marcelo Finger and Jaume Agusti
2002, EDI-INF-RR0281
-
Ontology, Knowledge Management, Knowledge Engineering and the ACM Classification Scheme
John Kingston
Dec 2002, EDI-INF-RR0169
-
Prototyping a Legal Decision Support System: A Case Study
John Kingston, Lillian Edwards and Jean Hall
Nov 2002, EDI-INF-RR0165
-
Regaining comprehensibility of approximative fuzzy models via the use of linguistic hedges
Javier Marin-Blazquez and Qiang Shen
May 2002, EDI-INF-RR0127
-
Rough Feature Selection for Neural Network Based Image Classification
Changjing Shang and Qiang Shen
Mar 2002, EDI-INF-RR0200
-
Searching for Invariants using Temporal Resolution
James Brotherston, Alexei Lisitsa, Michael Fisher and Anatoli Degtyarev
Aug 2002, EDI-INF-RR0144
-
Skill-based Resource Allocation using Genetic Algorithms and an Ontology
Kushan Nammuni, John Levine and John Kingston
Sep 2002, EDI-INF-RR0174
-
Using Animation in Diagrammatic Theorem Proving
Daniel Winterstein, Alan Bundy, Corin Gurr and Mateja Jamnik
2002, EDI-INF-RR0331
-
A Proposal for Interactive Program Generation
Daniel Winterstein
Oct 2003, EDI-INF-RR0207
-
Attacking the Asokan--Ginzboorg Protocol for Key Distribution in an Ad-Hoc Bluetooth Network Using CORAL
Graham Steel, Alan Bundy and Monika Maidl
Oct 2003, EDI-INF-RR0179
-
Automatic conceptual design using experience-derived heuristics
Stephen Potter, M. J. Darlington, S. J. Culley and P. K. Chawdhry
2003, EDI-INF-RR0276
-
Choosing Your Knowledge Management Strategy
Knox Haggie and John Kingston
Jun 2003, EDI-INF-RR0258
-
Dialogue Protocols for Multi-Agent Systems
Christopher Walton
Sep 2003, EDI-INF-RR0183
-
Fuzzy rrDFCSP and planning
Ian Miguel and Qiang Shen
Jan 2003, EDI-INF-RR0199
-
On differences between the real and physical Plane: Analysis of the inside relation
Daniel Winterstein
Dec 2003, EDI-INF-RR0208
-
Reconstruction of metabolic networks from genome data and analysis of their global structure for various organisms
Hongwu Ma and An-Ping Zeng
Jan 2003, EDI-INF-RR0985
-
The Coalition Agents Experiment: Network-Enabled Coalition Operations
D Allsopp, P Beautement, M Kirton, Austin Tate, J. M. Bradshaw, N Suri and M Burstein
Sep 2003, EDI-INF-RR0365
-
The connectivity structure, giant strong component and centrality of metabolic networks
Hongwu Ma and An-Ping Zeng
2003, EDI-INF-RR0986
-
Using Information-Flow Theory to Enable Semantic Interoperability
Marco Schorlemmer and Yannis Kalfoglou
Mar 2003, EDI-INF-RR0161
-
An Experimental Comparison of Diagrammatic and Algebraic Logics
Daniel Winterstein, Alan Bundy, Corin Gurr and Mateja Jamnik
2004, EDI-INF-RR0348
-
An extended transcriptional regulatory network of Escherichia coli and analysis of its hierarchical structure and network motifs
Hongwu Ma, Baharani Kumar, Uta Ditges, Florian Gunzer, Jan Buer and An-Ping Zeng
2004, EDI-INF-RR0988
-
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate and Jeffrey Dalton
Nov 2004, EDI-INF-RR1056
-
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Graham Steel, Alan Bundy and Monika Maidl
2004, EDI-INF-RR0270
-
Automatic Generation of Classification Theorems for Finite Algebras
Simon Colton, Andreas Meier, Volker Sorge and Roy McCasland
Jul 2004, EDI-INF-RR0371
-
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences
Jeroen Keppens and Qiang Shen
Mar 2004, EDI-INF-RR0196
-
Decomposition of metabolic network based on the global connectivity structure of reaction graph
Hongwu Ma, Xueming Zhao, Yingjin Yuan and An-Ping Zeng
2004, EDI-INF-RR0987
-
Exhibiting the Behaviour of Time-Delayed Systems via an Extension to Qualitative Simulation
Ian Miguel and Qiang Shen
Mar 2004, EDI-INF-RR0202
-
Fault Identification through the Combination of Symbolic Conflict Recognition and Markov Chain-aided Belief Revision
Finlay Smith and Qiang Shen
Mar 2004, EDI-INF-RR0203
-
Feature selection and classification for microarray data analysis: Evolutionary methods for identifying predictive genes
Thanyaluk Jirapech-Umpai and Stuart Aitken
Dec 2004, EDI-INF-RR0874
-
Fuzzy rough attribute reduction with application to web categorization
Richard Jensen and Qiang Shen
Jan 2004, EDI-INF-RR0197
-
Fuzzy-Rough Data Reduction with Ant Colony Optimization
Richard Jensen and Qiang Shen
Mar 2004, EDI-INF-RR0201
-
Knowledge-based phylogenetic classification mining
I. Bichindaritz and Stephen Potter
2004, EDI-INF-RR0279
-
Model Checking Agent Dialogues in SPIN
Christopher Walton
Jan 2004, EDI-INF-RR0191
-
Model Checking Multi-Agent Web Services
Christopher Walton
Mar 2004, EDI-INF-RR0369
-
Monte Carlo Sampling and Counting Solutions in Reduced Boolean Parity
Mark Collins
Nov 2004, EDI-INF-RR0240
-
Multi-Agent Dialogue Protocols
Christopher Walton
Jan 2004, EDI-INF-RR0370
-
On the Emergent Semantic Web and Overlooked Issues
Y Kalfoglou, H Alani, M Schorlemmer and Christopher Walton
Nov 2004, EDI-INF-RR0368
-
Part-of Relations in Anatomy Ontologies: A Proposal for RDFS and OWL Formalisations
Stuart Aitken, B.L. Webber and J. B. L. Bard
2004, EDI-INF-RR0273
-
Rapid Prototyping of Large Multi-Agent Systems through Logic Programming
Wamberto W Vasconcelos, Dave Robertson, Carles Sierra, Marc Esteva, Jordi Sabater and Michael J Wooldridge
2004, EDI-INF-RR0283
-
Selecting Informative Features with Fuzzy-Rough Sets and its Application for Complex Systems Monitoring
Qiang Shen and Richard Jensen
Mar 2004, EDI-INF-RR0198
-
Collaboration in the Semantic Grid: a Basis for e-Learning
Kevin Page, Danius Michaelides, Simon Buckingham Shum, Jessica Chen-Burger, Jeffrey Dalton, David De Roure and Marc Eisenstadt
2005, EDI-INF-RR0349
-
Deduction with XOR Constraints in Security API Modelling
Graham Steel
Jul 2005, EDI-INF-RR0267
-
Electrostatic Potentials of E. coli genome DNA
Svetlana Kamzolova, Anatoly Sorokin, Timur Dzhelyadin, Peter Beskaravainy and Alexander Osypov
Dec 2005, EDI-INF-RR0916
-
GPX-Macrophage Expression Atlas: A database for expression profiles of macrophages challenged with a variety of pro-inflammatory, anti-inflammatory, benign and pathogen insults
Graeme Grimes, Stuart Moodie, John Beattie, Marie Craigon, Paul Dickinson, Thorsten Forster and Andrew Livingston
Dec 2005, EDI-INF-RR0918
-
Genic Interaction Extraction with Semantic and Syntactic Chains
Sebastian Riedel and Ewan Klein
Aug 2005, EDI-INF-RR0573
-
Interactive and Hierarchical Tracing of Techniques in IsaPlanner
Lucas Dixon
2005, EDI-INF-RR0892
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland
Jun 2005, EDI-INF-RR0315
-
The Nature of Mathematical Proof
Alan Bundy, Michael Atiyah, Angus Macintyre and Donald Mackenzie
Oct 2005, EDI-INF-RR0394
-
Attacking Group Protocols by Refuting Incorrect Inductive Conjectures
Graham Steel and Alan Bundy
Jan 2006, EDI-INF-RR0268
-
Automatic Analysis of the Security of XOR-based Key Management Schemes
Veronique Cortier, Gavin Keighren and Graham Steel
Sep 2006, EDI-INF-RR0863
-
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge, Andreas Meier, Roy McCasland and Simon Colton
Oct 2006, EDI-INF-RR0944
-
Formal Analysis of PIN Block Attacks
Graham Steel
Nov 2006, EDI-INF-RR0827
-
PDQ Wizard: automated prioritization and characterization of gene and protein lists using biomedical literature
Graeme Grimes, T Wen, Muriel Mewissen, R Baxter, Stuart Moodie, John Beattie and Peter Ghazal
Jun 2006, EDI-INF-RR0923
-
Specifying the Intertwining of Cooperation and Autonomy in Agent-based Systems
Gerhard Weiss, Matthias Nickles, Michael Rovatsos and Felix Fischer
2006, EDI-INF-RR0249
-
A Formal Theory of Key Conjuring
Veronique Cortier, Stephanie Delaune and Graham Steel
Jul 2007, EDI-INF-RR1004
-
Argumentation-Based Inference and Decision Making - A Medical Perspective
John Fox, David Glasspool, Dan Grecu, Sanjay Modgil, Matthew South and Vivek Patkar
Dec 2007, EDI-INF-RR1227
-
Fast, but Approximate, Workflow-Runtime Estimation Using the Bell-Curve Calculus
Lin Yang, Alan Bundy, Conrad Hughes and Dave Berry
2007, EDI-INF-RR1246
-
Supporting medical planning by mitigating cognitive load
David Glasspool, Ayelet Oettinger, James Smith-Spark, Fortunato Castillo, Victoria Monaghan and John Fox
Dec 2007, EDI-INF-RR1226
-
The Application of Advanced Knowledge Technologies for Emergency Response
Stephen Potter, Yannis Kalfoglou., Harith Alani, Michelle Bachler, Simon Buckingham Shum, Rodrigo Carvalho, Ajay Chakravarthy, Stuart Chalmers, Sam Chapman, Bo Hu, Alun Preece, Nigel Shadbolt, Austin Tate and Mischa Tuffield
May 2007, EDI-INF-RR1000
-
Translating Fundamental Business Process Modelling Language to the Web Services Ontology through Lightweight Mapping
Gayathri Nadarajan and Yun-Heh Chen-Burger
2007, EDI-INF-RR0942
-
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge, Andreas Meier, Roy McCasland and Simon Colton
2008, EDI-INF-RR1255
-
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Lucas Dixon and Ross Duncan
2008, EDI-INF-RR1303
-
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon and Ross Duncan
2008, EDI-INF-RR1301
-
HealthAgents: Distributed Multi-Agent Brain Tumour Diagnosis and Prognosis
Horacio Gonzalez-Velez, Adriana Mier Perez, Margarida Julia-Sape, Theodoros N. Arvanitis, Juan M. Garcia-Gomez, Montserrat Robles, Paul H. Lewis, Srinandan Dasmahapatra, David Dupplaw, Andrew Peet, Carles Arus, Bernardo Celda, Sabine Van Huffel and Magi Lluch i Ariet
Jun 2009, EDI-INF-RR1132
-
Automatic Guidance for Refinement Based Formal Methods
Maria Teresa Llano, Gudmund Grov and Andrew Ireland
Apr 2010, EDI-INF-RR1371
-
Open Graphs and Monoidal Theories
Lucas Dixon and Kissinger Aleks
2010, EDI-INF-RR1394
-
RDFa²: Interleaving Human-Readable and Machine-Readable Data
Xi Bai, Ewan Klein and Dave Robertson
Nov 2010, EDI-INF-RR1391
-
Towards the automatic detection and correction of errors in automatically constructed ontologies
Andriana Gkaniatsou, Alan Bundy and Fiona McNeill
2012, EDI-INF-RR1411
|
