{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00605067,0.0007541979,0.0009687985,0.001256851,0.00176208,0.003798663,0.002518195,0.001424806,0.001831351],"category_scores_gemma":[0.01192714,0.0006611613,0.001338213,0.001125501,0.003377234,0.004948965,0.002416811,0.001605163,0.0003517295],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001612733,"about_ca_system_score_gemma":0.002288694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003236942,"about_ca_topic_score_gemma":0.002484545,"domain_scores_codex":[0.9944957,0.001953063,0.0003820352,0.0007306915,0.002043667,0.0003949689],"domain_scores_gemma":[0.9948627,0.00312833,0.0003634857,0.0007410086,0.0007283462,0.000176147],"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.0005426825,0.0002198138,0.002336058,0.0003178751,0.0001132764,0.0007756528,0.001914934,0.09836306,0.02024197,0.7579817,0.001608173,0.1155848],"study_design_scores_gemma":[0.000163495,0.0002035508,0.0002873862,0.00005553651,0.0002076474,0.0002387358,0.0002715091,0.6457949,0.02794743,0.3110591,0.01370914,0.00006162587],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02602076,0.0001939887,0.9690742,0.0002491335,0.00002962041,0.0001872369,0.00002969867,0.001100728,0.003114601],"genre_scores_gemma":[0.3298735,0.0002504839,0.6679308,0.0001335113,0.00007555851,0.0002175713,0.0001041399,0.0001183258,0.001296159],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00605067,"threshold_uncertainty_score":0.03199941,"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."}}