
All About Fuzzy Description Logics and Applications.- Higher-Order Modal Logics: Automation and Applications.- Web Stream Reasoning: from Data Streams to Actionable Knowledge.- Recommender Systems and Linked Open Data.- The TPTP World - Infrastructure for Automated Reasoning.-...