Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper26 | dl-paper28 | dl-paper29 »

Coherence Update Semantics for Horn DL-Lite through Stratified Datalog¬ Rewriting

• Stefan Borgwardt
• Duy Nhu

PDF