City Research Online

Items where Author is "Perotti, A."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Publication Type | No Grouping
Number of items: 2.

Article

Perotti, A., Boella, G. and Garcez, A. (2014). Runtime Verification Through Forward Chaining. Electronic Proceedings in Theoretical Computer Science, 169, pp. 68-81. doi: 10.4204/EPTCS.169.8

Book Section

Perotti, A., d'Avila Garcez, A. S. and Boella, G. (2015). Neural-Symbolic Monitoring and Adaptation. In: Proceedings of the IEEE International Joint Conference on Neural Networks (IJCNN 2015). (pp. 1-8). IEEE.

This list was generated on Sun Oct 20 05:11:15 2019 UTC.