Technical Report Series
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
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. LambTR/2004/DOC/02 "A Scheme for Requirements Monitoring of Web Service Based Systems", Khaled Mahbub and George Spanoudakis [Abstract]
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)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).
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]