.- 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.