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
  • "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 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
  • 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
  • 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
  • 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 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
  • 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
  • Towards a Bell-Curve Calculus for e-Science
    Lin Yang, Alan Bundy, Dave Berry and Conrad Hughes
    Sep 2006, EDI-INF-RR0842
  • 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&sup2;: 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


Home : Research : Cisa 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk
Database generated page, please contact us with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh