TL;DR本文提出了Transaction Logic with Events,其是Transaction Logic的非单调扩展,使得每个在事务中检测到的复杂事件都能得到响应。
Abstract
This work deals with the problem of combining reactive features, such as the ability to respond to events and define complex events, with the execution of transactions over general Knowledge Bases (kbs). With thi