{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:11:16Z","timestamp":1725516676265},"publisher-location":"Dordrecht","reference-count":13,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402087387"},{"type":"electronic","value":"9781402087394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8739-4_97","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T08:52:47Z","timestamp":1219135967000},"page":"548-553","source":"Crossref","is-referenced-by-count":0,"title":["Reducing Assessment Complexity of Stem-Responses with Belnap\u2019s Logic"],"prefix":"10.1007","author":[{"given":"S.","family":"Encheva","sequence":"first","affiliation":[]},{"given":"S.","family":"Tumin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"97_CR1","doi-asserted-by":"crossref","unstructured":"N. .J. Belnap, \u201cA useful four.valued logic\u201d, Modern uses of multiple-valued logic, J.M. Dunn and G. Epstain (eds), D. Reidel Publishing Co., Dordrecht, 1977, pp. 837","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"97_CR2","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"2005","unstructured":"B. A. Davey, and H. A Priestley, \u201cIntroduction to lattices and order,\u201d Cambridge University Press, Cambridge, 2005"},{"issue":"3","key":"97_CR3","first-page":"134","volume":"4","author":"U. Ferreira","year":"2004","unstructured":"U. Ferreira, \u201cA Five-valued Logic and a System,\u201d Journal of Computer Science and Technology, vol. 4(3), 2004, pp.134-140","journal-title":"Journal of Computer Science and Technology"},{"key":"97_CR4","unstructured":"R.L. Goodstein \u201cBoolean Algebra\u201dDover Publications 2007"},{"key":"97_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001530050130","volume":"38","author":"E. Gradel","year":"1999","unstructured":"E. Gradel, M. Otto, and E. Rosen, \u201cUndecidability results on two-variable logics,\u201d Archive of Mathematical Logic, vol.38, 1999, pp. 313-354","journal-title":"Archive of Mathematical Logic"},{"key":"97_CR6","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/978-3-540-30139-4_2","volume":"3220","author":"E. Guzman","year":"2004","unstructured":"E. Guzman, and R. Conejo, \u201cA model for student knowledge diagnosis through adaptive testing,\u201d Lecture Notes in Computer Science, vol. 3220, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 12-21","journal-title":"Lecture Notes in Computer Science"},{"issue":"2","key":"97_CR7","first-page":"151","volume":"22","author":"D. Huffman","year":"2003","unstructured":"D. Huffman, F. Goldberg, and M. Michlin, \u2018Using computers to create constructivist environments: impact on pedagogy and achievement,\u201d Journal of Computers in mathematics and science teaching, vol. 22(2), 2003, pp. 151-168","journal-title":"Journal of Computers in mathematics and science teaching"},{"key":"97_CR8","doi-asserted-by":"crossref","unstructured":"N. Immerman, A., Rabinovich, T., Reps, M., Sagiv, and G., Yorsh, \u201cThe boundery between decidability and undecidability of transitive closure logics\u201d. In: CSL 04, 2004","DOI":"10.1007\/978-3-540-30124-0_15"},{"key":"97_CR9","unstructured":"http:\/\/www.leeds.ac.uk\/perception\/v4\\_\\mrq.html"},{"key":"97_CR10","first-page":"215","volume":"3190","author":"C. Park","year":"2003","unstructured":"C. Park, and M. Kim, \u201cDevelopment of a Level-Based Instruction Model in Web-Based Education,\u201d Lecture Notes in Artificial Intelligence, vol. 3190, Springer-Verlag, Berlin Heidelberg New York, 2003, pp. 215-221","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"97_CR11","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-30139-4_13","volume":"3220","author":"C.T. Santos","year":"2004","unstructured":"C. T. Santos, and F. S. Osorio, \u201cIntegrating intelligent agents, user models, and automatic content categorization in virtual environment,\u201d Lecture Notes in Computer Science, vol. 3220, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 128-139","journal-title":"Lecture Notes in Computer Science"},{"key":"97_CR12","unstructured":"J. E. Whitesitt, \u201cBoolean Algebra and Its Applications,\u201d Dover Publications, 1995"},{"key":"97_CR13","doi-asserted-by":"crossref","unstructured":"R. Wille, \u201cConcept lattices and conceptual knowledge systems,\u201d Computers Math. Applic., vol. 23(6-9), 1992, pp. 493-515","DOI":"10.1016\/0898-1221(92)90120-7"}],"container-title":["Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8739-4_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T22:22:08Z","timestamp":1605651728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8739-4_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402087387","9781402087394"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8739-4_97","relation":{},"subject":[]}}