The next LLLL (LLLL 2006) will be held on June 2006 at Tokyo !
Workshop on Learning with Logics and Logics for Learning (LLLL)
June 13-14, 2005
The Kitakyushu International Conference Center, Kitakyushu, Japan
Collocated with the 19th Annual Conference of the Japanese Society for Artificial Intelligence (June 15-16, 2005).
The announcement of other collocated workshops is here.
This workshp is supported by SIG-FPAI of JSAI, chaired by Prof. Ken Satoh (NII, Japan).
Last Update : Jan. 20, 2006
The workshop LLLL has been finished in successful.
We would thank to the invited speakers, Prof. Roni Khardon and Prof. Luc De Raedt,
all Program Commitee members, all speakers and all audiences.
Logic is a fundamental and useful representation for knowledge in Artificial Intelligence. In the area of Machine Learning, various types of computational logic, such as logic programs, first-order logic, description logic, higher-order logic, have developed by incorporating with various types of learning methdologies including identification in the limit, PAC learning, on-line learning, query learning, machine discovery, and learning based on Bayesian networks. On the other hand, machine learning procedures frequently provide semantics to logic 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.
Learning and knowledge discovery using logics
Logics (including probablistic logic and stochastic logic) for machine learning and knowledge discovery
Logics using machine learning
Machine learning as a foundation of mathematics/mathematical procedures
Learning and knowledge discovery from relational data
Learning and knowledge discovery from structured/semi-structured data
Algorithmic aspects of learning based on logics
Authors are invied to submit ther papers electronically in PostScript or PDF format are accepted. Please send your paper as a PostScript or PDF file to : akihiro (at) i.kyoto-u.ac.jp and hirata (at) ai.kyutech.ac.jp (both)
Submitted papers should consist of the maximum of 7 pages with the LaTeX style file (downloaded here).
The working note (proceedings) with ISBN will be published by JSAI for the workshop, and some outstanding papers will be published in a post proceedings book as Lecture Notes in Artificial Intelligence from Springer, with such papers from other collocated workshops.
Double Submission Policy
Authors can submit a paper to LLLL as an extended abstract if they have submitted it to another conference or workshop, with declaring the double submission. If it is accepted by LLLL, it will be included in the working note for LLLL.
The authors can also submit the full paper to the post-workshop proceedings of LLLL published from Springer. However, the authors MUST withdraw the submission to the other conference, if it is accepted by both the post-workshop proceedings and the other conference.
Deadline of paper submission:
March 31, 2005 -> April 6, 2005 (23:59 JST) (extended)
Notification of acceptance:
April 18, 2005 -> April 20, 2005 (extended)
Deadline of camera ready submission:
April 30, 2005
Workshop: June 13-14
Luc de Raedt (University of Freiburg, Germany)
Roni Khardon (Tufts University, USA)
Graduate School of Informatics, Kyoto University
akihiro (at) i.kyoto-u.ac.jp
Department of Artificial Intelligence, Kyushu Institute of Technology
hirata (at) ai.kyutech.ac.jp
Marta Arias (Columbia University, USA)
James Cussens (University of York, UK)
Susumu Hayashi (Kobe 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)
Taisuke Sato (Tokyo Institute of Technology, Japan)
Ken Satoh (National Institute of Informatics, Japan)
Eiji Takimoto (Tohoku University, Japan)
Gyorgy Turan (University of Illinois at Chicago, USA)
Akihiro Yamamoto (Kyoto University, Japan)
June 13 (Monday)
|13:10--14:10||Invited Talk (1)||Chair : Ken Satoh|
|Roni Khardon||From Complexity Results to Efficient Systems|
|Session 1 Chair : Eiji Takimoto||Data Mining and Logic (1)|
|14:30--15:00||Shin-ichi Minato||Efficiant Database Analysis Using VSOP Calculator Based on Zero-suppressed BDDs|
|15:00--15:30||Yoshikazu Shima, Kouichi Hirata, Masateru Harao||Frequent Few-Overlapped Monotone DNF Formulas|
|15:30--16:00||Ken Satoh, Takeaki Uno||Enumerating Minimal Revised Specification Using Dualization|
|Session 2 Chair : Hiroaki Watanabe||Foundations of Logic for Learning|
|16:20--16:50||Megumui Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao||On Generalization and Subsumption for Ordered Clauses|
|16:50--17:20||Keizo Yamada, Shuping Yin, Masateru Harao, Kouichi Hirata||Analogy Based Generic Automatic Theorem Prover|
June 14 (Tuesday)
|Session 3 Chair : Kouichi Hirata||Computational Learning Related to Logic (1)|
|9:00--9:30||Judy Goldsmith, Robert H. Sloan, Balazs Szorenyi, Gyorgy Turan||Theory Revision with Queries: Results and Problems|
|9:30--10:00||Eiji Takimoto, Naomitsu Aizawa, Akira Maruoka||On Proper Learning for Monotone Term Decision Lists from Queries|
|Session 4 Chair : Roni Khardon||Logical and Statistical Learning|
|10:20--10:50||Joe Suzuki||Strong Consistency in Learning Stochastic Relations|
|13:00--14:00||Invited Talk (2)||Chair : Katsumi Inoue|
|Luc de Readt||From Inductive Logic Programming to Probabilistic Inductive Logic Programming|
|Session 5 Chair : Luc De Raedt||Data Mining and Logic (2)|
|14:20--14:50||Hiroaki Watanabe, Stephen Muggleton||Learning Stochastic Logical Automaton|
|14:50--15:20||Atsushi Saito, Junzo Munemoto, Daisuke Matsushita||Acquiring Configuration Rules of Form Elements from "Historic" Architectural Facade Employing Inductive Logic Programming|
|Session 6 Chair : Gyorgy Turan||Computational Learning Related to Logic (2)|
|15:40--16:10||Yen Kaow Ng, Takeshi Shinohara||Inferring Unions of the Pattern Languages by the Most Fitting Covers|
|16:10--16:40||Eiju Hirowatari, Kouichi Hirata, Tetsuhiro Miyahara||Prediction of Recursive Real-Valued Functions from Finite Examples|
Sample Routes from Fukuoka Airport to the Kitakyushu International Conference Center
Access Map to the City of Kitakyushu
Access Map from JR Kokura Station to the Kitakyushu International Conference Center
We recommend "Station Hotel Kokura" as the hotel for forigners near to conference site.
You can make a reservation in on-line.
Here is the list of other hotels