| Marek Sergot: A Memoir / Trevor Bench-Capon |
| The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor |
| Logic Programming / Part I： |
| Teleo-Reactive Abductive Logic Programs / Fariba Sadri |
| Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni |
| What Is Negation as Failure? / Dov M. Gabbay |
| Temporal Reasoning and Action Languages / Part II： |
| The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic / Dario Delia Monica ; Angela Montanari ; Pietro Sala |
| Argumentation and the Event Calculus / Evgenios Hadjisoteriou |
| Reactive Event Calculus for Monitoring Global Computing Applications / Stefano Bragaglia ; Federico Chesani ; Paola Mello ; Marco Montali ; Paolo Torroni |
| Reasoning about the Intentions of Agents / Justin Blount ; Michael Gelfond |
| Symbolic Model Checking for Temporal-Epistemic Logic / Wojciech Penczek |
| GOAL Agents Instantiate Intention Logic / Koen V. Hindriks ; Wiebe van der Hoek ; John-Jules Ch. Meyer |
| AI and Law / Part III： |
| Open Texture and Argumentation: What Makes an Argument Persuasive? |
| Irrationality in Persuasive Argumentation / Paul E. Dunne |
| Some Reflections on Two Current Trends in Formal Argumentation / Henry Prakken |
| Deontic Logic and Norm-Governed Systems / Part IV： |
| On the Representation of Normative Sentences in FOL / Steven O. Kimbrough |
| Why Be Afraid of Identity? Comments on Sergot and Prakken's Views / Xavier Parent |
| Deon+: Abduction and Constraints for Normative Reasoning / Marco Alberti ; Marco Gavanelli ; Evelina Lamma |
| Contrary-To-Duties in Games / Paolo Turrini ; Leendert van der Torre ; Silvano Colombo Tosatto |
| Logical Approaches to Policies and Authorization / Part V： |
| Logical Approaches to Authorization Policies |
| Decentralized Governance of Distributed Systems via Interaction Control / Naftaly H. Minsky |
| Managing User-Generated Content as a Knowledge Commons / Jeremy Pitt |
| Author Index |
| Marek Sergot: A Memoir / Trevor Bench-Capon |
| The Scientific Contribution of Marek Sergot / Steve Barker ; Andrew J.I. Jones ; Antonis Kakas ; Robert A. Kowalski ; Alessio Lomuscio ; Rob Miller ; Stephen Muggleton ; Giovanni Sartor |
| Logic Programming / Part I： |
| Teleo-Reactive Abductive Logic Programs / Fariba Sadri |
| Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties / Paolo Mancarella ; Francesca Toni |
| What Is Negation as Failure? / Dov M. Gabbay |
