Pre-proceedings of the DECLARE 2019 Conference
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar, Seipel

TL;DR
The DECLARE 2019 conference volume presents recent advances, applications, and foundational research in declarative programming, fostering interdisciplinary exchange among researchers and students across related fields.
Contribution
This volume compiles recent research, applications, and foundational insights in declarative programming, emphasizing cross-disciplinary collaboration and novel techniques presented at the conference.
Findings
Showcase of new declarative programming applications
Insights into implementation techniques and theoretical foundations
Promotion of interdisciplinary research in declarative paradigms
Abstract
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This method has attracted increased attention over the last decades, e.g., in the domains of data and knowledge engineering, databases, artificial intelligence, natural language processing, modeling and processing combinatorial problems, and for establishing systems for the web. The conference DECLARE 2019 aims at cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, implementation techniques, novel applications, and combinations of high-level, declarative programming and related areas. The technical program of the event…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Constraint Satisfaction and Optimization · Bayesian Modeling and Causal Inference
