Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of Alberta
1
0
1
Stricter evaluation of ontological atoms keeps the consistency problem NP-complete, avoiding the pitfalls of increased complexity in description logic programs.