Logic programming - Congresses.

Applications of Declarative Programming and Knowledge Management = 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / by: (書目-語言資料,印刷品)

Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / by: (書目-語言資料,印刷品)

Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence (incl. Robotics)

Algorithm Analysis and Problem Complexity.

Computer Science.

Programming Techniques.

Declarative programming

Logic programming

Mathematical Logic and Formal Languages.

Knowledge management

Data Mining and Knowledge Discovery.

Nonmonotonic reasoning

Automatic hypothesis formation