马丁·格布瑟；托尔斯滕·格罗特；罗兰·卡明斯基；托尔斯滕·绍布 反应式答案集编程。 （英语） Zbl 1327.68063号 Delgrade，James P.（编辑）等人，《逻辑编程和非单调推理》。2011年5月16日至19日，加拿大温哥华，第11届国际会议，LPNMR 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-20894-2/pbk）。计算机科学课程讲稿6645。人工智能课堂讲稿，54-66（2011）。 摘要：我们介绍了反应式答案集编程的第一种方法，旨在推理实时动态系统在不断变化的环境中在线运行。我们首先通过诉诸模块理论来奠定理论基础。在此基础上，我们详细阐述了各种离线和在线程序的组成，以便为流驱动的基础和解决方案铺平道路。最后，我们描述了一个反应式ASP求解器oclingo的实现。关于整个系列，请参见[Zbl 1214.68009号]. 引用于9文件 MSC公司： 68N17号 逻辑编程 软件：o克林戈 PDF格式BibTeX公司 XML格式引用 \textit｛M.Gebser｝等人，Lect。注释计算。科学。6645、54-66（2011年；Zbl 1327.68063） 全文： 内政部 链接