this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa...
详细信息
ISBN:
(数字)9783319232645
ISBN:
(纸本)9783319232638
this volume contains the refereed proceedings of the 13thinternationalconference on logicprogramming and nonmonotonicreasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set programming competition, and four papers presented by LPNMR student attendees at the doctoral consortium were carefully reviewed and selected from 60 submissions. LPNMR is a forum for exchanging ideas on declarative logicprogramming, nonmonotonicreasoning, and knowledge representation. the aim of the LPNMR conferences is to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonicreasoning.
暂无评论