This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…
This book constitutes the refereed proceedings of the 10th IFIP WG 5.11 International Symposium on Environmental Software Systems, ISESS 2013, held in Neusiedl am See, Austria, in June 2013. The 65 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in the following topical sections: environmental application in the scope of the…
The two volumes IFIP AICT 397 and 398 constitute the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2012, held in Rhodes, Greece, in September 2012. The 182 revised full papers were carefully reviewed and selected for inclusion in the two volumes. They are organized in 6 parts: sustainability; design…