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

Technical Reports (Computing)

2012

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

2010

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

2009

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

2008

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]

2006

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).

2005

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)

2004

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]

2003

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 (mfirman@soi.city.ac.uk)

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.