Abstract is missing.
- Vadalog: A Language and System for Knowledge GraphsLuigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger. 3-8 [doi]
- Modal Rules: Extending Defeasible Logic with Modal OperatorsGuido Governatori. 9-30 [doi]
- Mixing Logic Programming and Neural Networks to Support Neurological Disorders AnalysisFrancesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina. 33-47 [doi]
- On the k-Boundedness for Existential RulesStathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. 48-64 [doi]
- Cardinality Restrictions Within Description Logic Connection CalculiFred Freitas, Ivan Varzinczak. 65-80 [doi]
- A First Order Logic Benchmark for Defeasible Reasoning Tool ProfilingAbdelraouf Hecham, Madalina Croitoru, Pierre Bisquert. 81-97 [doi]
- Restricted Chase Termination: A Hierarchical Approach and ExperimentationArash Karimi, Heng Zhang 0006, Jia-Huai You. 98-114 [doi]
- On Horn Conjunctive QueriesEnrique Matos Alfonso, Giorgos Stamou. 115-130 [doi]
- CHR.js: A CHR Implementation in JavaScriptFalco Nogatz, Thom W. Frühwirth, Dietmar Seipel. 131-146 [doi]
- Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and SamplingRomain Rincé, Romain Kervarc, Philippe Leray. 147-163 [doi]
- On the Impact and Proper Use of Heuristics in Test-Driven Ontology DebuggingPatrick Rodler, Wolfgang Schmid. 164-184 [doi]
- Justifications for Description Logic Knowledge Bases Under the Fixed-Domain SemanticsSebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa. 185-200 [doi]
- Computational Regulation of Medical Devices in PSOA RuleMLSofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos. 203-210 [doi]
- Faceted Answer-Set NavigationChristian Alrabbaa, Sebastian Rudolph, Lukas Schweizer. 211-225 [doi]
- Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service ArchitectureRenan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino. 226-238 [doi]
- An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria. 239-247 [doi]
- A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) ParadigmMarjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens. 248-263 [doi]
- Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark DesignThom W. Frühwirth. 264-273 [doi]
- The MET: The Art of Flexible Reasoning with ModalitiesTobias Gleißner, Alexander Steen. 274-284 [doi]
- Nuance Reasoning Framework: A Rule-Based System for Semantic Query RewritingPrateek Jain 0001, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David L. Martin 0001. 285-292 [doi]
- Learning Condition-Action Rules for Personalised Journey RecommendationsMatthew R. Karlsen, Sotiris Moschoyiannis. 293-301 [doi]
- A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and MicroservicesKalliopi Kravari, Nick Bassiliades. 302-309 [doi]
- Integrating Rule-Based AI Tools into Mainstream Game DevelopmentFrancesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. 310-317 [doi]
- Answer Set Programming Modulo 'Space-Time'Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega. 318-326 [doi]