{"id":"W2076905458","doi":"10.1016/j.jal.2012.02.001","title":"Reasoning about visibility","year":2012,"lang":"en","type":"article","venue":"Journal of Applied Logic","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi; Université du Québec à Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Binary relation; Computer science; Domain (mathematical analysis); Visibility; Sequence (biology); Modal logic; Algorithm; Modal; Polynomial; Firewall (physics); Theoretical computer science; Time complexity; Mathematics; Discrete mathematics; Geometry","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006221599,0.00005728179,0.0001093212,0.00006931475,0.00005440809,0.00005049903,0.0002038187,0.00003686995,0.00008441447],"category_scores_gemma":[0.00003558926,0.00004445313,0.00005147129,0.00015692,0.0000202361,0.0003759448,0.00004023685,0.0001392937,0.00002506756],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000437993,"about_ca_system_score_gemma":0.00003776365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":4.983573e-7,"about_ca_topic_score_gemma":3.163156e-7,"domain_scores_codex":[0.9993492,0.00001938669,0.0002434881,0.00006763621,0.0001785463,0.000141778],"domain_scores_gemma":[0.999401,0.00004273711,0.0002465201,0.0001383813,0.00006822274,0.0001031454],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.00003729479,0.0001586487,0.01354756,0.00001162973,0.00003274014,0.000006264828,0.001501315,0.003368871,0.002283248,0.7053775,0.001106343,0.2725686],"study_design_scores_gemma":[0.003104574,0.0003624104,0.8395776,0.00009419049,0.00007579924,0.001117764,0.0007577214,0.03457801,0.008023645,0.08258309,0.0287667,0.0009585689],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03168842,0.0001107869,0.9393176,0.0002881344,0.0004846897,0.0000513766,1.673877e-7,0.00003202482,0.02802678],"genre_scores_gemma":[0.8639013,0.00001540467,0.1356432,0.000293125,0.0001308688,5.223587e-7,1.319881e-7,0.000001964956,0.00001349813],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8322129,"threshold_uncertainty_score":0.1812746,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01534588857577848,"score_gpt":0.2543208214257721,"score_spread":0.2389749328499936,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}