Rules and Reasoning

Two Kinds of Rules: Goal Rules and Belief Rules.- Obligation Taxonomy in the Non-Markovian Situation Calculus.- A Novel Concept Induction Approach for Explainable Quality 4.0.- An Optimized Framework for DSPG Synthesis and Trust Network Analysis with Subjective Logic.- When Does Na¨ıve Evaluation Work for Datalog?- Scalable Evaluation of Rule-Based Recommender Systems: Algorithms and Benchmarks.- Rule2Text: Natural Language Explanation of Logical Rules in Knowledge Graphs.- Minimizing Side-effects in Virtual Knowledge Graph Updates.- Rule Extraction and Interaction-Aware Explainability for AI-Driven Malware Detection.- Probabilistic Answer Set Programming Driven Ranking of Dynamic Space-Time Belief Models.- Learning Interpretable Probabilistic Models and Schema Axioms for Knowledge Graphs.- Integrating Environmental Regulations Into Autonomous Agricultural Robotics: A Case for Waterbody-Aware Fertilization.- SPARQL in N3: SPARQL construct as a rule language for the Semantic Web.- Positioning LLM-enabled Agents as Legal Compliance Aides for Data Pipelines.- Learning to Contest Argumentative Claims.