Format:
Online-Ressource (IX, 365 p. Also available online)
,
digital
Edition:
Springer eBook Collection. Computer Science
ISBN:
9783540246091
,
354020721X
,
9783540207214
Series Statement:
Lecture Notes in Computer Science 2923
Content:
This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning
Note:
Literaturangaben
Additional Edition:
ISBN 9783540207214
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783662171288
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783540207214
Language:
English
Subjects:
Computer Science
Keywords:
Nichtmonotones Schließen
;
Deklarative Programmierung
;
Nichtmonotone Logik
;
Konferenzschrift
URL:
Volltext
(lizenzpflichtig)
