Abstract is missing.
- Forget and Regeneration Techniques for Optimizing ASP-Based Stream ReasoningFrancesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. 1-17 [doi]
- Asynchronous Reactive Programming with Modal Types in HaskellPatrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam. 18-36 [doi]
- FOLD-SE: An Efficient Rule-Based Machine Learning Algorithm with Scalable ExplainabilityHuaduo Wang, Gopal Gupta 0001. 37-53 [doi]
- Marketplace Logistics via Answer Set ProgrammingMario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners. 54-63 [doi]
- Rhyme: A Data-Centric Expressive Query Language for Nested Data StructuresSupun Abeysinghe, Tiark Rompf. 64-81 [doi]
- Rethinking Answer Set Programming TemplatesMario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari. 82-99 [doi]
- Cutting the Cake into Crumbs: Verifying Envy-Free Cake-Cutting Protocols Using Bounded Integer ArithmeticMartin Mariusz Lester. 100-115 [doi]
- A Direct ASP Encoding for DeclareFrancesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca. 116-133 [doi]
- Using Logic Programming and Kernel-Grouping for Improving Interpretability of Convolutional Neural NetworksParth Padalkar, Huaduo Wang, Gopal Gupta 0001. 134-150 [doi]
- Hardware Implementation of OCaml Using a Synchronous Functional LanguageLoïc Sylvestre, Jocelyn Sérot, Emmanuel Chailloux. 151-168 [doi]
- Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-Based ArchitecturesTeodoro Baldazzi, Luigi Bellomarini, Marco Favorito, Emanuel Sallinger. 169-185 [doi]
- Explanation and Knowledge Acquisition in Ad Hoc TeamworkHasra Dodampegama, Mohan Sridharan. 186-203 [doi]
- Automated Interactive Domain-Specific Conversational Agents that Understand Human DialogsYankai Zeng, Abhiramon Rajasekharan, Parth Padalkar, Kinjal Basu 0002, Joaquín Arias, Gopal Gupta 0001. 204-222 [doi]