## Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, ProceedingsEsra Erdem, Fangzhen Lin, Torsten Schaub 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 |

### Other editions - View all

### Common terms and phrases

action agent aggregate algorithm Answer Set Programming applications approach argumentation framework arguments arity Artiﬁcial Intelligence ASP solvers ASPeRiX atoms Baral benchmark Berlin Heidelberg 2009 Boolean clauses complete compute consider constraint programming context cr-rules databases Datalog decision problems default deﬁned Deﬁnition denote disjunctive domain encoding equivalence Erdem evaluation example extended ﬁnd ﬁnite ﬁrst ﬂuents formal framework function Gebser Gelfond given graph Gringo ground haplotypes Horn clause implementation inference input instance integration isan knowledge representation language Lifschitz literals LNCS LNAI logic pro logic programs loop formulas Lparse LPNMR minimal module system negation node ontology optimal phylogeny predicate preferred problem Proc propositional propositional logic protocol qualiﬁed query reasoning robot rules satisﬁes Schaub Eds set of atoms set solver solutions solving speciﬁc splitting set Springer Springer-Verlag Berlin Heidelberg stable model semantics Theorem tion variables weight constraint