Logic Programming and Nonmonotonic Reasoning [electronic resource] : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings /

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.

Saved in:
Bibliographic Details
Main Authors: Marek, V. Wiktor. editor., Nerode, Anil. editor., Truszczyński, M. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
Subjects:Mathematics., Computer programming., Computer logic., Mathematical logic., Artificial intelligence., Mathematical Logic and Foundations., Logics and Meanings of Programs., Programming Techniques., Artificial Intelligence (incl. Robotics)., Mathematical Logic and Formal Languages.,
Online Access:http://dx.doi.org/10.1007/3-540-59487-6
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming. The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.