Declarative programming - Congresses.

Applications of declarative programming and knowledge management = 18th international conference, INAP 2009, Evora, Portugal, November 3-5, 2009 : revised selected papers / by: (Electronic resources)

Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers / by: (Electronic resources)

Practical aspects of declarative languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016 : proceedings / by: (Electronic resources)

Declarative programming

Theory of Computation.

Software Engineering.

Logics and Meanings of Programs.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Logic programming

Algorithm Analysis and Problem Complexity.

Declarative programming languages

Programming Languages, Compilers, Interpreters.

Knowledge management

Computer Science.

Math Applications in Computer Science.

Constraint programming (Computer science)