{"id":"W7125986258","doi":"10.1093/logcom/exaf073","title":"Advances in computational logic (CILC 2024)","year":2025,"lang":"en","type":"article","venue":"Journal of Logic and Computation","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Field (mathematics); Association (psychology); Computational logic; Mathematical logic; Computational model; Computational complexity theory","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":[],"consensus_categories":[],"category_scores_codex":[0.0004037333,0.000099677,0.0002143836,0.0002708562,0.00007717344,0.00009630289,0.0002482564,0.00005217686,0.000006024142],"category_scores_gemma":[0.00007072924,0.0000764566,0.00005413313,0.000432694,0.00004614125,0.0005371043,0.00007827811,0.000168976,0.000004787782],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005144127,"about_ca_system_score_gemma":0.0001169013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002254347,"about_ca_topic_score_gemma":0.000005504376,"domain_scores_codex":[0.9990399,0.00009303615,0.0003901633,0.0001591241,0.000183909,0.0001338217],"domain_scores_gemma":[0.9991814,0.0002438704,0.0002496186,0.00005745986,0.0002205573,0.0000471199],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000037494,0.0001831589,0.007632975,0.0000529987,0.00001908379,0.00007037957,0.0005967567,0.08623711,0.00001939951,0.6215315,0.001483895,0.2821352],"study_design_scores_gemma":[0.0008521219,0.0002315152,0.02841551,0.00008800161,0.000008157979,0.00008813461,0.0001173316,0.1764,0.000008741177,0.7919444,0.001737622,0.0001084238],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008292584,0.005136144,0.9702511,0.001352121,0.0007037445,0.00006544107,2.853176e-7,0.00001768119,0.01418085],"genre_scores_gemma":[0.9585249,0.0004008679,0.04036983,0.0004856212,0.00006961123,0.000001309087,0.000001033431,0.000001908949,0.0001448676],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9502324,"threshold_uncertainty_score":0.311781,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01517022786716741,"score_gpt":0.2938185786288521,"score_spread":0.2786483507616846,"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."}}