Zwei Bei­trä­ge der KR-Grup­pe wur­den für die KR-Kon­fe­renz an­ge­nom­men

Die Beiträge „Common Foundations for Recursive Shape Languages“ und „ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics“ wurden zur Veröffentlichung im Tagungsband der KR-Konferenz angenommen. Beide Beiträge werden im Rahmen der FLoC auf der KR-Konferenz in Lissabon vorgestellt.