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)