Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs.
Year: 1995
Type: article
Authors: Marco Comini, Giorgio Levi, Giuliana Vitiello
Institutions: University of Pisa, University of Salerno
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W74874319