RuleML+RR

Keyphrases

Publications

2023

Leif Harald Karlsen
Lore: Educational Deductive Database System. RuleML+RR (2023)
Francesco Di Cosmo
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs. RuleML+RR (2023)
Anders Imenes, Ricardo Guimarães, Ana Ozaki
Marrying Query Rewriting and Knowledge Graph Embeddings. RuleML+RR (2023)
Teodoro Baldazzi, Luigi Bellomarini, Stefano Ceri, Andrea Colombo, Andrea Gentili, Emanuel Sallinger
Fine-Tuning Large Enterprise Language Models via Ontological Reasoning. RuleML+RR (2023)
Domenico Lembo, Federico Maria Scafoglieri
Comparing State of the Art Rule-Based Tools for Information Extraction. RuleML+RR (2023)
Céline Rouveirol, Malik Kazi Aoual, Henry Soldano, Véronique Ventos
Explaining Optimal Trajectories. RuleML+RR (2023)
Florian Beck, Johannes Fürnkranz, Phuong Huynh Van Quoc
Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets. RuleML+RR (2023)
Ya Wang, Adrian Paschke
Extracting Interpretable Hierarchical Rules from Deep Neural Networks' Latent Space. RuleML+RR (2023)
Fabian M. Suchanek, Anh Tuan Luu
Knowledge Bases and Language Models: Complementing Forces. RuleML+RR (2023)
Dörthe Arndt, Stephan Mennicke
Notation3 as an Existential Rule Language. RuleML+RR (2023)
Tobias Schüler, Stephan Mennicke, Malte Lochau
Abstract Domains for Database Manipulating Processes. RuleML+RR (2023)
Kumar Manas, Adrian Paschke
Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle. RuleML+RR (2023)
Ines Akaichi, Giorgos Flouris, Irini Fundulaki, Sabrina Kirrane
GUCON: A Generic Graph Pattern Based Policy Framework for Usage Control Enforcement. RuleML+RR (2023)
Francesca Alessandra Lisi, Gioacchino Sterlicchio, David Billard
A Case Study for Declarative Pattern Mining in Digital Forensics. RuleML+RR (2023)
Kuruge Darshana Abeyrathna, Sara El Mekkaoui, L. Yi Edward, Andreas Hafver, Ole-Christoffer Granmo
Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment. RuleML+RR (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Sascha Rechenberger, Thom W. Frühwirth
FreeCHR: An Algebraic Framework for CHR-Embeddings. RuleML+RR (2023)

volume 14244, 2023

Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings RuleML+RR 14244 (2023)

2022

volume 13752, 2022

Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings RuleML+RR 13752 (2022)

2021

volume 12851, 2021

Rules and Reasoning - 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings RuleML+RR 12851 (2021)