{"id":"W4413907680","doi":"10.1007/978-3-032-04587-4","title":"Logics in Artificial Intelligence","year":2025,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Leibniz-Gemeinschaft; Instituto Superior Técnico; École Normale Supérieure de Lyon; Technische Universität Dortmund; Helsingin Yliopisto; Universidade da Madeira; Libera Università di Bolzano; Universität Leipzig; University of Cape Town; Technische Universität Wien; Universität Paderborn; Università degli Studi di Torino; Aix-Marseille Université; Universidade Nova de Lisboa; Birkbeck, University of London; Universidade de Lisboa; Universidad Nacional del Sur; Centre National de la Recherche Scientifique; Universite Angers; Università degli Studi di Udine; Università della Calabria; Université de Toulouse; University of Waterloo; Institut Universitaire de France; Linköpings Universitet; Universitetet i Bergen; Akademie Věd České Republiky; Universidad Politécnica de Madrid; Universitat Politècnica de València; Université de Montpellier; University of Cyprus; Consejo Nacional de Investigaciones Científicas y Técnicas; Technische Universität Dresden; Universiteit van Amsterdam; Università degli Studi di Milano-Bicocca; University of New South Wales; Universiteit Maastricht; KU Leuven; Universiteit Utrecht; British Columbia Institute of Technology; Università degli Studi di Milano; Université du Luxembourg; Universidad de Málaga; Commonwealth Scientific and Industrial Research Organisation; École Normale Supérieure; Universität Zürich; University of Chester; University College London; Imperial College London; Cardiff University","keywords":"Computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","open_science"],"consensus_categories":[],"category_scores_codex":[0.001516421,0.0005809827,0.0006904757,0.001453651,0.000217646,0.0007469096,0.006160574,0.0005108723,0.00001673101],"category_scores_gemma":[0.0005002729,0.0005137148,0.0001514651,0.003146484,0.0007514059,0.0005240028,0.002464611,0.001327488,0.00009869257],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000812008,"about_ca_system_score_gemma":0.002888725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003475926,"about_ca_topic_score_gemma":0.0005039728,"domain_scores_codex":[0.9952949,0.0001130269,0.0007624238,0.001985633,0.0008238184,0.001020186],"domain_scores_gemma":[0.99685,0.0009669575,0.0002434197,0.001529779,0.000250697,0.0001591254],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000004391782,0.00008775641,0.00009714664,0.00005634223,0.000004184598,0.0001600001,0.001160579,0.01863015,0.00001549209,0.1210152,0.000155502,0.8586133],"study_design_scores_gemma":[0.00005644952,0.0001015778,0.0001001745,0.0003715127,0.000003213185,0.00002058724,3.40104e-7,0.415486,0.0009030165,0.5809436,0.00149391,0.0005195935],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00002966759,0.0007979687,0.9726862,0.0005880801,0.003600877,0.000392575,0.000002454013,0.0001779997,0.02172413],"genre_scores_gemma":[0.2035318,0.0002745993,0.7816688,0.005146484,0.002192335,0.00007009226,0.00002037703,0.0000616425,0.007033868],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8580937,"threshold_uncertainty_score":0.9997314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0268133730609676,"score_gpt":0.2721947778758663,"score_spread":0.2453814048148987,"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."}}