INAP 2019: 22nd International Conference on Applications of Declarative Programming and Knowledge Management

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).