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]

@inproceedings{Edmonds02:1,
  title = {How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS},
  author = {Bruce Edmonds},
  year = {2002},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2934&spage=1},
  tags = {logic},
  researchr = {https://researchr.org/publication/Edmonds02%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {Regulated Agent-Based Social Systems, First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers},
  editor = {Gabriela Lindemann and Daniel Moldt and Mario Paolucci},
  volume = {2934},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20923-9},
}