## Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, ProceedingsChitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina Thesearetheproceedingsofthe8thInternational Conference on Logic Progr- mingandNonmonotonicReasoning (LPNMR2005).Followingthepreviousones held in Washington, DC, USA (1991), Lisbon, Portugal (1993), Lexington, KY, USA(1995), Dagstuhl, Germany(1997), ElPaso, TX, USA(1999), Vienna, A- tria (2001) and Ft. Lauderdale, FL, USA (2004), the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005. TheaimoftheLPNMRconferencesistobringtogetherandfacilitateinter- tions between active researchers interested in all aspects concerning declarative logic programming, nonmonotonic reasoning, knowledge representation, and the design of logic-based systems and database systems. LPNMR strives to enc- pass theoretical and experimental studies that lead to the implementation of practical systems for declarative programming and knowledge representation. The technical program of LPNMR 2005 comprised three invited talks that were given by Jur ] gen Angele, Thomas Eiter and Michael Kifer. All papers p- sented at the conference and published in these proceedings went through a rigorous review process which selected 25 research papers and 16 papers for the system and application tracks. Many individuals worked for the success of the conference. Special thanks are due to all members of the Program Committee and to additional reviewers for their e?orts to produce fair and thorough evaluations of submitted papers. A special thanks is due to the University of Calabria Organizing Committee which made this event possible. Last, but not least, we thank the sponsoring institutions for their generosity. June 2005 Chitta Baral and Nicola Leone Program Co-chairs LPNMR'05 Organization LPNMR 2005 was organized by the Department of Mathematics at the Univ- sity of Calabria, Italy. |

### What people are saying - Write a review

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

### Contents

I | 1 |

II | 13 |

III | 26 |

IV | 40 |

V | 53 |

VI | 66 |

VII | 79 |

VIII | 92 |

XXV | 304 |

XXVII | 317 |

XXVIII | 330 |

XXIX | 343 |

XXX | 356 |

XXXI | 369 |

XXXII | 374 |

XXXIV | 379 |

### Other editions - View all

### Common terms and phrases

action agent aggregates algorithm answer set programming answer set semantics approach arguments Artificial Intelligence Baral causal laws causal theories checking complete computation consider consistent constraints data integration data-source database Datalog default deﬁned Deﬁnition denote dependency graph dialectical tree disjunctive logic programs dynamic Eiter elementary loops encoding epistemic logic epistemic logic programs equilibrium example extended F-logic fixed point fluent function Gelfond given global ID-logic implementation INFOMIX instance interpretation knowledge representation language Lemma Lifschitz literals LNAI logic pro logic programs lookahead loop formulas LPNMR MDyLPs modular module negation negation as failure node nonmonotonic operator optimal p-program PLATYPUS predicate problem Proc Prolog Proof Proposition query reasoning rules satisﬁes schema Section Semantic Web set of atoms SOLP program stable model semantics strongly equivalent subset tabled Theorem tuples unfounded sets variables well-founded semantics