Logic Programming

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA in May 2007. The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for presentation. As a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, LPNMR encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems. Also contained in this volume are the results of this year's answer set programming competition.

This book introduces the parallel and distributed approach to logic programming, examining existing models of distributed logic programming, and proposing an alternative framework for distributed logic programming using extended Petri nets.

One of the key open questions within arti?cial intelligence is how to combine probability and logic with learning. This question is getting an increased - tentioninseveraldisciplinessuchasknowledgerepresentation,reasoningabout uncertainty, data mining, and machine learning simulateously, resulting in the newlyemergingsub?eldknownasstatisticalrelationallearningandprobabil- ticinductivelogicprogramming.Amajordriving forceisthe explosivegrowth in the amount of heterogeneous data that is being collected in the business and scienti?c world.

In this publication, the author Kristian Kersting has made an assault on one of the hardest integration problems at the heart of Artificial Intelligence research. This involves taking three disparate major areas of research and attempting a fusion among them. The three areas are: Logic Programming, Uncertainty Reasoning and Machine Learning. Every one of these is a major sub-area of research with its own associated international research conferences. Having taken on such a Herculean task, Kersting has produced a series of results which are now at the core of a newly emerging area: Probabilistic Inductive Logic Programming…

This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.
The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.