Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings

Front Cover
Esra Erdem, Fangzhen Lin, Torsten Schaub
Springer Science & Business Media, Sep 7, 2009 - Computers - 656 pages
This volume contains the proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), held during September 14–18, 2009 in Potsdam, Germany. LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the c- ference is to facilitate interaction between researchers interested in the design and implementation of logic-based programming languages and database s- tems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and expe- mental studies that have led or will lead to the construction of practical systems for declarative programming and knowledge representation. The special theme of LPNMR 2009 was “Applications of Logic Progr- ming and Nonmonotonic Reasoning” in general and “Answer Set Programming (ASP)” in particular. LPNMR 2009 aimed at providing a comprehensive survey of the state of the art of ASP/LPNMR applications. The special theme was re?ected by dedicating an entire dayof the conference to applications. Apart from special sessions devoted to original and signi?cant ASP/LPNMR applications, we solicited contributions providing an overview of existing successful applications of ASP/LPNMR systems. The presentations on applications were accompanied by two panels, one on existing and another on future applications of ASP/LPNMR.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

I
1
II
2
III
3
IV
4
V
17
VI
30
VII
44
VIII
58
XXXIX
437
XL
444
XLI
450
XLII
457
XLIII
464
XLIV
470
XLV
477
XLVI
483

IX
71
X
87
XI
101
XII
115
XIII
129
XIV
142
XV
155
XVI
169
XVII
182
XVIII
196
XIX
209
XX
223
XXI
236
XXII
250
XXIII
264
XXIV
277
XXV
290
XXVI
303
XXVII
316
XXVIII
329
XXIX
342
XXX
355
XXXI
368
XXXII
382
XXXIII
396
XXXIV
402
XXXV
409
XXXVI
416
XXXVII
423
XXXVIII
430
XLVII
490
XLVIII
496
XLIX
502
L
509
LI
515
LII
522
LIII
528
LIV
535
LV
542
LVI
548
LVII
554
LVIII
560
LIX
567
LX
585
LXI
591
LXII
598
LXIII
604
LXIV
610
LXV
613
LXVI
616
LXVII
619
LXVIII
622
LXIX
625
LXX
628
LXXI
631
LXXII
634
LXXIII
637
LXXIV
655
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information