 |
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
-
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
-
"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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Information-Flow-based Ontology Mapping
Yannis Kalfoglou and Marco Schorlemmer
Jun 2002, EDI-INF-RR0135
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
VirtuaLatin - towards a musical multi-agent system
David Murray-Rust, Alan Smaill and Manuel Contreras-Maya
Aug 2005, EDI-INF-RR0867
-
Automatic Construction and Verification of Isotopy Invariants
Volker Sorge, Andreas Meier, Roy McCasland and Simon Colton
Oct 2006, EDI-INF-RR0944
-
MAMA: An architecture for interactive musical agents
David Murray-Rust, Alan Smaill and Michael Edwards
Sep 2006, EDI-INF-RR0866
-
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
-
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
-
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
2007, EDI-INF-RR1132
-
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
|
