Search papers, labs, and topics across Lattice.
CNR -ISTI, University of Cape Town and CAIR
1
0
1
Efficient reasoning under Rational Closure for DL-Lite can be achieved with minimal overhead, transforming how defeasible knowledge is handled in AI applications.