Welcome to LLLL home page.
Workshop on Learning with Logics and Logics for Learning

What is LLLL?

Logic is a fundamental and useful representation method 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 been used for representing knowledge obtained with various types of learning mechanisms including identification in the limit, PAC learning, on-line learning, EXACT learning, machine discovery, and learning based on Bayesian networks. On the other hand, machine learning procedures are used in giving semantics to logic and foundations of some procedures in mathematics.
The LLLL 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.

Contact us:

All questions on LLLL sould be sent: akihiro (at) i.kyoto-u.ac.jp