The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007)
The workshop on Learning with Logics and Logics for Learning (LLLL) was started in January 2002 in Sapporo, Japan, in order to encourage the interchange of computational logic and machine learning. After held twice as a domestic workshop, it was re-started in 2005 as an collocated international workshop with the Annual Conference of Japanese Society for Artificial Intelligence (JSAI).
In the past four workshops, we accepted 55 papers in total. We could classify them into two types. The first type is to introduce computational logic into machine learning, of which elements are Boolean algebra, clausal theories and structured data such as first-order terms. The second type is to provide and analyze semantics of logic and mathematics with machine learning, for example, clarifying the relation between computational algebra and machine learning.