Recent studies have significantly advanced the state of knowledge representation and reasoning by addressing challenges inherent in nonmonotonic logic programming and knowledge update.