Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic: 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures

Logics in Artificial Intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings