Papers presented during the workshop held in Lisbon in June 1993
Includes bibliographical references and index
I. Implementation -- 1. Autonomous Control of Hybrid Systems with Declarative Controllers (invited) / W. Kohn and A. Nerode -- 2. Implementing Stable Semantics by Linear Programming / C. Bell, A. Nerode, R. Ng and V. S. Subrahmanian -- 3. Implementing Semantics of Disjunctive Logic Programs Using Fringes and Abstract Properties / M. Muller and J. Dix -- 4. Connectionist Approach to Finding Stable Models and Other Structures in Non-monotonic Reasoning / R. Vingralek -- 5. SLS-Resolution without Floundering / W. Drabent -- II. MBNF and Related Topics -- 6. Extended Logic Programs as Autoepistemic Theories / V. Lifschitz and G. Schwarz -- 7. Reflexive Autoepistemic Logic and Logic Programming / V. W. Marek and M. Truszczynski -- 8. Minimal Knowledge + Negation as Failure = Only Knowing (Sometimes) / J. Chen -- 9. Autoepistemic Logic Programming / P. A. Bonatti -- III. Stability and Related Topics -- 10. An Assumption-based Framework for Non-monotonic Reasoning (invited) / A. Bondarenko, F. Toni and R. A. Kowalski -- 11. Contributions to the Stable Model Semantics of Logic Programs with Negation / S. Costantini -- 12. A Characterization of Stable Models Using a Non-monotonic Operator / F. Teusink -- 13. Negation as Failure to Support / A. Torres -- 14. Negation as Partial Failure / B. Mobasher, J. Leszczylowski, G. Slutzki and D. Pigozzi -- IV. Disjunctive LP, Inconsistency Handling -- 15. Recent Complexity Results in Logic Programming and Non-monotonic Reasoning, and Why They Matter (invited) / G. Gottlob -- 16. Relating Disjunctive Logic Programs to Default Theories / C. Sakama and K. Inoue -- 17. Rational Default Logic and Disjunctive Logic Programming / A. Mikitiuk and M. Truszczynski -- 18. Reasoning with Inconsistency in Extended Deductive Databases / G. Wagner -- 19. Diagnosis and Debugging as Contradiction Removal / L. M. Pereira, C. V. Damasio and J. J. Alferes -- V. Nonstandard Semantics -- 20. Tools for Deductive Databases (invited) / Y. Sagiv -- 21. Scenario Semantics of Extended Logic Programs / J. J. Alferes, P. M. Dung and L. M. Pereira -- 22. An Abductive Framework for Generalized Logic Programs / G. Brewka -- 23. Justification Semantics: A Unifying Framework for the Semantics of Logic Programs / M. Denecker and D. De Schreye -- 24. A Non-monotonic Reasoning Formalism Using Implicit Specific its Information / P. Geerts and D. Vermeir -- 25. Reasoning in Open Domains / M. Gelfond and H. Przymusinska -- VI. Constructive Logic -- 26. An Intuitionistic Interpretation of Finite and Infinite Failure / L. T. McCarty and R. van der Meyden -- 27. Canonical Kripke Models and the Intuitionistic Semantics of Logic Programs / F. Dong and L. V. S. Lakshmanan -- 28. Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Non-monotonic Formalisms / D. Pearce -- 29. A Sequent Axiomatization of Three-valued Logic with Two Negations / D. R. Busch
The font color of original book written in itself so.