- Using Answer Set Programming for Integrity Maintenance in a Smart Home System.- Collaborative Benchmarking Rule-Reasoners with B-Runner.- Rule Confidence Aggregation for Knowledge Graph Completion.- RIFF: Inducing Rules for Fraud Detection from Decision Trees.- Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery.- Reevaluation of Inductive Link Prediction.- Judicial Explanations.- OntoRaster: Extending VKGs with Raster Data.

- Complete Approximations of Incomplete Queries.- Reasoning in Rough Description Logics with Multiple Indiscernibility Relations.- A Benchmark for Rule Induction in Automated Business Decisions.- Revising Defeasible Theories via Instructions.- FaithEL: Strongly Faithful Knowledge Base Embeddings for ELH.- RDF Surfaces as a First-Order language for the Semantic Web.- Ambiguities in Defeasible Logic: A computational efficient framework and algorithms.- Legally-Guided Automated Decision-Making System Using Language Model Agents for Autonomous Driving.