Distributed Nonmonotonic Multi-Context Systems.
Program Transformation in a Nonmonotonic Reasoning System.
A Nonmonotonic Rule System using Ontologies.