Search papers, labs, and topics across Lattice.
Knowledge Representation Group, Paderborn University, Germany
1
0
1
Combining multiple properties in ABox abduction doesn't increase complexity, opening new avenues for efficient knowledge base explanations.
