{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:11:15Z","timestamp":1725466275921},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320897"},{"type":"electronic","value":"9783642320903"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32090-3_9","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T05:47:26Z","timestamp":1344577646000},"page":"96-109","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Self-selective and Self-healing Evaluation"],"prefix":"10.1007","author":[{"given":"Alastair","family":"Butler","sequence":"first","affiliation":[]},{"given":"Kei","family":"Yoshimoto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Berkling, K.J.: A symmetric complement to the lambda-calculus. Interner Bericht ISF-76-7, GMD, St. Augustin, Germany (1976)"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1080\/00437956.1958.11659661","volume":"14","author":"J.. Berko","year":"1958","unstructured":"Berko, J.: The child\u2019s learning of English morphology. Word\u00a014, 150\u2013177 (1958)","journal-title":"Word"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s10849-006-9036-8","volume":"16","author":"A.. Butler","year":"2007","unstructured":"Butler, A.: Scope control and grammatical dependencies. Journal of Logic, Language and Information\u00a016, 241\u2013264 (2007)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR4","volume-title":"The Logic of Decision and Action","author":"D. Davidson","year":"1967","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967); Reprinted in: Davidson, D.: Essays on Actions and Events, pp. 105\u2013122. Claredon Press, Oxford (1980)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1017575313451","volume":"11","author":"P. Dekker","year":"2002","unstructured":"Dekker, P.: Meaning and use of indefinite expressions. Journal of Logic, Language and Information\u00a011, 141\u2013194 (2002)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1023\/A:1011251627260","volume":"10","author":"J. Eijck van","year":"2001","unstructured":"van Eijck, J.: Incremental dynamics. Journal of Logic, Language and Information\u00a010, 319\u2013351 (2001)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR7","unstructured":"Hendriks, D., van Oostrom, V.: Adbmal-calculus. Department of Philosophy. Utrecht University (2003)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1093\/logcom\/6.5.725","volume":"6","author":"M. Hollenberg","year":"1996","unstructured":"Hollenberg, M., Vermeulen, C.F.M.: Counting variables in a dynamic setting. Journal of Logic and Computation\u00a06, 725\u2013744 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR9","unstructured":"Nakashima, H., Noda, I., Handa, K.: Organic programming language GAEA for multi-agents. In: Proceedings of the Second International Conference on Multiagent Systems (ICMAS 1996). AAAI (1996)"},{"key":"9_CR10","volume-title":"Events in the Semantics of English","author":"T. Parsons","year":"1990","unstructured":"Parsons, T.: Events in the Semantics of English. MIT Press, Cambridge (1990)"},{"key":"9_CR11","first-page":"81","volume":"13","author":"A. Tarski","year":"1956","unstructured":"Tarski, A., Vaught, R.L.: Arithmetical extensions of relational systems. Compositio Mathematica\u00a013, 81\u2013102 (1956)","journal-title":"Compositio Mathematica"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF01050788","volume":"2","author":"C.F.M. Vermeulen","year":"1993","unstructured":"Vermeulen, C.F.M.: Sequence semantics for dynamic predicate logic. Journal of Logic, Language and Information\u00a02, 217\u2013254 (1993)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1008332604642","volume":"9","author":"C.F.M. Vermeulen","year":"2000","unstructured":"Vermeulen, C.F.M.: Variables as stacks: A case study in dynamic model theory. Journal of Logic, Language and Information\u00a09, 143\u2013167 (2000)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1305\/ndjfl\/1040046091","volume":"37","author":"A. Visser","year":"1996","unstructured":"Visser, A., Vermeulen, C.F.M.: Dynamic bracketing and discourse representation. Notre Dame Journal of Formal Logic\u00a037, 321\u2013365 (1996)","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32090-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:54:56Z","timestamp":1620129296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32090-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320897","9783642320903"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32090-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}