{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T01:56:07Z","timestamp":1761962167136,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540209232"},{"type":"electronic","value":"9783540258674"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25867-4_1","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:25:35Z","timestamp":1283685935000},"page":"1-15","source":"Crossref","is-referenced-by-count":5,"title":["How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS"],"prefix":"10.1007","author":[{"given":"Bruce","family":"Edmonds","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"1_CR1","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1080\/10864415.2000.11044200","volume":"5","author":"R. Bons","year":"2000","unstructured":"Bons, R., Dignum, F., Lee, R., Tan, Y.-H.: A Formal Analysis of Auditing Principles for Electronic Trade Procedures. International Journal of Electronic Commerce\u00a05(1), 57\u201382 (2000)","journal-title":"International Journal of Electronic Commerce"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1012919018402","volume":"7","author":"R. Conte","year":"2001","unstructured":"Conte, R., Edmonds, B., Moss, S., Sawyer, R.K.: Sociology and Social Theory in Agent Based Social Simulation: A Symposium. Computational and Mathematical Organization Theory\u00a07, 183\u2013205 (2001)","journal-title":"Computational and Mathematical Organization Theory"},{"key":"1_CR3","unstructured":"Edmonds, B.: The Purpose and Place of Formal Systems in the Development of Science, CPM Report 00-75, MMU, UK (2000), http:\/\/cfpm.org\/cpmrep75.html"},{"key":"1_CR4","unstructured":"Edmonds, B.: A review of Reasoning about Rational Agents. Journal of Artificial Societies and Social Simulation 5(1) (2000), http:\/\/jasss.soc.surrey.ac.uk\/5\/1\/reviews\/edmonds.html"},{"key":"1_CR5","unstructured":"Edmonds, B.: Simplicity is Not Truth-Indicative. CPM Report 02-00, MMU (2002), http:\/\/cfpm.org\/cpmrep99.html"},{"key":"1_CR6","volume-title":"Classical vs. non-classical logics: the universality of classic logic","author":"D.M. Gabbay","year":"1993","unstructured":"Gabbay, D.M.: Classical vs. non-classical logics: the universality of classic logic. Max-Planck-Instituit f\u00fcr Informatik, Saarbr\u00fccken (1993)"},{"volume-title":"What is a logical system?","year":"1994","key":"1_CR7","unstructured":"Gabbay, D.M. (ed.): What is a logical system? Clarendon Press, Oxford (1994)"},{"key":"1_CR8","volume-title":"Knowledge in flux: modeling the dynamics of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in flux: modeling the dynamics of epistemic states. MIT Press, Cambridge (1988)"},{"key":"1_CR9","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, Boston (2001)"},{"key":"1_CR10","volume-title":"The Structure of Scientific Revolutions","author":"T. Khun","year":"1962","unstructured":"Khun, T.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962)"},{"key":"1_CR11","volume-title":"The methodology of scientific research programmes","author":"I. Lakatos","year":"1983","unstructured":"Lakatos, I.: The methodology of scientific research programmes. Cambridge University Press, Cambridge (1983)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1009600530279","volume":"4","author":"S. Moss","year":"1998","unstructured":"Moss, S., Gaylard, H., Wallis, S., Edmonds, B.: SDML: A Multi-Agent Language for Organizational Modelling. Computational and Mathematical Organization Theory\u00a04, 43\u201369 (1998), http:\/\/cfpm.org\/cpmrep16.html","journal-title":"Computational and Mathematical Organization Theory"},{"key":"1_CR13","volume-title":"Principia mathematica","author":"A.N. Whitehead","year":"1962","unstructured":"Whitehead, A.N., Russell, B.: Principia mathematica. Cambridge University Press, Cambridge (1962), originally published (1913)"},{"key":"1_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Regulated Agent-Based Social Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25867-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:25:20Z","timestamp":1740497120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25867-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540209232","9783540258674"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25867-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}