Cover Image

Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /

This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of...

Full description

Bibliographic Details
Corporate Authors: LPNMR '97 Dagstuhl, Wadern, Germany, SpringerLink (Online service)
Other Authors: Dix, J. (Jürgen), 1961-, Fuhrbach, Ulrich, Nerode, Anil, 1932-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1997]
Series:Lecture notes in computer science ; 1265.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Logic programming > Congresses.
Nonmonotonic reasoning > Congresses.
Logic programming.
Nonmonotonic reasoning.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Summary:This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.
Item Description:Electronic resource.
Physical Description:1 online resource (x, 452 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9783540692492 (electronic bk.)
3540692495 (electronic bk.)