On Modelling Multi-agent Systems Declaratively

This publication has 11 references indexed in Scilit:

• Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
  Published by Springer Nature ,2005
• Access-as-you-need: A Computational Logic Framework for Accessing Resources in Artificial Societies
  Published by Springer Nature ,2003
• Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate
  Annals of Mathematics and Artificial Intelligence, 2003
• Evolving Logic Programs
  Published by Springer Nature ,2002
• An Abductive Logic Programming Architecture for Negotiating Agents
  Published by Springer Nature ,2002
• Computing Environment-Aware Agent Behaviours with Logic Program Updates
  Published by Springer Nature ,2002
• Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
  Published by Springer Nature ,2002
• A computationally grounded logic of visibility, perception, and knowledge
  Logic Journal of the IGPL, 2001
• From logic programming towards multi‐agent systems
  Annals of Mathematics and Artificial Intelligence, 1999
• Abductive Logic Programming
  Journal of Logic and Computation, 1992