Papers
Extension of Regression Tsetlin Machine for Interpretable Uncertainty Assessment
GUCON: A Generic Graph Pattern based Policy Framework for Usage Control Enforcement
Combining Proofs for Description Logic and Concrete Domain Reasoning
Notation3 as an Existential Rule Language
Fine-tuning Large Enterprise Language Models via Ontological Reasoning
Layerwise Learning of Mixed Conjunctive and Disjunctive Rule Sets
Analyzing Termination for Prev-Aware Fragments of Communicating Datalog Programs
Marrying Query Rewriting and Knowledge Graph Embeddings
Lore: Educational Deductive Database System
Comparing State of the Art Rule-Based Tools for Information Extraction
A Case Study for Declarative Pattern Mining in Digital Forensics
Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle
FreeCHR: An Algebraic Framework for CHR-Embeddings
Explaining the optimal trajectories
Abstract Domains for Database Manipulating Processes
Extracting Interpretable Hierarchical Rules from Deep Neural Networks' Latent Space.