Periodic Reporting for period 4 - FLEXILOG (Formal lexically informed logics for searching the web)

"The specific technical challenges addressed in this project relate to how knowledge about the world is encoded, and how we can reason with such (messy) knowledge in a robust way.Traditionally, in the field of artificial intelligence, logics have been used to represent and...