RuleML+RR 2024

the 8th International Joint Conference on Rules and Reasoning

Bucharest, Romania

16 - 18 September 2024

accepted papers

Main track

Mario Wenzel. Using Answer Set Programming for Integrity Maintenance in a Smart Home System. 

Federico Ulliana, Pierre Bisquert, Akira Charoensit, Renaud Colin, Florent Tornil and Quentin Yeche. Collaborative Benchmarking Rule-Reasoners with B-Runner.

Patrick Betz, Stefan Lüdtke, Christian Meilicke and Heiner Stuckenschmidt. Rule Confidence Aggregation for Knowledge Graph Completion.

Lucas Martins, João Bravo, Sofia Gomes, Carlos Soares and Pedro Bizarro. RIFF: Inducing Rules for Fraud Detection from Decision Trees.

Romuald Esdras Wandji and Diego Calvanese. Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.

Simon Ott, Christian Meilicke and Heiner Stuckenschmidt. Reevaluation of Inductive Link Prediction.

Cecilia Di Florio and Antonino Rotolo. Judicial Explanations.

Arka Ghosh, Albulen Pano, Guohui Xiao and Diego Calvanese. OntoRaster: Extending VKGs with Raster Data.

Julien Corman, Werner Nutt and Ognjen Savkovic. Complete Approximations of Incomplete Queries.

Rafael Peñaloza and Anni-Yasmin Turhan. Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.

Hagen Voelzer, Daniel Horn, Yusik Kim and Greger Ottosson. A Benchmark for Rule Induction in Automated Business Decisions.

Mihai Pomarlan, Laura Spillner, Maria M. Hedblom and Robert Porzel. Revising Defeasible Theories via Instructions.

Victor Lacerda, Ana Ozaki and Ricardo Guimarães. FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.

Doerthe Arndt, Jos De Roo, Patrick Hochstenbach, Rebekka Martens, Femke Ongenae and Mathijs van Noort. RDF Surfaces as a First-Order language for the Semantic Web.

Guido Governatori and Francesco Olivieri. Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.

Ya Wang, Dainel Barta, Julian Hesse, Philip Buchwald and Adrian Paschke. Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.

Rule Challenge

Marek Sikora, Dawid Macha, Joanna Badura, Artur Kozłowski and Łukasz Wróbel. RuleMiner: An Interactive Web Tool for Rule-Based Data Analysis.

Akira Charoensit, David Carral, Pierre Bisquert, Lucas Rouquette and Federico Ulliana. Rule-aware Datalog Fact Explanation Using Group-SAT Solver.

Renan L. Fernandes, Fred Freitas, Ivan Varzinczak and Pedro Porfirio Muniz Farias. Java-CoP: a connection method for (possibly) any logical language.

Ben Schack, Yifan Zhang, James Hoffmeister and Jeff Heflin. Query Optimization of Backward-Chaining Reasoning with Learned Heuristics.

Teodoro Baldazzi, Luigi Bellomarini, Davide Benedetto, Emanuel Sallinger and Adriano Vlad. Softening Ontological Reasoning with Large Language Models.

Theodoros Mitsikas, Ralph Schäfermeier, Yousef Taheri, Kanae Tsushima, Hisashi Hayashi, Jean-Gabriel Ganascia, Gauvain Bourgne, Ken Satoh and Adrian Paschke. Distributed Component Interoperation and Execution for Norm-Based Real-time Compliance.

Yao Yao, Horacio González-Vélez and Madalina Croitoru. Explanatory Dialogues with Active Learning for Rule-based Expertise.

Christel Sirocchi and Sara Montagna. Integrating Symbolic Knowledge and Machine Learning in Healthcare.

Djordje Markovic and Marc Denecker. Solving "Greeting a Customer with Unknown Data" challenge with epistemic DMN.

Guido Governatori, Ilaria Angela Amantea, Marianna Molinari, Marinella Quaranta, Simone Vignoni, Andrea Filippo Ferraris, Giuseppe Contissa, Monica Palmirani, Marco Busso and Marco Grosso. Fair Shifts by the Rule: a Rule-based Compliance Methodology for Medical Rosters.

Industry Track

Michel Vanden Bossche-Marquette. Ontologies and Semantic Rules in Real Life.

Mihai Hulea, Andrei Rusu, Dorin Clisu and Iulia Farcas. A Novel User-Friendly Pipeline for Enhanced Natural Language Understanding in Human-Robot Interaction.

Laurentiu Vasiliu, Radu Prodan, Ahmet Soylu and Dumitru Roman. Generating synthetic financial time series data in extreme volumes.

Barbara Makovec, Luis Rei and Inna Novalija. Preparing AI for Compliance: Initial Steps of a Framework for Teaching LLMs to Reason About Compliance.

Networking Session

Ciprian Paduraru, Rares Cristea and Alin Stefanescu. An overview of AI techniques in DYNABIC project.

Rustem Dautov. INTEND: Cognitive Computing Continuum for Intent-Based Data Operations.

Roberto Avogadro, Ahmet Soylu and Dumitru Roman. Empowering Research with Efficient Data Enrichment: An Overview of the enrichMyData Toolbox.

Rustem Dautov. SMARAGD: Data Interoperability for Decision Support in the Norwegian Agrifood Sector.

Daniel Traian Pele. IDA Institute Digital Assets.

Daniel Traian Pele. AI for Energy Finance.

Dumitru Roman, George Konstantinidis, Marta Musidlowska, Radu Prodan and Matteo Palmonari. DataPACT: Compliance by design of Data/AI operations and pipelines.

Soulmaz Gheisari, Semih Yumuşak, Jaime Osvaldo Salas, Luis Ibanez-Gonzalez, George Konstantinidis and Dumitru Roman. Towards Modular Data Marketplaces.

Petre Caraiani, Liviu-Adrian Cotfas, Flaviu Cosmin Darie and Radu Prodan. JobKG: A Knowledge Graph of the Romanian Job Market based on Natural Language Processing.

Seyedehhaleh Seyeddizaji and Radu Aurel Prodan. Graph-Massivizer Platform and Reasoning over Large Graphs.

Adrian Paschke, Ken Satoh and Jean-Gabriel Ganascia. Realtime Compliance Mechanism for AI (RECOMP).

Marius Matei. AI and HF econometric modelling tools to boost financial trading strategies and company performance.

Nikolay Nikolov. Flexible Deployment of Big Data Pipelines on the Cloud/Edge/Fog Continuum.

Vassil Vassilev. Is the rule-based order in AI dead, or is still kicking?

Mihai Gheorghe, Catalina Alexandra Chinie and Dumitru Roman. AI Research Assistant.

Adriana Anamaria Davidescu, Vasile Alexandru Strat, Madalina Zurini and Dumitru Roman. Building a Knowledge Graph on Innovation in Horizon Projects.

Giani Gradinaru, Madalina Zurini, Bogdan Florin Matei and Diana Ioana Petre. Causal Inference in the Innovation Lifecycle of AI Technologies for Agriculture.

Ioan Toma and Umutcan Serles. PERKS: Eliciting and Exploiting Procedural Knowledge in Industry 5.0.

Zuochen Liu, Qingkai Wang, Jiandong Dang, Xiaochun Wang, Kang Li, Dumitru Roman and Xiang Ma. Developing deep learning based intelligent perception algorithm for thickener equipment monitoring

Iroshani Jayawardene, Dumitru Roman, Yingxiang Zhao, Alexander G. Ulyashin, Ahmet Soylu and Xiang Ma. Towards an Open Energy Management System for Integrated Energy Storage and Electric Vehicle Fast Charging Station

Doctoral Consortium

Marco Di Panfilo. Towards Optimizing Ontology-Based Data Federation: Performance Insights from Experimental Studies

Matyas Kuti Kreszacs. Optimising Hierarchical Demand Forecasting with Explainable AI: Insights into Key Drivers

Thanks to our sponsors