{"id":"W4398213997","doi":"10.46298/lmcs-20(2:6)2024","title":"Executable First-Order Queries in the Logic of Information Flows","year":2024,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Bijzonder Onderzoeksfonds UGent; Vlaamse regering; Universiteit Hasselt; Fonds Wetenschappelijk Onderzoek","keywords":"Executable; Computer science; Programming language; Description logic; Order (exchange); First-order logic; Theoretical computer science","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007555803,0.000874984,0.0007168722,0.001755995,0.001593746,0.005764126,0.001589809,0.001620149,0.002786347],"category_scores_gemma":[0.008014587,0.000851248,0.002231822,0.002109273,0.007365766,0.01062758,0.003047964,0.004635904,0.0004943539],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003979201,"about_ca_system_score_gemma":0.002441369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00525185,"about_ca_topic_score_gemma":0.002889975,"domain_scores_codex":[0.995079,0.001726902,0.0004572254,0.0009090047,0.001345589,0.0004823387],"domain_scores_gemma":[0.9946437,0.003723978,0.0004119348,0.0004239744,0.0005913671,0.0002051038],"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.00003457584,0.00001586215,0.0001320843,0.00005470179,0.00001035813,0.0001094524,0.0003604226,0.004628061,0.0005553602,0.987364,0.0006647779,0.006070396],"study_design_scores_gemma":[0.00002945936,0.00002703466,0.00008444477,0.00003216799,0.00002387282,0.00009772,0.00009867804,0.03594461,0.001373011,0.953658,0.008608985,0.00002188104],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02293015,0.0009035391,0.9584516,0.003264925,0.0001515384,0.0001311273,0.0003945162,0.0007247028,0.01304786],"genre_scores_gemma":[0.4621778,0.001952885,0.5207882,0.002117364,0.0006995326,0.0004800691,0.001004189,0.0003394626,0.01044052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007555803,"threshold_uncertainty_score":0.03995937,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04447146521058413,"score_gpt":0.3685387176116963,"score_spread":0.3240672524011122,"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."}}