{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0005183582,0.0007746365,0.0007346455,0.0003020736,0.0003017397,0.000525957,0.002339523,0.0004983525,0.001626423],"category_scores_gemma":[0.00006524129,0.0006579387,0.0001535308,0.0001020567,0.0002075947,0.0007043194,0.001247966,0.0007707205,0.0001393795],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001055191,"about_ca_system_score_gemma":0.004458038,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.0661575,"about_ca_topic_score_gemma":0.3892241,"domain_scores_codex":[0.9962356,0.00002838751,0.0006154632,0.001478684,0.000741268,0.0009005844],"domain_scores_gemma":[0.9974595,0.0000904861,0.0006429905,0.000526982,0.000750787,0.0005292132],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001176125,0.00004994167,0.0009737664,0.00009316765,0.0001186246,0.00005101673,0.0006549449,2.156592e-7,0.000001765423,0.4921642,0.4877452,0.01813545],"study_design_scores_gemma":[0.0005903369,0.0001916387,0.0002288738,0.0002673149,0.00006397788,0.0001249715,0.0001709215,0.002477391,0.00003877118,0.02514447,0.9694775,0.001223881],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00002812438,0.001305525,0.02169447,0.0002473969,0.003491679,0.0007198384,0.00001337164,0.0003847736,0.9721148],"genre_scores_gemma":[0.007301804,0.0005927735,0.03065384,0.0003943277,0.0004819352,0.0001123789,0.00004288333,0.00006090553,0.9603592],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.4817323,"threshold_uncertainty_score":0.9995872,"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."}}