Partial Deduction for Linear Logic—The Symbolic Negotiation Perspective

This publication has 17 references indexed in Scilit:

• Linear Logic, Partial Deduction and Cooperative Problem Solving
  Published by Springer Nature ,2004
• Solving Planning Problems by Partial Deduction
  Published by Springer Nature ,2002
• The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
  Mathematical Structures in Computer Science, 2001
• Deciding provability of linear logic formulas
  Published by Cambridge University Press (CUP) ,1995
• Linear logic as a logic of computations
  Annals of Pure and Applied Logic, 1994
• Proof strategies in linear logic
  Journal of Automated Reasoning, 1994
• Linear logic
  ACM SIGACT News, 1992
• Partial evaluation in logic programming
  The Journal of Logic Programming, 1991
• Linear logic
  Theoretical Computer Science, 1987
• An Algorithm for the General Petri Net Reachability Problem
  SIAM Journal on Computing, 1984