Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study

This publication has 21 references indexed in Scilit:

• Specification and verification of agent interaction protocols in a logic-based system
  Published by Association for Computing Machinery (ACM) ,2004
• An Abductive Interpretation for Open Agent Societies
  Published by Springer Nature ,2003
• An Abductive Logic Programming Architecture for Negotiating Agents
  Published by Springer Nature ,2002
• Proving properties of open agent systems
  Published by Association for Computing Machinery (ACM) ,2002
• Flexible protocol specification and execution
  Published by Association for Computing Machinery (ACM) ,2002
• A Social Semantics for Agent Communication Languages
  Published by Springer Nature ,2000
• From logic programming towards multi‐agent systems
  Annals of Mathematics and Artificial Intelligence, 1999
• Theory and practice of constraint handling rules
  The Journal of Logic Programming, 1998
• The IFF proof procedure for abductive logic programming
  The Journal of Logic Programming, 1997
• A logical framework for default reasoning
  Artificial Intelligence, 1988