City Research Online

Items where Author is "Boella, G."

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


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 Thu Dec 2 05:13:41 2021 UTC.