Fiftth Workshop on

Learning with Logics and Logics for Learning


June 18 and 19

World Convention Center Summit, Miyazaki, JAPAN

Collocated with the 21th Annual Conference of the Japanese Scociety for Artificial Intelligence (June 20-22, 2007)

The LLLL homepage is here.

June 18th (Monday)
13:30-13:40 Opening
Session 1
13:40-14:10 Mining Frequent d-Free Induced Ordered Subtrees in Tree-structured Databases
Tomonobu Ozaki, Takenao Ohkawa
14:10-14:40 Mining of Frequent Block Preserving Outerplanar Graph Structured Patterns
Yosuke Sasaki, Hitoshi Yamasaki, Takayoshi Shoudai, Tomoyuki Uchida
14:40-15:10 Multiclass Multisurface Proximity Support Vector Machines
Yohji Akama, Taufik Sutanto

Coffee break

Invited Talk (1)

Bridging Together: Bayesian Networks and PCFGs
Taisuke Sato

16:40-17:00 Short break
Session 2
17:00-17:30 Towards a Logical Reconstruction of CF-Induction
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
17:30-18:00 Unordered N-gram Representation Based on Zero-suppressed BDDs for Text Mining and Classification
Ryutaro Kurai, Shin-ichi Minato, Thomas Zeugmann
June 19th (Tuesday)
Invited Talk (2)
9:30- 10:30 Knowledge for Process-Based Modeling
Ljupco Todorovski
10:30-10:50 Short break
Session 3

10:50-11:20 Mining Maximal Flexible Patterns in Sequences
Hiroki Arimura, Takeaki Uno
11:20-11:40 Mining Frequent Elliptic Episodes from Event Sequences
Takashi Katoh, Kouichi Hirata
11:40-12:10 Computing Characteristic Sets of Bounded Unions of Polynomial Ideals
Itsuo Takamatsu, Masanori Kobayashi, Hiroo Tokunaga, Akihiro Yamamoto


Scope of the workshop :

    Logic is  a fundamental and useful representation method in Artificial Intelligence. Various types of logic, such as logic programs, first-order logic, description logic, higher-order logic, have been used for representing knowledge and rules as well as representing structural data in Intelligent Systems and Data Management Systems. Recently, machine learning procedures have started to provide semantics of logical formula and foundations of some procedures in mathematics.
   This workshop is proposed to bring together researchers who are interested in both of the areas of machine learning and computational logic, and to have intensive discussions on various relations between the two with making their interchange more active.
   We are hoping that analyzing role of Computational Logic will make Machine Learning and Machine Discovery techniques be more powerful and flexible, and also analyzing the activity of Machine Learning and Machine Discovery on the view point of logic will give a new insight to Computational Logic.

Potential (but not exclusive) topics include :

Learning and knowledge discovery using logics
               Algorithmic aspects of learning based on logics
               Logics for machine learning and knowledge discovery
               Logics using machine learning
               Machine learning as a foundation of mathematics/mathematical procedures
               Amalgamation of logic-based learning and statistical/information theoretical learning
               Learning and knowledge discovery from relational data
               Learning and knowledge discovery from structured/semi-structured data
               Learning and knowledge discovery from real-valued data

Deadline of (first) paper submission: April, 6, 2007  April, 16, 2007   
Notification of Acceptance: 
April, 23, 2007  May, 4, 2007
Deadline of camera ready submission: May, 4, 2007   May, 18, 2007
Workshop date: June, 18 and 19, 2007 (Monday and Tuesday)
Workshop site: World Convention Center Summit, Miyazaki, JAPAN

How to submit: Authors are invied to submit their papers in the PDF format by email PDF file to
             akihiro (at)  and  hirata (at) (both).  
/* Please replace (at) with @ */
Please write the text `[LLLL07: Paper Submission]' in the subject of the massage.
Submitted papers should consist of the maximum of 7 pages with the LaTeX style file available here.

The working note (proceedings) will be published by JSAI for the workshop. JSAI is now negotiating with Springer-Verlag for the publication of the post-proceedings which consists of distinguished papers in main conference and selected papers from associated workshops as the previous years.

Policy on
Submission Both to LLLL2007 and to ILP2007: Authors who are submitting their papers to ILP2007, please see our policy shown here.

Workshop organizers : Akihiro Yamamoto (Kyoto University)  
Kouichi Hirata (Kyushu Institute of Technology)

            Yoji Akama (Tohoku University, Japan)
            Marta Arias (Columbia University, USA)
            Hiroki Arimura (Hokkaido University, Japan)
            Kouichi Hirata (Kyushu Institute of Technology, Japan)
            Tamas Horvath (Fraunhofer Institute, Germany)
            Katsumi Inoue (National Institute of Informatics, Japan)
            Eric Martin (University of New South Wales, Australia)
            Shin-ichi Minato (Hokkaido University, Japan)
            Luc de Raedt (University of Freiburg, Germany)
            Taisuke Sato (Tokyo Institute of Technology, Japan)
            Takayoshi Shoudai (Kyushu University)
            Gyorgy Turan (University of Illinois at Chicago, USA)
            Hiroaki Watanabe(Imperial College London, UK)
            Akihiro Yamamoto (Kyoto University, Japan)

Contact:          Postal addess :   Akihiro Yamamoto
                                                Graduate School of Informatics
                                                Kyoto University

                                                Yoshida-Honmachi, Sakyo-ku, Kyoto

                                                606-8501 JAPAN

        Email : akihiro (at) /* Please replace (at) with @ */ 
                       Phone: +81 75 753 5995
                       Fax: +81 75 753 5628