INAP 2019: 22nd International Conference on Applications of Declarative Programming and Knowledge Management
Veranstaltungsort
Brandenburgische Technische Universität Cottbus - SenftenbergPlatz der deutschen Einheit 1
Universitätsplatz 1
Cottbus, Senftenberg, Deutschland
Beschreibung
Important Dates --- EXTENDED DEADLINES ---
Paper submission: June 24, 2019
Notification of acceptance: July 15, 2019
Camera-ready papers: August 5, 2019
Early registration: August 12, 2019
Online Registration: September 2, 2019
Conference: September 9-13, 2019
INAP is a forum for intensive discussion of applications of important
technologies around declarative programming, constraint problem
solving, and related computing paradigms. It comprehensively covers
the impact of data and knowledge engineering, programmable logic
solvers in the internet society, its underlying technologies, and
leading edge applications in industry, commerce, government, and
societal services. Previous INAP conferences have been held in Japan,
Germany, Portugal, and Austria.
We invite high quality contributions on the described topics,
especially, but not exclusively, on different aspects of declarative
programming, constraint processing, data and knowledge management, as
well as their use for distributed systems and the web:
* data and knowledge engineering / management: deductive databases,
rule bases, decision support, expert systems, knowledge discovery;
* declarative programming: logic programming, nonmonotonic reasoning,
knowledge representation, domain-specific languages;
* constraints: constraint systems, (extensions of) constraint (logic)
programming, constraint-based modeling and applications;
* distributed systems and the web: agents and concurrent engineering,
ontologies, semantic web, internet of things;
* practical systems: tools for academic and industrial use,
knowledge-based web services, logic solvers and applications;
* multi-paradigm programming.
INAP 2019 will be part of DECLARE 2019 and hence be co-located with
WFLP 2019 (International Workshop on Functional and Logic
Programming), WLP 2019 (Workshop on (Constraint) Logic Programming),
and QPLogic 2019 (Quantum and Probability Logic).