Linear Logic, Partial Deduction and Cooperative Problem Solving

This publication has 16 references indexed in Scilit:

• Agent negotiation as proof search in linear logic
  Published by Association for Computing Machinery (ACM) ,2002
• Automated Negotiation: Prospects, Methods and Challenges
  Group Decision and Negotiation, 2001
• The cooperative problem-solving process
  Journal of Logic and Computation, 1999
• Reaching agreements through argumentation: a logical model and implementation
  Artificial Intelligence, 1998
• Agents that reason and negotiate by arguing
  Journal of Logic and Computation, 1998
• Distributed problem-solving as concurrent theorem proving
  Published by Springer Nature ,1997
• Deciding provability of linear logic formulas
  Published by Cambridge University Press (CUP) ,1995
• Linear logic
  ACM SIGACT News, 1992
• Partial evaluation in logic programming
  The Journal of Logic Programming, 1991
• Linear logic
  Theoretical Computer Science, 1987