Salvador Abreu – författare

This book constitutes revised selected papers from the 21st International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2017, the 31st Workshop on Logic Programming, WLP 2017, and the 25th Workshop on Functional and (Constraint) Logic Programming, WFLP 2017. The 12 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The contributions were organized in topical sections named: constraints; declarative systems; and functional and logic programming.

This book constitutes revised selected papers from the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and (Constraint) Logic Programming, WFLP 2019.The 15 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 24 submissions. The contributions present current research activities in the areas of declarative languages and compilation techniques, in particular for constraint-based, logical and functional languages and their extensions, as well as discuss new approaches and key findings in constraint-solving, knowledge representation, and reasoning techniques.

When we set about organizing EPIA 2003 in Porto during the APPIA meeting at the previous edition of the conference, EPIA 2001, it was decided that it would be organized by Fernando Moura Pires (Faj' e) and myself. We chose Beja as the venue to host the conference, as it provided a good support infrastructure and Fernando had a good working relationship with several people at the Beja Polytechnic Institute. Shortly thereafter, Fernando came to know that he was ailing from a disease thatwastotakehislifeinMay2003.Aswithmanyotherprojectsinwhichhegot involved, Fernando clung to the organization of this conference with dedication and perseverance, even while knowing that he might not see the results of his work. EPIA 2003 is a tribute to his work. Taking up on the successful experience gained from EPIA 2001, we decided to structure EPIA 2003 as a set of ?ve distinct workshops, roughly re?ecting the panorama of AI research in Portugal. Special thanks are due to the organizers of each workshop, for the quality and timeliness of the work they carried out. The conference was all the more interesting because of the eight invited p- sentations and tutorials, by Alexander Bockmayr, Am' ?lcar Cardoso, Dario F- reano,HaroldBoley,PedroDomingos,PieterAdriaans,VeronicaDahlandVitor Santos Costa.There are short one-page abstracts included in these proceedings for some of these presentations.

This book constitutes the thoroughly refereed post-conferenceproceedings of the 18th International Conference on Applications ofDeclarative Programming and Knowledge Management, INAP 2009, held inÉvora, Portugal, in November 2009.The 12 revised full papers presented together with 2 invited talks werecarefully reviewed and selected during two rounds of reviewing andimprovement. The conference comprehensively covers the impactof programmable logic solvers in the internet society, its underlyingtechnologies, and leading edge applications in industry, commerce,government, and societal services. The topics of the selected papersconcentrate on three currently important fields: foundations andextensions of logic programming, databases and query languages,declarative programming with logic languages, and applications thereof.

This book constitutes revised selected papers of the 19th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2011, and the 25th Workshop on Logic Programming, WLP 2011, held in Vienna, Austria, in September 2011. The 19 papers presented in this volume were carefully reviewed and selected from 27 papers presented at the conference and initially a total of 35 submissions. The book also contains the papers of two invited talks. The papers are organized in topical sections on languages; answer-set programming and abductive reasoning; constraints and logic programming; answer-set programming and model expansion; application papers; and system descriptions.