{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T21:05:40Z","timestamp":1620767140991},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1007\/bf00712384","type":"journal-article","created":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:14:33Z","timestamp":1101860073000},"page":"5-31","source":"Crossref","is-referenced-by-count":2,"title":["Nonstandard set theories and information management"],"prefix":"10.1007","volume":"6","author":[{"given":"Varol","family":"Akman","sequence":"first","affiliation":[]},{"given":"M\ufffdjdat","family":"Pakkan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","series-title":"Number 14 in CSLI Lecture Notes","volume-title":"Nonwellfounded Sets","author":"P. Aczel","year":"1988","unstructured":"AczelP. (1988).Nonwellfounded Sets. Number 14 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR2","unstructured":"Akman, V. and Pakkan, M. (1993). HYPERSOLVER: A Graphical Tool for Commonsense Set Theory. In L. G\u00fcn, R. \u00d6nvural, and E. Gelenbe (eds.),Proceedings of Eight International Symposium on Computer and Information Sciences, Istanbul, Turkey."},{"key":"CR3","doi-asserted-by":"crossref","volume-title":"Admissible Sets and Structures","author":"J. Barwise","year":"1975","unstructured":"BarwiseJ. (1975).Admissible Sets and Structures, Berlin: Springer-Verlag.","DOI":"10.1007\/978-3-662-11035-5"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0049-237X(08)71097-8","volume-title":"Handbook of Mathematical Logic","author":"J. Barwise","year":"1977","unstructured":"BarwiseJ. (1977). An Introduction to First Order Logic. In J.Barwise (ed.),Handbook of Mathematical Logic (pp. 5?46), North-Holland, Amsterdam."},{"key":"CR5","first-page":"3","volume-title":"Model-Theoretic Logics","author":"J. Barwise","year":"1985","unstructured":"BarwiseJ. (1985). Model-Theoretic Logics: Background and Aims. In J.Barwise and S.Feferman (eds.),Model-Theoretic Logics (pp. 3?23), New York: Springer-Verlag."},{"key":"CR6","series-title":"Number 17 in CSLI Lecture Notes","first-page":"177","volume-title":"The Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"BarwiseJ. (1989a). Situations, Sets, and the Axiom of Foundation. In J. Barwise,The Situation in Logic (pp. 177?200), Number 17 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR7","series-title":"Number 17 in CSLI Lecture Notes","first-page":"289","volume-title":"The Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"BarwiseJ. (1989b). Situated Set Theory. In J. Barwise,The Situation in Logic (pp. 289?292), Number 17 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR8","series-title":"Number 17 in CSLI Lecture Notes","first-page":"277","volume-title":"The Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"BarwiseJ. (1989c). AFA and the Unification of Information. In J. Barwise,The Situation in Logic (pp. 277?283), Number 17 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR9","series-title":"Number 17 in CSLI Lecture Notes","first-page":"201","volume-title":"The Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"BarwiseJ. (1989d). On the Model Theory of Common Knowledge. In J. Barwise,The Situation in Logic (pp. 201?220), Number 17 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-94-009-0681-5_8","volume-title":"Truth or Consequences","author":"J. Barwise","year":"1990","unstructured":"BarwiseJ. (1990). Consistency and Logical Consequence. In J.M.Dunn and A.Gupta (eds.),Truth or Consequences (pp. 111?122), Holland: Kluwer, Dordrecht."},{"key":"CR11","volume-title":"Applying AFA: Notes for a Tutorial on Nonwellfounded Sets","author":"J. Barwise","year":"1992","unstructured":"BarwiseJ. (1992).Applying AFA: Notes for a Tutorial on Nonwellfounded Sets, Manuscript, Department of Mathematics, Indiana University, Bloomington, IN."},{"key":"CR12","volume-title":"The Liar: An Essay on Truth and Circularity","author":"J. Barwise","year":"1987","unstructured":"BarwiseJ. and EtchemendyJ. (1987).The Liar: An Essay on Truth and Circularity, New York: Oxford University Press."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF03028340","volume":"13","author":"J. Barwise","year":"1991","unstructured":"BarwiseJ. and MossL.S. (1991). Hypersets.Mathematical Intelligence, 13, 31?41.","journal-title":"Mathematical Intelligence"},{"key":"CR14","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"BarwiseJ. and PerryJ. (1983).Situations and Attitudes, Cambridge, MA: MIT Press."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/BF02328452","volume":"2","author":"R. Boyer","year":"1986","unstructured":"BoyerR., LuskE., McCuneW., OverbeekR., StickelM., and WosL. (1986). Set Theory in First Order Logic.Journal of Automated Reasoning, 2, 287?327.","journal-title":"Journal of Automated Reasoning"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R.J. Brachman","year":"1985","unstructured":"BrachmanR.J. and SchmolzeJ.G. (1985). An Overview of the KL-ONE Knowledge Representation System.Cognitive Science, 9, 171?216.","journal-title":"Cognitive Science"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/S0004-3702(78)80017-4","volume":"10","author":"F.M. Brown","year":"1978","unstructured":"BrownF.M. (1978). Towards the Automation of Set Theory and its Logic.Artificial Intelligence, 10, 281?316.","journal-title":"Artificial Intelligence"},{"key":"CR18","series-title":"Number 713 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-56686-4","volume-title":"Proceedings of Third Kurt G\u00f6del Colloquium","author":"R. Cowen","year":"1993","unstructured":"CowenR. (1993). Some Connections Between Set Theory and Computer Science. InProceedings of Third Kurt G\u00f6del Colloquium, Number 713 in Lecture Notes in Computer Science, Berlin: Springer-Verlag."},{"key":"CR19","unstructured":"Dionne, R., Mays, E., and Oles, F.J. (1992). A Nonwellfounded Approach to Terminological Cycles. InProceeding of AAAI-3-92, San Jose, CA."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/2274093","volume":"49","author":"S. Feferman","year":"1984","unstructured":"FefermanS. (1984). Toward Useful Type-Free Theories, I.Journal of Symbolic Logic, 49, 75?111.","journal-title":"Journal of Symbolic Logic"},{"key":"CR21","volume-title":"Foundations of Set Theory","author":"A.A. Fraenkel","year":"1973","unstructured":"FraenkelA.A., Bar-HillelY., and LevyA. (1973).Foundations of Set Theory, North-Holland, Amsterdam."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1090\/pspum\/013.2\/0360271","volume-title":"Axiomatic Set Theory","author":"P. Gilmore","year":"1974","unstructured":"GilmoreP. (1974). The Consistency of Partial Set Theory without Extensionality. In T.J.Jech (ed.),Axiomatic Set Theory (pp. 147?153), American Mathematical Society, Providence, RI."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BF03025253","volume":"15","author":"P. Gilmore","year":"1993","unstructured":"GilmoreP. (1993). Logic, Sets, and Mathematics.The Mathematical Intelligencer, 15, 10?19.","journal-title":"The Mathematical Intelligencer"},{"key":"CR24","volume-title":"Topoi: The Categorial Analysis of Logic","author":"R. Goldblatt","year":"1984","unstructured":"GoldblattR. (1984).Topoi: The Categorial Analysis of Logic, North-Holland, Amsterdam."},{"key":"CR25","doi-asserted-by":"crossref","volume-title":"Naive Set Theory","author":"P.R. Halmos","year":"1974","unstructured":"HalmosP.R. (1974).Naive Set Theory, New York: Springer-Verlag.","DOI":"10.1007\/978-1-4757-1645-0"},{"key":"CR26","volume-title":"From Frege to G\u00f6del","author":"J. Heijenhoort van","year":"1967","unstructured":"vanHeijenhoortJ. (1967).From Frege to G\u00f6del, Cambridge, MA: Harvard University Press."},{"key":"CR27","first-page":"9","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"J. McCarthy","year":"1959","unstructured":"McCarthyJ. (1959). Programs with Common Sense. In V.Lifschitz (ed.),Formalizing Common Sense: Papers by John McCarthy (pp. 9?16), Ablex, Norwood, NJ."},{"key":"CR28","first-page":"5","volume":"4","author":"J. McCarthy","year":"1983","unstructured":"McCarthyJ. (1983). Artificial Intelligence Needs More Emphasis on Basic Research: President's Quarterly Message.AI Magazine, 4, 5.","journal-title":"AI Magazine"},{"key":"CR29","first-page":"7","volume":"5","author":"J. McCarthy","year":"1984","unstructured":"McCarthyJ. (1984). We Need Better Standards for Artificial Intelligence Research: President's Message.AI Magazine, 5, 7?8.","journal-title":"AI Magazine"},{"key":"CR30","unstructured":"McCarthy, J. (1985). Acceptance Address,International Joint Conference on Artificial Intelligence (IJCAI) Award for Research Excellence, Los Angeles, CA."},{"key":"CR31","series-title":"Number 22 in CSLI Lecture Notes","first-page":"117","volume-title":"Situation Theory and Its Applications I","author":"M.W. Mislove","year":"1990","unstructured":"MisloveM.W., MossL.S., and OlesF.J. (1990). Partial Sets. In R.Cooper, K.Mukai, and J.Perry (eds.),Situation Theory and Its Applications I (pp. 117?131), Number 22 in CSLI Lecture Notes, Center for the Study of Language and Information, Stanford, CA."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/0890-5401(91)90051-3","volume":"93","author":"M.W. Mislove","year":"1991","unstructured":"MisloveM.W., MossL.S., and OlesF.J. (1991). Nonwellfounded Sets Modeled as Ideal Fixed Points.Information and Computation, 93, 16?54.","journal-title":"Information and Computation"},{"key":"CR33","unstructured":"Pakkan, M. (1993).Solving Equations in the Universe of Hypersets, M.S. Thesis, Department of Computer Engineering and Information Science, Bilkent University, Ankara, Turkey."},{"key":"CR34","first-page":"339","volume-title":"Logic, Foundations of Mathematics, and Computability Theory","author":"C. Parsons","year":"1977","unstructured":"ParsonsC. (1977). What is the Iterative Conception of Set? In R.E.Butts and J.Hintikka (eds.),Logic, Foundations of Mathematics, and Computability Theory (pp. 339?345), Holland: Kluwer, Dordrecht."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0004-3702(85)90075-X","volume":"25","author":"D. Perlis","year":"1985","unstructured":"PerlisD. (1985). Languages with Self-Reference I: Foundations.Artificial Intelligence, 25, 301?322.","journal-title":"Artificial Intelligence"},{"key":"CR36","first-page":"87","volume-title":"Meta-Level Architectures and Reflection","author":"D. Perlis","year":"1988","unstructured":"PerlisD. (1988). Commonsense Set Theory. In P.Maes and D.Nardi (eds.),Meta-Level Architectures and Reflection (pp. 87?98), Elsevier, Amsterdam."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00263451","volume":"8","author":"A. Quaife","year":"1992","unstructured":"QuaifeA. (1992). Automated Deduction in von Neumann-Bernays-G\u00f6del Set Theory.Journal of Automated Reasoning, 8, 91?147.","journal-title":"Journal of Automated Reasoning"},{"key":"CR38","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1080\/00029890.1937.11987928","volume":"44","author":"W.V. Quine","year":"1937","unstructured":"QuineW.V. (1937). New Foundations for Mathematical Logic.American Mathematical Monthly, 44, 70?80.","journal-title":"American Mathematical Monthly"},{"key":"CR39","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/S0049-237X(08)71106-6","volume-title":"Handbook of Mathematical Logic","author":"J.R. Shoenfield","year":"1977","unstructured":"ShoenfieldJ.R. (1977). Axioms of Set Theory. In J.Barwise (ed.),Handbook of Mathematical Logic (pp. 321?344), North-Holland, Amsterdam."},{"key":"CR40","volume-title":"Axiomatic Set Theory","author":"P. Suppes","year":"1972","unstructured":"SuppesP. (1972).Axiomatic Set Theory, New York: Dover."},{"key":"CR41","volume-title":"The Philosophy of Set Theory","author":"M. Tiles","year":"1989","unstructured":"TilesM. (1989).The Philosophy of Set Theory, UK: Basil Blackwell, Oxford."},{"key":"CR42","volume-title":"Principia Mathematica","author":"A.N. Whitehead","year":"1910","unstructured":"WhiteheadA.N. and RussellB. (1910).Principia Mathematica, Three Volumes, Cambridge, UK: Cambridge University Press."},{"key":"CR43","volume-title":"Principles of Semantic Networks","author":"W.A. Woods","year":"1991","unstructured":"WoodsW.A. (1991). Understanding Subsumption and Taxonomy: A Framework for Progress. In J.F.Sowa (ed.),Principles of Semantic Networks, San Mateo, CA: Morgan Kaufmann."},{"key":"CR44","volume-title":"Labeled Graphs as Semantics of Objects","author":"H. Yasukawa","year":"1991","unstructured":"YasukawaH. and YokotaK. (1991).Labeled Graphs as Semantics of Objects, Manuscript,QUIXOTE Project, Institute for New Generation Computer Technology (ICOT), Tokyo."},{"key":"CR45","unstructured":"Yokota, K. and Yasukawa, H. (1992). Towards and Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS Project. InProceedings of Fifth Generation Computer Systems, Tokyo."},{"key":"CR46","first-page":"486","volume-title":"Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning","author":"W. Zadrozny","year":"1989","unstructured":"ZadroznyW. (1989). Cardinalities and Well-Orderings in a Common-Sense Set Theory. In R.J.Brachman, H.J.Levesque, and R.Reiter (eds.),Proceedings of First International Conference on Principles of Knowledge Representation and Reasoning (pp. 486?497), San Mateo, CA: Morgan Kaufmann."},{"key":"CR47","unstructured":"Zadrozny, W. and Kim, M. (1993). Computational Mereology: A Prolegomenon Illuminated by a Study of PartOf Relations for Multimedia Indexing. InProceedings of Bar-Ilan Symposium on the Foundations of AI (BISFAI-93), Israel."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00712384.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00712384\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00712384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T14:44:40Z","timestamp":1554821080000},"score":1,"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["BF00712384"],"URL":"http:\/\/dx.doi.org\/10.1007\/bf00712384","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":["Artificial Intelligence","Computer Networks and Communications","Hardware and Architecture","Information Systems","Software"],"published":{"date-parts":[[1996,1]]}}}