{"id":"W2053024197","doi":"10.1007/s10472-005-9016-8","title":"Regular path queries under approximate semantics","year":2006,"lang":"en","type":"article","venue":"Annals of Mathematics and Artificial Intelligence","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria; Concordia University","funders":"","keywords":"Containment (computer programming); Path (computing); Focus (optics); Semantics (computer science); Mathematics; Query language; Query optimization; Computer science; Polynomial; Automaton; Theoretical computer science; Algorithm; Database; Programming language","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.006116534,0.0008869358,0.002839252,0.00264584,0.001816294,0.008839681,0.002791237,0.002754429,0.006004552],"category_scores_gemma":[0.0315107,0.001386117,0.001931973,0.004593521,0.005744459,0.03658773,0.005738971,0.006387086,0.001415509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002503623,"about_ca_system_score_gemma":0.002160036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001585394,"about_ca_topic_score_gemma":0.0008791793,"domain_scores_codex":[0.9899239,0.002336141,0.001082252,0.001761427,0.004186042,0.0007103049],"domain_scores_gemma":[0.9735655,0.01647474,0.001204962,0.005421446,0.002720073,0.0006134396],"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.0002853648,0.00005218892,0.0004583461,0.000118557,0.00003856716,0.00008503702,0.0003264497,0.005304953,0.0006851667,0.9645429,0.003113992,0.02498848],"study_design_scores_gemma":[0.00002605297,0.00002000753,0.00005974279,0.00001301021,0.00003095959,0.0001155565,0.0000564492,0.01474968,0.0005437227,0.9813291,0.003043865,0.00001191833],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0714914,0.00280214,0.8879139,0.007029234,0.0005519495,0.0001122725,0.0009967886,0.002245925,0.02685631],"genre_scores_gemma":[0.7860084,0.002744856,0.1896408,0.001902485,0.001853999,0.0002424859,0.002203109,0.0009042048,0.01449967],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008839681,"threshold_uncertainty_score":0.03234774,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07877425589486078,"score_gpt":0.3108494660789743,"score_spread":0.2320752101841135,"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."}}