Salvador Abreu

Dietmar Seipel

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

18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers

Applications of Declarative Programming and Knowledge Management

FoIKS 2004

This book constitutes the refereed proceedings of the Third International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2004 held at Wilheminenburg Castle, Austria in February 2004. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 64 submissions. Among the topics covered are data integration, data security, logic programming and databases, relational reasoning, database queries, higher-order data models, updates, database views, OLAP, belief modeling, fixpoint computations, interaction schemes, plan databases, etc.

Third International Symposium, FoIKS 2004, Wilhelminenburg Castle, Austria, February 17-20, 2004, Proceedings

Foundations of Information and Knowledge Systems

Armin Wolf

Oskar Bartenstein

Ulrich Geske

Masanobu Umeda

Osamu Takata

This book constitutes the thoroughly refereed post-proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, held in Fukuoka, Japan, in October 2005. The papers address all current aspects of declarative programming, constraint processing and knowledge management as well as their use for distributed systems and the Web.

16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

Declarative Programming for Knowledge Management

Petra Hofstedt

Ulrich John

Herbert Kuchen

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.

Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers

Declarative Programming and Knowledge Management

Dietmar Seipel

About

Books

Join the club