Items where Author is "Perotti, A."
Up a level
Group by: Type | No Grouping
Number of items: 2.
Article
Perotti, A., Boella, G. & 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. & 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. doi: 10.1109/IJCNN.2015.7280713