Ignacio Casso

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 4

Top Topics

Stable Model Semantics

Answer Set Programming

Partial Deduction

Top Venues

Publications

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Testing Your (Static Analysis) Truths. LOPSTR (2020)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. CoRR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs. LOPSTR (2019)
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR (2019)