Applications of transaction logic to knowledge representation-Reference-Cited by-同舟云学术

Applications of transaction logic to knowledge representation

Published: Issue: Volume: Page:67-81
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bonner Anthony J.,Kifer Michael

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0013981.pdf

Reference22 articles.

1. S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 240–250, 1988.

2. J.F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23:123–154, July 1984.

3. F. Bancilhon. A logic-programming/Object-oriented cocktail. SIGMOD Record, 15(3):11–21, September 1986.

4. C. Beeri. New data models and languages—The challenge. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), pages 1–15, San Diego, CA, June 1992.

5. A.J. Bonner and M. Kifer. Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-270, University of Toronto, April 1992. Revised: February 1994. Available in csri-technical-reports/270/report.ps by anonymous ftp to csri.toronto.edu.

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

1. Planning with Regression Analysis in Transaction Logic;Web Reasoning and Rule Systems;2015

2. State Space Planning Using Transaction Logic;Practical Aspects of Declarative Languages;2015

3. Planning with Transaction Logic;Web Reasoning and Rule Systems;2014

4. Transaction Logic with Partially Defined Actions;Journal on Data Semantics;2012-07-31

5. Formalizing Production Systems with Rule-Based Ontologies;Lecture Notes in Computer Science;2012