Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26-28, 1995 Proceedings /
Saved in:
Meeting name: | LPNMR '95 (1995 : Lexington, Ky.) |
---|---|
Imprint: | Berlin, Heidelberg : Springer-Verlag, 1995. |
Description: | 1 online resource : v.: digital. |
Language: | English |
Series: | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 0302-9743 ; 928 Lecture notes in computer science. Lecture notes in artificial intelligence ; 928. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11078099 |
Other authors / contributors: | Marek, Wiktor. Nerode, Anil, 1932- Truszczyński, Mirosław. |
---|---|
ISBN: | 9783540492825 3540492828 9783540594871 |
Notes: | Includes bibliographical references and index. |
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. |
Similar Items
-
Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings /
by: Marek, V. Wiktor
Published: (1995) -
Nonmonotonic and Inductive Logic : 1st International Workshop Karlsruhe, Germany, December 4-7, 1990 Proceedings /
by: Dix, J.
Published: (1991) -
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings /
Published: (1993) -
Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
Published: (1992) -
Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16-22, 1994 Proceedings /
Published: (1994)