On integrating event definition and event detection
three - values logic and nonmonotonic reasoning .