Artur D'Avila Garcez

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Procedural Semantics

Logic Programming

International Conference

Top Venues

Publications

Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni
Proceedings 39th International Conference on Logic Programming. CoRR (2023)