Department of Computer Science
  1. Adaptive Computing Systems
  2. Machine Learning
  3. giCentre
  4. Human Computer Interaction Design
  5. Software Reliability
  6. Information Science
  7. Research Ethics
Department of Computer Science

Technical Reports (Computing)


TR/2012/DOC/03 Approximate Dynamic Programming with Parallel Stochastic Planning Operators. Christopher H.T. Child

TR/2012/DOC/01 XcD - Simple, Modular, Formal Software Architectures


TR/2010/DOC/01 Quadtrees as an Abstract Domain. Jacob M. Howe, Andy King and Charles Lawrence-Jones. [Abstract]


TR/2009/DOC/01 Closure Algorithms for Domains with Two Variables Per Inequality. Jacob M. Howe and Andy King. [Abstract]


TR/2008/DOC/01 Rule Extraction from Support Vector Machines: A Geometric Approach. Lu Ren, Artur S. d`Avilia Garcez. 

TR/2008/DOC/02 A geometrical approach to find the preferred intonation of chords. Aline K. Honingh [Abstract]

TR/2008/DOC/03 Integrating Convexity and Compactness into the ISSM: Melodic Analysis of Music. Aline K. Honingh and Tillman Weyde [Abstract]


TR/2006/DOC/01 Applied temporal rule mining to time series. Panagiotis A. Dafas, Artur S. d'Avila Garcez [Abstract]

TR/2006/DOC/02 Proceedings of ECAI International Workshop on Neural-Symbolic Learning and Reasoning NeSy06, Trento, Italy, 2006. A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini (eds).


TR/2005/DOC/01 Proceedings of IJCAI International Workshop on Neural-Symbolic Learning and Reasoning NeSy05, Edinburgh, Scotland, 2005. A. S. d'Avila Garcez, J. Elman and P. Hitzler (eds)


TR/2004/DOC/01 Argumentation Neural Networks: Value-based Argumentation Frameworks as Neural-Symbolic Learning Systems. A. S. d'Avila Garcez, D. M. Gabbay and L. C. Lamb

TR/2004/DOC/02 "A Scheme for Requirements Monitoring of Web Service Based Systems", Khaled Mahbub and George Spanoudakis [Abstract]


TR/2003/DOC/01 Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, Helsinki, Finland, ISSN 1364-4009. A. S. d'Avila Garcez, G. Spanoudakis and A. Zisman (eds).

TR/2003/SEG/03 Fibring Neural Networks. A. S. d'Avila Garcez and D. M. Gabbay

If you have any questions about this page, please contact Mark Firman (

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.