Reasoning with Logic Programming
José Júlio Alferes, Luı́s Moniz Pereira, J. Siekmann, Jaime Carbonell · 1996
ew with pointers to main references, it reviews and compares the main approaches in the field to our own, and it contains all proofs and basic definitions, though the interest reader will want to consult, e.g., [200, 201, 172, 131, 16], for more extensive overviews of its subject matter and surrounding areas. It shows a variety of applications that illustrate the use, wide scope, and potential of logic programming for performing various types of reasoning, We are honoured to have been awarded in 1995 for this book "Premio Boa Esperanca", the highest science prize from the Portuguese government. VI namely non-monotonic ones such as: dealing with incomplete information; default, hypothetical and counterfactual reasoning; contradiction handling; belief revision; and abduction. And it shows a variety of knowledge representation forms such as: falsity, both via explicit negation and (implicit) default negation (or by failure); constraints (denials); default rules; exceptions to default