RuleML+RR B

25 papers

YearTitle / Authors
2018A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm.
Marjolein Deryck, Faruk Hasic, Jan Vanthienen, Joost Vennekens
2018A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling.
Abdelraouf Hecham, Madalina Croitoru, Pierre Bisquert
2018A Rule-Based eCommerce Methodology for the IoT Using Trustworthy Intelligent Agents and Microservices.
Kalliopi Kravari, Nick Bassiliades
2018An 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
2018Answer Set Programming Modulo 'Space-Time'.
Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega
2018CHR.js: A CHR Implementation in JavaScript.
Falco Nogatz, Thom W. Frühwirth, Dietmar Seipel
2018Cardinality Restrictions Within Description Logic Connection Calculi.
Fred Freitas, Ivan Varzinczak
2018Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architecture.
Renan Gomes Barreto, Lucas Oliveira Costa Aversari, Cecília Neta Alves Pegado Gomes, Natasha Correia Queiroz Lino
2018Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Sampling.
Romain Rincé, Romain Kervarc, Philippe Leray
2018Computational Regulation of Medical Devices in PSOA RuleML.
Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2018Faceted Answer-Set Navigation.
Christian Alrabbaa, Sebastian Rudolph, Lukas Schweizer
2018Integrating Rule-Based AI Tools into Mainstream Game Development.
Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari
2018Justifications for Description Logic Knowledge Bases Under the Fixed-Domain Semantics.
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
2018Learning Condition-Action Rules for Personalised Journey Recommendations.
Matthew R. Karlsen, Sotiris Moschoyiannis
2018Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis.
Francesco Calimeri, Francesco Cauteruccio, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
2018Modal Rules: Extending Defeasible Logic with Modal Operators.
Guido Governatori
2018Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting.
Prateek Jain, Peter Z. Yeh, William Jarrold, Ezra Story, Julien Villemure, David L. Martin
2018On Horn Conjunctive Queries.
Enrique Matos Alfonso, Giorgos Stamou
2018On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging.
Patrick Rodler, Wolfgang Schmid
2018On the k-Boundedness for Existential Rules.
Stathis Delivorias, Michel Leclère, Marie-Laure Mugnier, Federico Ulliana
2018Restricted Chase Termination: A Hierarchical Approach and Experimentation.
Arash Karimi, Heng Zhang, Jia-Huai You
2018Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design.
Thom W. Frühwirth
2018Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings
Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman
2018The MET: The Art of Flexible Reasoning with Modalities.
Tobias Gleißner, Alexander Steen
2018Vadalog: A Language and System for Knowledge Graphs.
Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger