Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

This publication has 10 references indexed in Scilit:

• A methodology for agent-oriented analysis and design
  Published by Association for Computing Machinery (ACM) ,1999
• Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic
  Published by Springer Nature ,1999
• Specifying communicative multi-agent systems
  Published by Springer Nature ,1998
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997
• PVS: Combining specification, proof checking, and model checking
  Published by Springer Nature ,1996
• A methodology and modelling technique for systems of BDI agents
  Published by Springer Nature ,1996
• Compositional formal specification of multi-agent systems
  Published by Springer Nature ,1995
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  Published by Elsevier ,1991
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978