This book constitutes the refereed proceedings of the 7th International RuleML Symposium, RuleML 2013, held in Seattle, WA, USA, in July 2013 - collocated with the 27th AAAI 2013. The 22 full papers,12 technical papers in main track, 3 technical papers in human language technology track, and 4 tutorials presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The accepted papers address topics such as rule-based programming and rule-based systems including production rules systems, logic programming rule engines, and business rules engines/business rules management systems; Semantic Web rule languages and rule standards; rule-based event processing languages (EPLs) and technologies; and research on inference rules, transformation rules, decision rules, production rules, and ECA rules.

This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016. The 11 full papers presented were carefully reviewed and selected from 15 submissions. The topics range from natural languages which are controlled, to controlled languages with a natural language flavour; and from more theoretical results to interfaces, reasoning engines and real-life applications of CNLs.

Trevor Bench-Capon is well recognised as an outstanding figure in Artificial Intelligence and Law, having published extensively over the long course of his career on legal knowledge representation, engineering methods for knowledge-based systems, theoretical and applied argumentation, case-based reasoning, policy-making, reasoning about evidence, and many other related topics. He has deeply influenced many of his colleagues, particularly with his earlier work on principled methods for legal knowledge representation and the engineering of knowledge-based systems, and later with the introduction of values in the study of argumentation. This Festschrift is in honour of Bench-Capon's work and its seminal influence. The articles contained here by his colleagues extensively review, comment on, and extend Bench-Capon's work. As a whole, the volume is a substantive introduction to the main topics and issues to which Bench-Capon has contributed so much.