Abstract is missing.
- Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxesStefan Borgwardt, Walter Forkel, Alisa Kovtunova. 3-18 [doi]
- Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASPLoris Bozzato, Thomas Eiter, Luciano Serafini. 19-35 [doi]
- ODRL Policy Modelling and Compliance CheckingMarina De Vos, Sabrina Kirrane, Julian Padget, Ken Satoh. 36-51 [doi]
- Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDPMarjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens. 52-66 [doi]
- An ASP-based Solution for Operating Room Scheduling with Beds ManagementCarmine Dodaro, Giuseppe Galatà, Muhammad Kamran Khan, Marco Maratea, Ivan Porro. 67-81 [doi]
- EASE: Enabling Hardware Assertion Synthesis from EnglishRahul Krishnamurthy, Michael S. Hsiao. 82-96 [doi]
- Formalizing Object-Ontological Mapping Using F-logicMartin Ledvinka, Petr Kremen. 97-112 [doi]
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFTFangfang Liu, Jia-Huai You. 113-127 [doi]
- Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer ReasonerFriedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. 128-143 [doi]
- Query Rewriting for DL Ontologies Under the ICAR SemanticsDespoina Trivela, Giorgos Stoilos, Vasilis Vassalos. 144-158 [doi]
- Complementing Logical Reasoning with Sub-symbolic CommonsenseFederico Bianchi, Matteo Palmonari, Pascal Hitzler, Luciano Serafini. 161-170 [doi]
- Adding Constraint Tables to the DMN Standard: Preliminary ResultsMarjolein Deryck, Bram Aerts, Joost Vennekens. 171-179 [doi]
- Detecting "Slippery Slope" and Other Argumentative Stances of Opposition Using Tree Kernels in Monologic DiscourseDavide Liga, Monica Palmirani. 180-189 [doi]
- Fuzzy Logic Programming for Tuning Neural NetworksGinés Moreno, Jesús Pérez, José A. Riaza. 190-197 [doi]
- Querying Key-Value Stores Under Single-Key Constraints: Rewriting and ParallelizationOlivier Rodriguez, Reza Akbarinia, Federico Ulliana. 198-206 [doi]