Title | Negation as Failure through Abduction: Reasoning about Termination |
Publication Type | Conference Paper |
Year of Publication | 2002 |
Authors | Mancarella, P, Pedreschi, D, Ruggieri, S |
Conference Name | Computational Logic: Logic Programming and Beyond |