{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:01Z","timestamp":1725662821268},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540070160"},{"type":"electronic","value":"9783540372974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07016-8_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T10:41:34Z","timestamp":1330166494000},"page":"72-125","source":"Crossref","is-referenced-by-count":2,"title":["Predicate calculus feature generation"],"prefix":"10.1007","author":[{"given":"David","family":"Rothenberg","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"7_CR1","volume-title":"Proc. 1963 International Symposium at Berkeley","author":"J. Addison","year":"1965","unstructured":"Addison, J., L. Henkin and A. Tarski (1965), \"Theory of Models\", Proc. 1963 International Symposium at Berkeley, North Holland Co., Amsterdam."},{"key":"7_CR2","volume-title":"Principles of Self Organization","author":"S. Amarel","year":"1962","unstructured":"Amarel, S. (1962), \"An Approach to Automatic Theory Formation\", in Principles of Self Organization, Trans. Illinois Symposium on Self Organization (Von Foerster and Zopf, Eds.), Pergamon Press, New York."},{"key":"7_CR3","volume-title":"Theory of Problem Solving, An Approach to Artificial Intelligence","author":"R. Banerji","year":"1969","unstructured":"Banerji, R. (1969), Theory of Problem Solving, An Approach to Artificial Intelligence, American Elsevier Publishing Co., Inc., New York."},{"key":"7_CR4","volume-title":"Models and Ultraproducts","author":"J. Bell","year":"1969","unstructured":"Bell, J. and A. Slomson (1969), Models and Ultraproducts, North Holland Co., Amsterdam."},{"key":"7_CR5","unstructured":"Block, H.D., N.J. Nilsson and R.O. Duda (1964), \"Determination and Detection of Features in Patterns\", Computer and Information Sciences (J. T. Tou and R. Wilcox, Eds), Spartan Books,. 75\u2013110."},{"key":"7_CR6","unstructured":"Bongard, M. (1970), Pattern Recognition (J.H. Hawkins, Ed.), Spartan Books"},{"key":"7_CR7","unstructured":"Bremermann, H.J. (unpublished manuscript), \"Artificial Intelligence and Neurobiology\", Department of Mathematics, University of California, Berkeley."},{"key":"7_CR8","unstructured":"Ellentuck, E. (1971), \"Direct Products of Relational Systems\", U.S. Air Systems Command Final Report, Jan. 1, 1971 (see Rothenberg, 1971)."},{"key":"7_CR9","volume-title":"Artificial Intelligence through Simulated Evolution","author":"L. J. Fogel","year":"1966","unstructured":"Fogel, L.J., A.J. Owens, and M.J. Walsh (1966), Artificial Intelligence through Simulated Evolution, John Wiley and Sons, New York."},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.21.0002","volume":"2","author":"R. M. Friedberg","year":"1958","unstructured":"Friedberg, R.M. (1958), \"A Learning Machine, Part I\", IBM J. Research and Development, 2, 2\u201313.","journal-title":"IBM J. Research and Development"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1147\/rd.33.0282","volume":"3","author":"R. M. Friedberg","year":"1959","unstructured":"Friedberg, R.M., B. Dunham and J.H. North (1959), \"A Learning Machine, Part II\", IBM J. Research and Development, 3, 282\u2013287.","journal-title":"IBM J. Research and Development"},{"key":"7_CR12","first-page":"347","volume-title":"Picture Processes and and Psychopictorics","author":"J. Hawkins","year":"1970","unstructured":"Hawkins, J. (1970), \"Textual Properties of Pattern Recognition\", Picture Processes and and Psychopictorics (B.S. Lipkin and A. Rosenfeld, Eds), Academic Press, New York, 347\u2013370."},{"key":"7_CR13","first-page":"1","volume":"6","author":"J. Hintikka","year":"1953","unstructured":"Hintikka, J. (1953), \"Distributive Normal Forms in the Calculus of Predicates\", Acta Philos. Fennica, 6, 1.","journal-title":"Acta Philos. Fennica"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/B978-1-4832-3093-1.50020-1","volume-title":"Methodology of Pattern Recognition","author":"B. Julesz","year":"1969","unstructured":"Julesz, B. (1969), \"Cluster Formation at Various Perceptual Levels\", in Methodology of Pattern Recognition (S. Watanabe, Ed.), Academic Press, New York, 297\u2013315."},{"key":"7_CR15","first-page":"181","volume-title":"Picture Processing and Psychopictorics","author":"P. A. Kolers","year":"1970","unstructured":"Kolers, P.A. (1970), \"The Role of Shape and Geometry in Picture Recognition\", Picture Processing and Psychopictorics (B.S. Lipkin and A. Rosenfeld, Eds.), Academic Press, New York, 181\u2013202."},{"key":"7_CR16","unstructured":"Lee, R.C.R. (1967), \"A Completeness Theorem and a Computer Program for Finding Theorems Derivable from Given Axioms\", Ph.D. Dissertation, University of California at Berkeley."},{"key":"7_CR17","first-page":"165","volume-title":"Computer and Information Science \u2014 II","author":"L. Lofgren","year":"1967","unstructured":"Lofgren, L. (1967), \"Recognition of Order and Evolutionary Systems\", in Computer and Information Science \u2014 II (J. Tou, Ed.), Academic Press, New York, 165\u2013175."},{"key":"7_CR18","first-page":"406","volume-title":"Computers and Thought","author":"M. Minsky","year":"1963","unstructured":"Minsky, M. (1963), \"Steps Toward Artificial Intelligence\", in Computers and Thought (E.A. Feigenbaum and J. Feldman, Eds.), McGraw-Hill Book Co., Inc., New York, 406\u2013450."},{"key":"7_CR19","first-page":"371","volume-title":"Picture Processing and Psychopictorics","author":"J. L. Muerle","year":"1970","unstructured":"Muerle, J.L. (1970), \"Some Thoughts on Texture Discrimination by Computer\", Picture Processing and Psychopictorics (B.S. Lipkin and A. Rosenfeld, Eds.), Academic Press, New York, 371\u2013380."},{"key":"7_CR20","volume-title":"Problem-solving Methods in Artificial Intelligence","author":"N. J. Nilsson","year":"1971","unstructured":"Nilsson, N.J. (1971), Problem-solving Methods in Artificial Intelligence, McGraw-Hill Book Co., Inc., New York."},{"key":"7_CR21","unstructured":"Pessin, A. and D. Rothenberg (in preparation), The Weak Second Order Predicate Calculus as a Programming Language."},{"key":"7_CR22","first-page":"101","volume":"1","author":"G. E. Reyes","year":"1969","unstructured":"Reyes, G.E. (1969), \"Local Defineability Theory\", Annals of Math. Logic, 1, 101.","journal-title":"Annals of Math. Logic"},{"key":"7_CR23","first-page":"309","volume-title":"Picture Processing and Psychopictorics","author":"A. Rosenfeld","year":"1970","unstructured":"Rosenfeld, A. and B. Lipkin (1970), \"Texture Analysis\", in Picture Processing and Psychopictorics (B. Lipkin and A. Rosenfeld, Eds.), Academic Press, New York, 309\u2013347."},{"key":"7_CR24","unstructured":"Rothenberg, D. (1971), \"An Adaptive Linguistic Model for Pattern Representation and Recognition\", Final Report, Air Force Systems Command, USAF, Directorate of Mathematical and Informational Sciences, January 1, 1971."},{"key":"7_CR25","unstructured":"Rothenberg, D. (1973a), \"A Pattern Recognition Model Applied to the Perception of Pitch\", AFOSR Technical Report, January 1969, revised version to appear as series of articles in Mathematical Systems Theory. See also this volume."},{"key":"7_CR26","volume-title":"Mathematical Systems Theory","author":"D. Rothenberg","year":"1973","unstructured":"Rothenberg, D. (1973b), \"A Theory of Feature Generation\", a series of four articles to be submitted to Mathematical Systems Theory (Copies available from Mathematics Department, Rutgers University, University College, New Brunswick, New Jersey)."},{"key":"7_CR27","volume-title":"Mathematical Logic","author":"J. Schoenfeld","year":"1967","unstructured":"Schoenfeld, J. (1967), Mathematical Logic, Addison Wesley, Reading, Massachusetts."},{"key":"7_CR28","first-page":"237","volume-title":"Computers and Thought","author":"O. G. Selfridge","year":"1963","unstructured":"Selfridge, O.G. and U. Neisser (1963), \"Pattern Recognition by Machine\", in Computers and Thought (E.A. Feigenbaum and J. Feldman, Eds.), McGraw-Hill Book Co., Inc., New York, 237\u2013250."},{"key":"7_CR29","first-page":"301","volume-title":"Pattern Recognition","author":"R. Sherman","year":"1969","unstructured":"Sherman, R. and G.W. Ernst (1969), \"Learning Patterns in Terms of Other Patterns\", in Pattern Recognition, Pergamon Press, New York, (Vol. 1), 301\u2013313."},{"key":"7_CR30","doi-asserted-by":"crossref","DOI":"10.3138\/9781487584894","volume-title":"General Topology","author":"Sierpinsky","year":"1952","unstructured":"Sierpinsky, (1952), General Topology, University of Toronto Press, Toronto."},{"key":"7_CR31","unstructured":"Slagle, J., C. Chang and R. Lee (1969), \"Completeness Theorems for Semantic Resolution in Consequence Finding\", Proc. International Joint Conference on Artificial Intelligence, May 7\u20139, 1969, Washington, D.C. (D.E. Walker and J.M. Norton, Eds.), 281\u2013285."},{"key":"7_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0019-9958(64)90223-2","volume":"7","author":"R. J. Solomonoff","year":"1964","unstructured":"Solomonoff, R.J. (1964), \"A Formal Theory of Inductive Inference \u2014 Part I\", Information and Control, 7, 1\u201322.","journal-title":"Information and Control"},{"key":"7_CR33","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1016\/S0019-9958(64)90131-7","volume":"7","author":"R. J. Solomonoff","year":"1964","unstructured":"Solomonoff, R.J. (1964), \"A Formal Theory of Inductive Inference \u2014 Part II\", Information and Control, 7, 224\u2013254.","journal-title":"Information and Control"},{"key":"7_CR34","first-page":"251","volume-title":"Computers and Thought","author":"L. Uhr","year":"1963","unstructured":"Uhr, L. and C. Vossler (1963), \"A Pattern Recognition Program that Generates, Evaluates, and Adjusts its Own Operators\", in Computers and Thought, (E.A. Feigenbaum and J. Feldman, Eds.), McGraw-Hill Book Co., Inc., New York, 251\u2013268."},{"key":"7_CR35","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1147\/rd.41.0002","volume":"4","author":"H. Wang","year":"1960","unstructured":"Wang, H. (1960), \"Toward Mechanical Mathematics\", IBM J. Research and Development, 4, 2\u201322.","journal-title":"IBM J. Research and Development"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Cognitive Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07016-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:44:15Z","timestamp":1619541855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07016-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540070160","9783540372974"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-07016-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]}}}