LPNMR 2001 - Logic Programming and Nonmonotonic Reasoning. International Conference (6th) Held in Vienna, Austria on September 2001

摘要

The Final Proceedings for LPNMR 2001 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning, 17 September 2001 - 19 September 2001. The conference goal is to highlight recent original research in design (theory) and implementation of logic based programming languages and database systems, and knowledge representation and nonmonotonic LPNMR seeks theoretical and experimental results leading to construction of practical systems for programming and knowledge representation. Specific topics include (1) development and mathematical studies of logical systems with non-monotonic entailment relations, (2) implementation of LPNMR systems, and (3) applications of LPNMR systems.