{"id":"W1890359884","doi":"10.1109/tai.1993.633975","title":"Evaluating logical queries by means of communicating processes","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Lethbridge","funders":"","keywords":"Computer science; Predicate (mathematical logic); Petri net; Heuristics; Theoretical computer science; Computation; Deductive database; Message passing; Extensional definition; Database theory; Query language; Programming language; Database; Relational database","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002632668,0.00008774464,0.0001606203,0.00002091128,0.0001302835,0.00002416073,0.0004856709,0.00002527729,0.0000977488],"category_scores_gemma":[0.0003831887,0.00006534901,0.00002260334,0.0002586326,0.00009209994,0.0005884046,0.0003254051,0.00007043202,0.00001356854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000008679966,"about_ca_system_score_gemma":0.00001524969,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005673329,"about_ca_topic_score_gemma":0.00002932061,"domain_scores_codex":[0.9990782,0.00007477948,0.0002796084,0.0001870039,0.000225992,0.0001543927],"domain_scores_gemma":[0.9988573,0.0002477751,0.0001357527,0.0005819534,0.0001395235,0.00003766016],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005558298,0.0002981277,0.001520491,0.0004817518,0.00003440988,0.000003890252,0.006762436,0.0002915343,0.02011151,0.8393179,0.007826342,0.123346],"study_design_scores_gemma":[0.001653602,0.001396353,0.000292155,0.0008100069,0.00002592274,0.0001204404,0.004449716,0.5615226,0.1471424,0.007421409,0.2734891,0.001676324],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007903438,0.001735416,0.9746732,0.0004467662,0.00003739534,0.0001084708,0.00001059249,0.0001579559,0.01492675],"genre_scores_gemma":[0.4320938,0.00008463408,0.5670428,0.0001186097,0.00001215754,0.00001670162,0.000003818205,0.000004745945,0.0006227143],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8318965,"threshold_uncertainty_score":0.2664855,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1139195981034812,"score_gpt":0.3405884453056424,"score_spread":0.2266688472021612,"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."}}