Qi, Guilin, Southeast University, China
-
Twenty-Sixth AAAI Conference on Artificial Intelligence - Student Abstracts
Large Scale Temporal RDFS Reasoning Using MapReduce
Abstract PDF -
Twenty-Sixth AAAI Conference on Artificial Intelligence - Student Abstracts
A New Operator for ABox Revision in DL-Lite
Abstract PDF -
Twenty-Sixth AAAI Conference on Artificial Intelligence - Knowledge Representation and Reasoning
Conflict-Based Belief Revision Operators in Possibilistic Logic
Abstract PDF