Reasoning with Logic Programming

Description

Preface......Page 3 Contents......Page 12 Figures......Page 16 --- Semantics of Logic Programs......Page 17 1 Normal Logic Programs......Page 19 2 Extended Logic Programs......Page 31 --- New Semantics for Extended LPs......Page 43 3 Why new Semantics for Extended Programs......Page 44 4 WFSX - well founded Semantics for Extended Logic Programs......Page 49 5 WFSX - LP Semantics with 2 Negations & Autoepistemic Logics......Page 61 6 WFSX & Default Logic......Page 94 7 WFSX & Hypotheses Abduction......Page 117 8 Dealing with Contradiction......Page 139 9 Further Properties & Comparisons......Page 177 10 Top-Down Derivation Procedures for WFSX......Page 197 11 Application to classical Nonmonotonic Reasoning Problems......Page 218 12 Application to Diagnosis & Debugging......Page 243 Refs......Page 278 Prolog Top-Down Interpreter for WFSX......Page 289 Prolog Preprocessor for Contradiction Removal......Page 291 Proofs of Theorems......Page 309 Errata......Page 331