\BOOKMARK [1][-]{section.1}{1 From CfP}{} \BOOKMARK [1][-]{section.2}{2 Semantic Games for Predicate Logic}{} \BOOKMARK [1][-]{section.3}{3 The Structure of SCG}{} \BOOKMARK [1][-]{section.4}{4 Redirect paper to Crowdsourcing}{} \BOOKMARK [2][-]{subsection.4.1}{4.1 Substantiation Game \(SG\)}{section.4} \BOOKMARK [1][-]{section.5}{5 Unreliable Scholars}{} \BOOKMARK [2][-]{subsection.5.1}{5.1 Risk of Blame for Unreliability}{section.5} \BOOKMARK [2][-]{subsection.5.2}{5.2 Avoiding Contradictions}{section.5} \BOOKMARK [2][-]{subsection.5.3}{5.3 Perfect Scholars}{section.5} \BOOKMARK [2][-]{subsection.5.4}{5.4 Rating Systems for Scholars}{section.5} \BOOKMARK [3][-]{subsubsection.5.4.1}{5.4.1 From Contradictions to Game Actions}{subsection.5.4} \BOOKMARK [3][-]{subsubsection.5.4.2}{5.4.2 Limitations of Rating Systems}{subsection.5.4} \BOOKMARK [3][-]{subsubsection.5.4.3}{5.4.3 Two Proposals for Player Rating Computation}{subsection.5.4} \BOOKMARK [3][-]{subsubsection.5.4.4}{5.4.4 Alternative Scholar Rating}{subsection.5.4} \BOOKMARK [2][-]{subsection.5.5}{5.5 Voting with Justification}{section.5} \BOOKMARK [3][-]{subsubsection.5.5.1}{5.5.1 Simple Voting for Claims}{subsection.5.5} \BOOKMARK [3][-]{subsubsection.5.5.2}{5.5.2 Better 3-Component Voting for Claims}{subsection.5.5} \BOOKMARK [1][-]{section.6}{6 Fuzziness}{} \BOOKMARK [1][-]{section.7}{7 Negation}{} \BOOKMARK [1][-]{section.8}{8 Standard Binary Games}{} \BOOKMARK [2][-]{subsection.8.1}{8.1 Binary Game 1}{section.8} \BOOKMARK [2][-]{subsection.8.2}{8.2 Binary Game 2}{section.8} \BOOKMARK [2][-]{subsection.8.3}{8.3 Binary Game 3}{section.8} \BOOKMARK [2][-]{subsection.8.4}{8.4 Binary Game 4}{section.8} \BOOKMARK [1][-]{section.9}{9 Our thesis}{} \BOOKMARK [1][-]{section.10}{10 Positive Terminology Approach to SCG}{} \BOOKMARK [1][-]{section.11}{11 Negation}{} \BOOKMARK [1][-]{section.12}{12 The SCG Design Pattern with Applications}{} \BOOKMARK [2][-]{subsection.12.1}{12.1 Application to Optimization Labs}{section.12} \BOOKMARK [3][-]{subsubsection.12.1.1}{12.1.1 Blame and Payoff Table}{subsection.12.1} \BOOKMARK [2][-]{subsection.12.2}{12.2 Application to Agreement with two Refutation Games}{section.12} \BOOKMARK [3][-]{subsubsection.12.2.1}{12.2.1 Blame and Payoff Table}{subsection.12.2} \BOOKMARK [2][-]{subsection.12.3}{12.3 Application to Perfect Labs}{section.12} \BOOKMARK [3][-]{subsubsection.12.3.1}{12.3.1 Blame and Payoff Table}{subsection.12.3} \BOOKMARK [1][-]{section.13}{13 Less competitive Payoff for learning}{} \BOOKMARK [1][-]{section.14}{14 Game history}{} \BOOKMARK [1][-]{section.15}{15 Measure learning}{} \BOOKMARK [2][-]{subsection.15.1}{15.1 Student Assessment with SCG}{section.15} \BOOKMARK [3][-]{subsubsection.15.1.1}{15.1.1 A perfect master teacher is available}{subsection.15.1} \BOOKMARK [3][-]{subsubsection.15.1.2}{15.1.2 No perfect master teacher}{subsection.15.1} \BOOKMARK [2][-]{subsection.15.2}{15.2 Learning Science and SCG}{section.15} \BOOKMARK [1][-]{section.16}{16 Small Labs}{} \BOOKMARK [1][-]{section.17}{17 Labs with Perfect Avatars}{} \BOOKMARK [1][-]{section.18}{18 Interesting Payoff Functions}{} \BOOKMARK [1][-]{section.19}{19 Problem Solving}{} \BOOKMARK [2][-]{subsection.19.1}{19.1 Convergence}{section.19} \BOOKMARK [2][-]{subsection.19.2}{19.2 Indeterminate Claims}{section.19} \BOOKMARK [1][-]{section.20}{20 Accidental Defenses}{} \BOOKMARK [2][-]{subsection.20.1}{20.1 Avoidable Accidental Defenses}{section.20} \BOOKMARK [2][-]{subsection.20.2}{20.2 Skill-related Accidental Defenses}{section.20} \BOOKMARK [1][-]{section.21}{21 Problem Solving Courses}{} \BOOKMARK [1][-]{section.22}{22 RULES FOR REPUTATION COMPUTATION}{} \BOOKMARK [1][-]{section.23}{23 Example}{} \BOOKMARK [1][-]{section.24}{24 Related Work}{} \BOOKMARK [2][-]{subsection.24.1}{24.1 ToDo}{section.24} \BOOKMARK [2][-]{subsection.24.2}{24.2 Crowd Sourcing and Human Computation}{section.24} \BOOKMARK [2][-]{subsection.24.3}{24.3 Logic and Imperfect Information Games}{section.24} \BOOKMARK [2][-]{subsection.24.4}{24.4 Foundations of Digital Games}{section.24} \BOOKMARK [2][-]{subsection.24.5}{24.5 Architecting Socio-Technical Ecosystems}{section.24} \BOOKMARK [2][-]{subsection.24.6}{24.6 Online Judges}{section.24} \BOOKMARK [2][-]{subsection.24.7}{24.7 Educational Games}{section.24} \BOOKMARK [2][-]{subsection.24.8}{24.8 Formal Sciences and Karl Popper}{section.24} \BOOKMARK [2][-]{subsection.24.9}{24.9 Scientific Method in CS}{section.24} \BOOKMARK [2][-]{subsection.24.10}{24.10 Games and Learning}{section.24} \BOOKMARK [2][-]{subsection.24.11}{24.11 CSP-based Game Design}{section.24} \BOOKMARK [2][-]{subsection.24.12}{24.12 Origins of SCG}{section.24} \BOOKMARK [1][-]{section.25}{25 Future Work}{} \BOOKMARK [1][-]{section.26}{26 Summary and Conclusions}{} \BOOKMARK [1][-]{section.27}{27 Experience with the SCG}{} \BOOKMARK [2][-]{subsection.27.1}{27.1 Software Development}{section.27} \BOOKMARK [2][-]{subsection.27.2}{27.2 Algorithms}{section.27} \BOOKMARK [1][-]{section.28}{28 Related Work}{} \BOOKMARK [2][-]{subsection.28.1}{28.1 Crowd Sourcing and Human Computation}{section.28} \BOOKMARK [3][-]{subsubsection.28.1.1}{28.1.1 Dealing with Unreliable Workers}{subsection.28.1} \BOOKMARK [3][-]{subsubsection.28.1.2}{28.1.2 Rating Systems}{subsection.28.1} \BOOKMARK [3][-]{subsubsection.28.1.3}{28.1.3 Combining Worker's Contributions}{subsection.28.1} \BOOKMARK [3][-]{subsubsection.28.1.4}{28.1.4 Competitions}{subsection.28.1} \BOOKMARK [3][-]{subsubsection.28.1.5}{28.1.5 Crowdsourcing complex tasks}{subsection.28.1} \BOOKMARK [2][-]{subsection.28.2}{28.2 Logic and Imperfect Information Games}{section.28} \BOOKMARK [2][-]{subsection.28.3}{28.3 Foundations of Digital Games}{section.28} \BOOKMARK [2][-]{subsection.28.4}{28.4 Architecting Socio-Technical Ecosystems}{section.28} \BOOKMARK [2][-]{subsection.28.5}{28.5 Online Judges}{section.28} \BOOKMARK [2][-]{subsection.28.6}{28.6 Educational Games}{section.28} \BOOKMARK [2][-]{subsection.28.7}{28.7 Formal Sciences and Karl Popper}{section.28} \BOOKMARK [2][-]{subsection.28.8}{28.8 Scientific Method in CS}{section.28} \BOOKMARK [2][-]{subsection.28.9}{28.9 Games and Learning}{section.28} \BOOKMARK [2][-]{subsection.28.10}{28.10 CSP-based Game Design}{section.28} \BOOKMARK [2][-]{subsection.28.11}{28.11 Origins of SCG}{section.28} \BOOKMARK [1][-]{section.29}{29 Future Work}{} \BOOKMARK [1][-]{section.30}{30 Conclusions}{} \BOOKMARK [1][-]{section.31}{31 Abstract}{} \BOOKMARK [1][-]{section.32}{32 Acknowledgements}{} \BOOKMARK [1][-]{section.33}{33 References}{}