{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007250728,0.001033698,0.0009427259,0.001669557,0.001040087,0.005235411,0.0009066889,0.001059677,0.02223947],"category_scores_gemma":[0.001362484,0.0005315213,0.0004964127,0.002331188,0.003532402,0.0051825,0.001429588,0.003144849,0.007610917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001850883,"about_ca_system_score_gemma":0.0009845805,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001562167,"about_ca_topic_score_gemma":0.001829489,"domain_scores_codex":[0.9995697,0.0001613338,0.00002087815,0.00006933846,0.0001480218,0.00003074227],"domain_scores_gemma":[0.9994401,0.0003487274,0.00002635765,0.00008128039,0.00006236432,0.00004125994],"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.00002331991,0.00002764105,0.00009563315,0.0001812296,0.00001575533,0.00003087757,0.0002789286,0.0005915604,0.0001409291,0.8247366,0.0927722,0.08110543],"study_design_scores_gemma":[0.000009405638,0.000007590073,0.000118552,0.0001737581,0.00000619911,0.00006447331,0.00008953845,0.0007218069,0.00009195492,0.7267439,0.2719676,0.000005193771],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001755124,0.1945859,0.07245425,0.01240834,0.002979308,0.00006020773,0.0005212916,0.0006667449,0.7145689],"genre_scores_gemma":[0.1603475,0.1619138,0.08197945,0.009228179,0.008456402,0.0004183986,0.002828259,0.0009618409,0.5738663],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.02223947,"threshold_uncertainty_score":0.07439846,"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."}}