Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 1719, 2001 Proceedings

The papers in this volume cover such topics as: computational logic; declarative information extraction; model checking; inductive logic programming; default theories; stable logic programming; program semantics; incomplete information processing; and declarative specification.