Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings / edited by V. Wiktor Marek, Anil Nerode, Miroslaw Truszcynski.

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 conferen...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Marek, V. Wiktor (Editor), Nerode, Anil (Editor), Truszcynski, Miroslaw (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:1st ed. 1995.
Series:Lecture Notes in Artificial Intelligence ; 928
Springer eBook Collection.
Subjects:
Mathematical logic.
Computer logic.
Computer programming.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.
Physical Description:IX, 415 p. online resource.
ISBN:9783540492825
DOI:10.1007/3-540-59487-6

Similar Items