Planning with Transaction Logic-Reference-Cited by-同舟云学术

Planning with Transaction Logic

Published:2014 Issue: Volume: Page:29-44
ISSN:0302-9743
Container-title:Web Reasoning and Rule Systems
language:
Short-container-title:

Author:

Basseda Reza,Kifer Michael,Bonner Anthony J.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-11113-1_3

Reference28 articles.

1. Becker, M.Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Trans. Inf. Syst. Secur. 13(3), 20:1–20:28 (2010)

2. Bibel, W.: A deductive solution for plan generation. New Generation Computing 4(2), 115–132 (1986)

3. Topics in Information Systems;W. Bibel,1989

4. Bibel, W., del Cerro, L.F., Fronhöfer, B., Herzig, A.: Plan generation by linear proofs: On semantics. In: Metzing, D. (ed.) 13th German Workshop on Artificial Intelligence, Informatik-Fachberichte, GWAI 1989, vol. 216, pp. 49–62. Springer, Heidelberg (1989)

5. Bonner, A., Kifer, M.: Transaction logic programming. In: Int’l Conference on Logic Programming, pp. 257–282. MIT Press, Budapest (1993)

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

1. ServLog: A unifying logical framework for service modeling and contracting;Semantic Web;2018-01-24

2. Formalizing Goal Serializability for Evaluation of Planning Features;Logics in Artificial Intelligence;2016

3. From Means-End Analysis to Proactive Means-End Reasoning;2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems;2015-05

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

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