formerly International Conference on Applications  of Declarative Programming and Knowledge Management (INAP)

Declarative programming is an advanced paradigm for modeling and solving complex problems. This specification method attracted increased attention over the last decades, e.g., in the domains of databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the Web.

DECLARE 2025 aims to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the event will include invited talks, presentations of refereed papers, and system demonstrations.

Declare is a communicative conference for intensive discussion of applications of important technologies around logic programming, constraint problem solving, and closely related computing paradigms. It 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.

Previous editions of Declare (or INAP) have been held in Japan, Germany, Portugal, and Austria.

Topics

We invite high quality contributions on different aspects of declarative programming, data and knowledge management and constraint processing, as well as their use for distributed systems and the Web, including, but not limited to the following areas (the order does not reflect any priorities):

• data and knowledge management: e.g., deductive databases, rule bases, decision support, expert systems, knowledge discovery / data mining;

• declarative programming: e.g., logic programming, nonmonotonic reasoning, knowledge representation, domain-specific languages;

• distributed systems and the Web: e.g., agents and concurrent engineering, ontologies, Semantic Web;

• constraints, constraint systems, extensions of constraint (logic) programming;

• practical systems and tools for academic and industrial use, knowledge-based Web services - logic solvers and applications;

• legal reasoning and knowledge aspects;

• generative and explainable AI.

Submission Instructions

Papers (max. 15 pages LNCS, including references) may be submitted on EasyChair, at https://easychair.org/conferences/?conf=declare2025.

Late-breaking results and work-in-progress — Abstract-only submissions: we also call for short (1 or 2 pages) abstracts of work-in-progress to be submitted via EasyChair, as above. Abstracts should be labeled as such (see checkbox near the end of the article submission form).

Registration

Online, at https://sge.uevora.pt/eventos/ver/1204. 

Proceedings

The conference will have online proceedings.

Authors of accepted papers will be invited to submit an enhanced version for inclusion in a Springer LNAI volume, post conference.

Papers

• Parallel Constraint Satisfaction for Optimizing Medical Appointment Scheduling
  George Assaf, Sven Löer, and Petra Hofstedt

• Information Extraction from Handwritten Portuguese Passport Requisitions  into CIDOC-CRM Archive Representation
  Davide Varagnolo, Dora Melo, Irene Pimenta Rodrigues, and Lígia  Ferreira

• A tiny rule language for planning and sizing the dispatch of emergency response units
  Guy Alain Narboni

• Database Query Processing in SQL using Large Language Models
  Lukas Mönch and Dietmar Seipel

• IoTCRAFT: Toward a Declarative Approach for IoT System Specification and Deployment
  João Cardoso, Pedro Salgueiro,  and Teresa Gonçalves

• Parallel Push Execution of Bottom-Up Datalog Evaluation
  Stefan Brass and Philipp Rösner

Conference Chairs

• Salvador Abreu, University of Évora

• Dietmar Seipel, University of Würzburg

Organization

• Francisco Coelho, University of Évora (chair)

• Lígia Ferreira, University of Évora

• Rui Oliveira, University of Évora

• Pedro Patinho, University of Évora

• Pedro Salgueiro, University of Évora

Program Committee   

• Slim Abdennadher (German University of Cairo, Egypt)

• Salvador Abreu (University of Évora, Portugal, co-chair)

• Martin Atzmüller (Osnabrück University, Germany)

• Joachim Baumeister (University of Würzburg)

• Stefan Brass (University of Halle, Germany)

• François Bry (Ludwig Maximilian University of Munich, Germany)

• Thomas Eiter (Vienna University of Technology, Austria)

• Gopal Gupta (UT Dallas, USA)

• Michael Hanus (University of Kiel, Germany)

• Petra Hofstedt (BTU Cottbus-Senftenberg, Germany)

• Ulrich John (IU International University of Applied Sciences, Germany)

• Grzegorz J. Nalepa (Jagiellonian University in Kraków, Poland)

• Enrico Pontelli (New Mexico State University, USA)

• Paulo Quaresma (University of Évora, Portugal)

• Pedro Rangel Henriques (University of Minho, Portugal)

• Irene Rodrigues (University of Évora, Portugal)

• Ken Satoh (NII, Tokyo, Japan)

• Sibylle Schwarz (HTWK Leipzig, Germany)

• Dietmar Seipel (University of Würzburg, Germany, co-chair)

• Alexander Steen (University of Greifswald, Germany)

• Hans Tompits (Vienna University of Technology, Austria)

• Felix Weitkämper (Ludwig Maximilian University of Munich, Germany)

Colocated Workshops (local pages)

• 39th Workshop on Logic Programming (WLP 2025)

• 16th Workshop on AI-based Management, Optimization and Configuration (MOC 2025)

• 2nd  Workshop on Intelligent Digitalization (IntDig 2025)

Contacts

The organizers may be contacted at declare2025@easychair.org.