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
Program
Access
Hotel Information
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.
Scope
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.
Topics
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
Submission
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.
Important Date
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
Invided Speakers
Luc de Raedt (University of Freiburg, Germany)
Roni Khardon (Tufts University, USA)
Program Chairs
Akihiro Yamamoto
Graduate School of Informatics, Kyoto University
akihiro (at) i.kyoto-u.ac.jp
Kouichi Hirata
Department of Artificial Intelligence, Kyushu Institute of Technology
hirata (at) ai.kyutech.ac.jp
Program Committee
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:00--13:10 | Opening | |
| 13:10--14:10 | Invited Talk (1) | Chair : Ken Satoh |
| Roni Khardon | From Complexity Results to Efficient Systems | |
| 14:10--14:30 | Break | |
| 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 |
| 16:00--16:20 | Break | |
| 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 |
| 10:00--10:20 | Break | |
| Session 4 Chair : Roni Khardon | Logical and Statistical Learning | |
| 10:20--10:50 | Joe Suzuki | Strong Consistency in Learning Stochastic Relations |
| 10:50--13:00 | Lunch | |
| 13:00--14:00 | Invited Talk (2) | Chair : Katsumi Inoue |
| Luc de Readt | From Inductive Logic Programming to Probabilistic Inductive Logic Programming | |
| 14:00--14:20 | Break | |
| 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 |
| 15:20--15:40 | Break | |
| 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 |
| 16:40--16:50 | Closing |
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