Plan Generation by Linear Proofs: On Semantics-Reference-Cited by-同舟云学术

Plan Generation by Linear Proofs: On Semantics

Published:1989 Issue: Volume: Page:49-62
ISSN:0343-3005
Container-title:GWAI-89 13th German Workshop on Artificial Intelligence
language:
Short-container-title:

Author:

Bibel Wolfgang,Fariñas del Cerro Luis,Fronhöfer Bertram,Herzig Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-75100-4_7.pdf

Reference14 articles.

1. Bibel, W.: Automated Theorem Proving, Vieweg 1982.

2. Bibel,W.: A Deductive Solution for Plan Generation, New Generation Computing 4 (1986) 115–132.

3. Fariñas del Cerro, L., Herzig, A.: An Automated Modal Logic of Elementary Changes. In: Non-Standard Logics for Automated Reasoning, Mamdani, Smets, Dubois and Prade Eds., Academic Press, 1988, pp. 63–79.

4. Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (189–208) 1971.

5. Fronhöfer, B.: Linearity and Plan Generation, New Generation Computing 5 (1987) 213–225.

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

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

2. Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic;Logic Programming and Nonmonotonic Reasoning;2015

3. Encoding of Planning Problems and Their Optimizations in Linear Logic;Lecture Notes in Computer Science;2009

4. Bibliography;Automated Planning;2004

5. From linear proofs to direct logic with exponentials;KI-97: Advances in Artificial Intelligence;1997