Reducing assessment complexity of stem-responses with Belnap's logic

Innovative Techniques in Instruction Technology, E-Learning, E-Assessment, and Education

Volumn , Issue , 2008, Pages 548-553

  Encheva, S ^a   Tumin, S ^b  

^a WESTERN NORWAY UNIVERSITY OF APPLIED SCIENCES   (Norway)

^b UNIVERSITY OF BERGEN   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED INSTRUCTION; COMPUTER CIRCUITS; E-LEARNING; EDUCATION COMPUTING; FORMAL LOGIC; LATTICE THEORY; STUDENTS;

AUTOMATED TEST; BUILDING BLOCKES; HIGHER ORDER LOGIC; INTELLIGENT TUTORING SYSTEM; SELF ASSESSMENT;

ENGINEERING EDUCATION;

EID: 78049359794     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-4020-8739-4_97     Document Type: Conference Paper

References (13)

1. N. .J. Belnap, "A useful four.valued logic", Modern uses ofmultiple-valued logic, J.M. Dunn and G. Epstain (eds), D. Reidel Publishing Co., Dordrecht, 1977, pp. 837
2. B. A. Davey, and H. A Priestley, "Introduction to lattices and order," Cambridge University Press, Cambridge, 2005
3. U. Ferreira, "A Five-valued Logic and a System," Journal of Computer Science and Technology, vol. 4(3), 2004, pp. 134-140
4. R. L. Goodstein, " Boolean Algebra," Dover Publications, 2007
5. E. Gradel, M. Otto, and E. Rosen, "Undecidability results on two-variable logics," Archive of Mathematical Logic, vol. 38, 1999, pp. 313-354
6. E. Guzman, and R. Conejo, "A model for student knowledge diagnosis through adaptive testing," Lecture Notes in Computer Science, vol. 3220, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 12-21
7. D. Huffman, F. Goldberg, and M. Michlin, "Using computers to create constructivist environments: impact on pedagogy and achievement," Journal of Computers in mathematics and science teaching, vol. 22(2), 2003, pp. 151-168
8. N. Immerman, A., Rabinovich, T., Reps, M., Sagiv, and G., Yorsh, " The boundery between decidability and undecidability of transitive closure logics". In: CSL'04, 2004
9. http://www.leeds.ac.uk/perception/v4\-mrq.html
10. C. Park, and M. Kim, "Development of a Level-Based Instruction Model in Web-Based Education," Lecture Notes in Artificial Intelligence, vol. 3190, Springer-Verlag, Berlin Heidelberg New York, 2003, pp. 215-221
11. C. T. Santos, and F. S. Osorio, "Integrating intelligent agents, user models, and automatic content categorization in virtual environment," Lecture Notes in Computer Science, vol. 3220, Springer-Verlag, Berlin Heidelberg New York, 2004, pp. 128-139
12. J. E. Whitesitt, "Boolean Algebra and Its Applications," Dover Publications, 1995
13. R. Wille, "Concept lattices and conceptual knowledge systems," Computers Math. Applic., vol. 23(6-9), 1992, pp. 493-515