September 15, 2013, Corunna, Spain, in association with LPNMR 2013

Aims and Scope

Knowledge representation and reasoning (KR&R) and machine learning are two important fields in artificial intelligence (AI). (Nonmonotonic) logic programming (NMLP) and answer set programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, inductive logic programming (ILP) realizes inductive machine learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reasoning while lack the ability of (inductive) learning. By contrast, ILP realizes inductive machine learning while most techniques have been developed under the classical monotonic logic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic inductive logic programming (NMILP). Such combination will introduce a learning mechanism to programs and would exploit new applications on the NMLP side, while on the ILP side it will extend the representation language and enable to use existing solvers. Cross-fertilization between learning and nonmonotonic reasoning can also occur in such as:

• the use of answer set solvers for Inductive Logic Programming
• speed-up learning while running answer set solvers
• learning action theories
• learning transition rules in dynamical systems
• learning normal, extended and disjunctive programs
• formal relationships between learning and nonmonotonic reasoning
• abductive learning
• updating theories with induction
• learning biological networks with inhibition
• applications involving default and negation

This workshop is the first attempt to provide an open forum for the identification of problems and discussion of possible collaborations among researchers with complementary expertise. To facilitate interactions between researchers in the areas of (machine) learning and nonmonotonic reasoning, we welcome contributions focusing on problems and perspectives concerning both learning and nonmonotonic reasoning.

Invited Talk (new)

Luc De Raedt (Katholieke Universiteit Leuven, Belgium)
"Declarative Modeling for Machine Learning and Data Mining"

Abstract
Despite the popularity of machine learning and data mining today, it remains challenging to develop applications and software that incorporates machine learning or data mining techniques. This is because machine learning and data mining have focussed on developing high-performance algorithms for solving particular tasks rather than on developing general principles and techniques. I propose to alleviate these problems by applying the constraint programming methodology to machine learning and data mining and to specify machine learning and data mining problems as constraint satisfaction and optimization problems. What is essential is that the user be provided with a way to declaratively specify what the machine learning or data mining problem is rather than having to outline how that solution needs to be computed. This corresponds to a model + solver-based approach to machine learning and data mining, in which the user specifies the problem in a high level modeling language and the system automatically transforms such models into a format that can be used by a solver to efficiently generate a solution. This should be much easier for the user than having to implement or adapt an algorithm that computes a particular solution to a specific problem. Throughout the talk, I shall use illustrations from our work on constraint programming for itemset mining and probabilistic programming.

Submission

We solicit original papers which are not published elsewhere. Papers should be written in English and be formatted according to the Springer Verlag LNCS style, which can be obtained from http://www.springeronline.com. Every paper should not exceed 12 pages including the title page, references and figures. All submissions will be peer-reviewed and all accepted papers must be presented at the workshop.

Submission page: https://www.easychair.org/conferences/?conf=lnmr2013

Proceedings (new)

The online proceedings are available here for the workshop, and will be published in CoRR (Computing Research Repository - arXiv) afterwards.

Important Dates

Paper registration: June 30 Extended to July 21
Submission deadline: July 7 Extended to July 28
Notification: August 24
Final version due: September 7
Workshop: September 15

Workshop co-Chairs

Katsumi Inoue, National Institute of Informatics, Japan
Chiaki Sakama, Wakayama University, Japan

Program Committee

• Dalal Alrajeh (Imperial College London, UK)
• Marcello Balduccini (Kodak Research Laboratories, USA)
• Chitta Baral (Arizona State University, USA)
• Gauvain Bourgne (Université Pierre et Marie Curie, France)
• Luc De Raedt (Katholieke Universiteit Leuven, Belgium)
• Katsumi Inoue (National Institute of Informatics, Japan)
• Francesca A. Lisi (Università degli Studi di Bari "Aldo Moro", Italy)
• Stephen Muggleton (Imperial College London, UK)
• Adrian Pearce (University of Melbourne, Australia)
• Oliver Ray (University of Bristol, UK)
• Chiaki Sakama (Wakayama University, Japan)
• Taisuke Sato (Tokyo Institute of Technology, Japan)
• Torsten Schaub (University of Potsdam, Germany)