Lecture Notes in Artificial Intelligence

Logic Programming and Nonmonotonic Reasoning

Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings

Herausgeber: Furbach, Ulrich, Nerode, Anil (Eds.)

Vorschau

Dieses Buch kaufen

eBook 74,89 €
Preis für Deutschland (Brutto)
  • Die eBook-Version des Titels ist in Kürze verfügbar
  • ISBN 978-3-540-69249-2
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate:
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 96,29 €
Preis für Deutschland (Brutto)
Über dieses Buch

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.

Inhaltsverzeichnis (34 Kapitel)

Inhaltsverzeichnis (34 Kapitel)
  • Forward and backward chaining in constraint programming

    Seiten 1-1

    Jaffar, Joxan (et al.)

  • Strong and weak constraints in disjunctive datalog

    Seiten 2-17

    Buccafurri, Francesco (et al.)

  • Nonmonotonic reasoning with quantified boolean constraints

    Seiten 18-39

    Pollett, Chris (et al.)

  • Improving the alternating fixpoint: The transformation approach

    Seiten 40-59

    Zukowski, Ulrich (et al.)

  • Is non-monotonic reasoning always harder

    Seiten 60-75

    Egly, Uwe (et al.)

Dieses Buch kaufen

eBook 74,89 €
Preis für Deutschland (Brutto)
  • Die eBook-Version des Titels ist in Kürze verfügbar
  • ISBN 978-3-540-69249-2
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate:
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 96,29 €
Preis für Deutschland (Brutto)
Loading...

Services zu diesem Buch

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Logic Programming and Nonmonotonic Reasoning
Buchuntertitel
Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings
Herausgeber
  • Ulrich Furbach
  • Anil Nerode
Titel der Buchreihe
Lecture Notes in Artificial Intelligence
Buchreihen Band
1265
Copyright
1997
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69249-2
DOI
10.1007/3-540-63255-7
Softcover ISBN
978-3-540-63255-9
Auflage
1
Seitenzahl
XI, 461
Themen