Two pa­pers of KR group ac­cep­ted at KR con­fer­ence

The papers "Common Foundations for Recursive Shape Languages" and "ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics" are accepted to be published in the proceedings of the KR conference. Both contributions will be presented as part of the FLoC at the KR conference in Lisbon.