The nonmonotonic semantics of active rules in deductive databases

Author:

Zaniolo Carlo

Publisher

Springer Berlin Heidelberg

Reference14 articles.

1. M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases, in Tansel et al (eds), pp. 294–320, Temporal Databases: Theory, Design, and Implementation, Benjamin/Cummings, 1994.

2. A. Bonner and M. Kifer. An Overview of Transaction Logic.Theoretical Computer Science 133, 1994.

3. D. B. Kemp, K. Ramamohanarao, P. J. Stuckey, and the “ESL-programs and the efficient evaluation of nonstratified programs by transformation to ESL”," In Procs., International Conference on Deductive and Object-Oriented Databases, DOOD'95, pp. 91–100, Springer-Verlag, 1995.

4. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R.A. Kowalski and K. Bowen, editors, Logic programming: Proceedings of the fifth Ini'l Conf. and Symposium, pp. 1070–1080, 1988.

5. G. Phipps, M. A. Derr, and K. A. Ross. Glue-Nail!: A Deductive Database System. In Proceedings International ACM SIGMOD Conference on Management of Data, pp. 308–317, 1991.

Cited by 3 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Logic Programming Languages for Databases and the Web;Lecture Notes in Computer Science;2010

2. Key Constraints and Monotonic Aggregates in Deductive Databases;Computational Logic: Logic Programming and Beyond;2002

3. Nonmonotonic Reasoning in LDL++;Logic-Based Artificial Intelligence;2000

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3