Daniela Ferreiro

According to our database, Daniela Ferreiro authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Teaching Prolog with Active Logic Documents.

José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo

Proceedings of the Prolog: The Next 50 Years, 2023

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.

Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023