{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:29:18Z","timestamp":1738214958364,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540790020"},{"type":"electronic","value":"9783540790037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79003-7_9","type":"book-chapter","created":{"date-parts":[[2008,3,20]],"date-time":"2008-03-20T14:15:27Z","timestamp":1206022527000},"page":"110-124","source":"Crossref","is-referenced-by-count":2,"title":["Large-Scale Organizational Computing Requires Unstratified Reflection and Strong Paraconsistency"],"prefix":"10.1007","author":[{"given":"Carl","family":"Hewitt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G., Mason, I., Smith, S., Talcott, C.: A foundation for Actor computation. Journal of Functional Programming (1997)","DOI":"10.1017\/S095679689700261X"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Besnard, P., Hunter, A.: Quasi-classical Logic: Non-trivializable classical reasoning from inconsistent information. Symbolic and Quantitative Approaches to Reasoning and Uncertainty (1995)","DOI":"10.1007\/3-540-60112-0_6"},{"key":"9_CR3","unstructured":"Bowker, G., Star, S.L., Turner, W., Gasser, L. (eds.): Social Science Research, Technical Systems and Cooperative Work. Lawrence Earlbaum (1997)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Carnap, R.: Logische Syntax der Sprache (The Logical Syntax of Language Open Court Publishing 2003) (1934)","DOI":"10.1007\/978-3-662-25375-5"},{"key":"9_CR5","unstructured":"Cellucci, C.: \u201cG\u00f6del\u2019s Incompleteness Theorem and the Philosophy of Open Systems\u201d Kurt G\u00f6del: Actes du Colloque, Neuch\u00e2tel 13-14 juin 1991, Travaux de logique N. 7, Centre de Recherches S\u00e9miologiques, Universit\u00e9 de Neuch\u00e2tel. (1992), http:\/\/w3.uniroma1.it\/cellucci\/documents\/Goedel.pdf"},{"key":"9_CR6","unstructured":"Dahl, O.-J., Nygaard, K.: Class and subclass declarations. IFIP TC2 (May 1967)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Toward Useful Type-Free Theories, I. In: Martin, R. (ed.) Recent Essays on Truth and the Liar Paradox, Claraendon Press (1984a)","DOI":"10.2307\/2274093"},{"key":"9_CR8","unstructured":"Feferman, S.: Kurt G\u00f6del: Conviction and Caution. Philosophia Naturalis\u00a021 (1984b)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Feferman, S.: Axioms for determinateness and truth (2007a), http:\/\/math.stanford.edu\/~feferman\/papers.html","DOI":"10.1017\/S1755020308080209"},{"key":"9_CR10","unstructured":"Feferman, S.: G\u00f6del, Nagel, minds and machines (October 25, 2007), (2007b), http:\/\/math.stanford.edu\/~feferman\/papers\/godelnagel.pdf"},{"key":"9_CR11","unstructured":"G\u00f6del, K.: On formally undecidable propositions of Principia Mathematica translated by Bernard Meltzer. Basic Books (1962). Monatshefte f\u00fcr Mathematik und Physik, vol. 38, pp. 173\u2013198 (1931)"},{"key":"9_CR12","unstructured":"Hewitt, C., Bishop, P., Steiger, R.: A Universal Modular Actor Formalism for Artificial Intelligence. IJCAI (1973)"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Hewitt, C., Inman, J.: DAI Betwixt and Between: From \u2018Intelligent Agents\u2019 to Open Systems Science. IEEE Transactions on Systems, Man, and Cybernetics (November\/December 1991)","DOI":"10.1109\/21.135685"},{"key":"9_CR14","unstructured":"Hewitt, C.: The repeated demise of logic programming and why it will be reincarnated. What Went Wrong and Why (2006a). Technical Report SS-06-08 (March 2006)"},{"key":"9_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-3-540-74459-7_19","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"C. Hewitt","year":"2007","unstructured":"Hewitt, C.: What is Commitment? Physical, Organizational, and Social. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol.\u00a04386, pp. 293\u2013307. Springer, Heidelberg (2007)"},{"key":"9_CR16","unstructured":"Hewitt, C.: Organizational Computing Requires Unstratified Paraconsistency and Reflection. COIN@AAMAS, 2007 (2007a)"},{"key":"9_CR17","unstructured":"Hewitt, C.: The Downfall of Mental Agents in the Implementation of Large Software Systems. AAAI Magazine issue on What went wrong and why, 2007 (2007b)"},{"key":"9_CR18","unstructured":"Hewitt, C.: Common sense for concurrency and strong paraconsistency using unstratified inference and reflection. Submitted for publication to AI Journal special issue on Common Sense, 2007 (2007c)"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Jennings, N.: Commitments and conventions: The foundation of coordination in multi-agent systems. Knowledge Engineering Review\u00a03 (1993)","DOI":"10.1017\/S0269888900000205"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Ketonen, J., Weyhrauch, R.: A decidable fragment of Predicate Calculus. Theoretical Computer Science (1984)","DOI":"10.1016\/0304-3975(84)90047-1"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Kornfeld, B., Hewitt, C.: The Scientific Community Metaphor. IEEE Transactions on Systems, Man, and Cybernetics (January 1981)","DOI":"10.1109\/TSMC.1981.4308575"},{"key":"9_CR22","unstructured":"Lakatos, I. (1967). A renaissance of empiricism in the recent philosophy of mathematics? Mathematics, Science and Epistemology (1978)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Leitgeb, H.: What theories of truth should be like (but cannot be). Philosophy Compass\u00a02(2)","DOI":"10.1111\/j.1747-9991.2007.00070.x"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"L\u00f6b, M.: Solution of a problem of Leon Henkin. Journal of Symbolic Logic\u00a020 (1955)","DOI":"10.2307\/2266895"},{"key":"9_CR25","unstructured":"McGee, V.: In Praise of the Free Lunch: Why Disquotationalists Should Embrace Compositional Semantics. Self-Reference. CSLI Publications (2006)"},{"key":"9_CR26","unstructured":"Noriega, P.: Agent Mediated Auctions: The Fishmarket Metaphor. Ph.D., Barcelona (1997)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Priest, G.: 60% Proof: Lakatos, Proof, and Paraconsistency (2006), http:\/\/garnet.acns.fsu.edu\/~tan02\/OPC%20Week%20Three\/Priest.pdf","DOI":"10.26686\/ajl.v5i0.1789"},{"key":"9_CR28","unstructured":"Priest, G., Tanaka, K.: Paraconsistent Logic. The Stanford Encyclopedia of Philosophy. Winter (2004)"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Restall, G.: Curry\u2019s Revenge: the costs of non-classical solutions to the paradoxes of self-reference (to appear in The Revenge of the Liar, Beall, J.C (Ed.) Oxford University Press, 2007) (July 12, 2006)","DOI":"10.1093\/oso\/9780199233915.003.0012"},{"key":"9_CR30","unstructured":"Rosenberg, S.: Dreaming in code. Crown Publishing (2007)"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Rosser, J.B.: Extensions of Some Theorems of G\u00f6del and Church. Journal of Symbolic. Logic 1(3) (1936)","DOI":"10.2307\/2269028"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Routley, R.: Dialectical Logic, Semantics and Metamathematics. Erkenntnis 14 (1979)","DOI":"10.1007\/BF00174897"},{"key":"9_CR33","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569883","volume-title":"Metamathematics, Machines, and G\u00f6del\u2019s Proof","author":"N. Shankar","year":"1994","unstructured":"Shankar, N.: Metamathematics, Machines, and G\u00f6del\u2019s Proof. Cambridge University Press, Cambridge (1994)"},{"key":"9_CR34","unstructured":"Shapiro, S.: Lakatos and logic Comments on Graham Priest\u2019s \u201860% proof: Lakatos, proof, and paraconsistency\u2019. (Preprint, 2006), http:\/\/garnet.acns.fsu.edu\/~tan02\/OPC%20Week%20Three\/Commentary%20on%20Priest.pdf#search=%22paraconsistency%202006%20filetype%3Apdf%22"},{"key":"9_CR35","doi-asserted-by":"crossref","unstructured":"Sieg, W., Field, C.: Automated search for G\u00f6del proofs. Annals of Pure and Applied Logic (2005)","DOI":"10.1016\/j.apal.2004.10.014"},{"key":"9_CR36","volume-title":"Service-Oriented Computing: Semantics, Processes, Agents","author":"M. Singh","year":"2005","unstructured":"Singh, M., Huhns, M.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005)"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Tarski, A.: The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research 4 (Reprinted in Readings in Philosophical Analysis, Appleton-1944) (1944)","DOI":"10.2307\/2102968"},{"key":"9_CR38","unstructured":"Tarski, A., Vaught, R.: Arithmetical extensions of relational systems. Compositio Mathematica 13 (1957)"},{"key":"9_CR39","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press (2000)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79003-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,23]],"date-time":"2024-02-23T23:42:04Z","timestamp":1708731724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79003-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540790020","9783540790037"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79003-7_9","relation":{},"subject":[]}}