{"id":"W561957468","doi":"10.1007/978-3-642-20895-9","title":"Logic programming and nonmonotonic reasoning : 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings","year":2011,"lang":"en","type":"book","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Non-monotonic logic; Logic programming; Knowledge representation and reasoning; Computer science; Representation (politics); Belief revision; Deductive reasoning; Programming language; Description logic; Artificial intelligence; Political science","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00196909,0.001133954,0.001454894,0.001236708,0.001049399,0.006200769,0.001651281,0.0009934703,0.04457631],"category_scores_gemma":[0.002006616,0.00112259,0.0008201075,0.003302201,0.001797558,0.004589326,0.001808892,0.003011121,0.01171658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004436987,"about_ca_system_score_gemma":0.006471364,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.03118048,"about_ca_topic_score_gemma":0.06107479,"domain_scores_codex":[0.9991142,0.0001498794,0.00005271512,0.0001753113,0.0004367481,0.00007109837],"domain_scores_gemma":[0.9985319,0.0006028502,0.00004111581,0.0001689191,0.0005181389,0.0001370428],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001232195,0.0001350724,0.000226275,0.0009308862,0.00004583989,0.00009562822,0.0002077767,0.00206671,0.001855304,0.05270543,0.5171998,0.424408],"study_design_scores_gemma":[0.00003474064,0.00002870692,0.0008241968,0.0005568119,0.00004868229,0.0002985,0.0001509026,0.008209558,0.001421549,0.05284875,0.9355479,0.00002981329],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.005429816,0.3044935,0.381778,0.01813778,0.01564854,0.0002637182,0.002268408,0.00557753,0.2664027],"genre_scores_gemma":[0.02301551,0.17507,0.1781242,0.002296201,0.00460036,0.0002219998,0.005234983,0.001828044,0.6096087],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04457631,"threshold_uncertainty_score":0.1491227,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0221329985186096,"score_gpt":0.2271681164681771,"score_spread":0.2050351179495675,"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."}}