Negation as Failure through Abduction: Reasoning about Termination

You are here

TitleNegation as Failure through Abduction: Reasoning about Termination
Publication TypeConference Paper
Year of Publication2002
AuthorsMancarella, P, Pedreschi, D, Ruggieri, S
Conference NameComputational Logic: Logic Programming and Beyond
Taxonomy upgrade extras: