How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS

Bruce Edmonds. How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS. In Gabriela Lindemann, Daniel Moldt, Mario Paolucci, editors, Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers. Volume 2934 of Lecture Notes in Computer Science, pages 1-15, Springer, 2002. [doi]

Abstract

Abstract is missing.