Abstraction Within Partial Deduction for Linear Logic - Artificial Intelligence and Symbolic Computation - page 65

10. P. Kungas and M. Matskin. Linear logic, partial deduction and cooperative problem
solving. In Proceedings of the First International Workshop on Declarative Agent
Languages and Technologies (in conjunction with AAMAS 2003), DALT'2003,
Melbourne, Australia, July 15, 2003 , volume 2990 of Lecture Notes in Artificial
Intelligence . Springer-Verlag, 2004.
11. P. Kungas and M. Matskin. Partial deduction for linear logic - the symbolic negoti-
ation perspective. In Proceedings of the Second International Workshop on Declar-
ative Agent Languages and Technologies (in conjunction with AAMAS 2004),
DALT'2004, New York, USA, July 19, 2004 . Springer-Verlag, 2004. To appear.
12. A. Y. Levy. Creating abstractions using relevance reasoning. In Proceedings of the
Twelfth National Conference on Artificial Intelligence (AAAI'94) , pages 588-594,
1994.
13. A. Newell and H. A. Simon. Human Problem Solving . Prentice-Hall, 1972.
14. D. A. Plaisted. Theorem proving with abstraction. Artificial Intelligence , 16:47-
108, 1981.
15. D. Ruby and D. Kibler. Learning subgoal sequences for planning. In Proceedings of
the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89),
Detroit, Michigan, USA, 20-25 August, 1989 , volume 1, pages 609-614, 1989.
16. E. D. Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial Intelli-
gence , 5:115-135, 1974.