Andrea Cuteri

Publication Activity (10 Years)

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

Top Topics

Normal Logic Programs

Top Venues

Publications

Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. CILC (2023)