| # | Author(s) | Title |
|---|---|---|
| 1 |
Stathis Delivorias, Michel Leclere, Marie-Laure Mugnier and Federico Ulliana
|
On the k-Boundedness for Existential Rules
|
| 2 |
Abdelraouf Hecham, Pierre Bisquert and Madalina
Croitoru
|
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
|
| 3 |
Romain Rincé, Romain Kervarc and Philippe Leray
|
Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling
|
| 4 |
Enrique Matos Alfonso and Giorgos Stamou
|
On Horn Conjunctive Queries
|
| 5 |
Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile and Giorgio
Terracina
|
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis
|
| 6 |
Francesco Pacenza, Francesco Calimeri,
Stefano Germano, Giovambattista Ianni, Simona Perri and Jessica Zangari
|
Integrating Rule-Based AI Tools into Mainstream Game Development
|
| 7 |
Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Designs - Technical Communication
|
|
| 8 |
Matthew R Karlsen and Sotiris
Moschoyiannis
|
Learning condition action rules for personalised journey recommendations
|
| 9 |
Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas and Panayiotis Frangos
|
Computational Regulation of Medical Devices in PSOA RuleML
|
| 10 |
Marjolein Deryck, Faruk Hasic, Jan Vanthienen and Joost Vennekens
|
A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm
|
| 11 |
Christian Alrabbaa, Sebastian
Rudolph and Lukas Schweizer
|
Faceted Answer-Set Navigation
|
| 12 |
Justifications for Description Logic Knowledge Bases under the Fixed-Domain Semantics
|
|
| 13 |
An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$
|
|
| 14 |
Tobias Gleißner and Alexander Steen
|
The MET: The Art of Flexible Reasoning with Modalities
|
| 15 |
Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes and Natasha
Correia Queiroz Lino
|
Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture
|
| 16 |
Carl Schultz, Mehul Bhatt,
Jakob Suchan and Przemysław
Andrzej Wałęga
|
Answer Set Programming Modulo `Space-Time'
|
| 17 |
Arash Karimi, Heng Zhang and Jia-Huai You
|
Restricted Chase Termination: a Hierarchical Approach and Experimentation
|
| 18 |
Patrick Rodler and Wolfgang Schmid
|
On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
|
| 19 |
Cardinality Restrictions within Description Logic Connection Calculi
|
|
| 20 |
Prateek Jain, Peter Yeh, William Jarrold, Ezra Story, Julien Villemure
and David Martin
|
Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting
|
| 21 |
A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices
|
|
| 22 |
Falco Nogatz, Thom
Fruehwirth and Dietmar Seipel
|
CHR.js: A CHR Implementation in JavaScript
|