About City
  1. Schools and departments
  2. Education
  3. Rector and President
  4. Governance and leadership
  5. Working at City
  6. History of City
  7. More about City
  8. Campus map
  9. Contact us
  10. Guidance on Coronavirus
  1. Mathematics, Computer Science and Engineering
  2. Computer Science
About City

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