{"id":"W152517204","doi":"10.1007/s10462-004-5899-8","title":"Relation Algebras and their Application in Temporal and Spatial Reasoning","year":2005,"lang":"en","type":"article","venue":"Artificial Intelligence Review","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":75,"is_retracted":false,"has_abstract":false,"ca_institutions":"Brock University","funders":"","keywords":"Binary relation; Relation (database); Spatial intelligence; Relational calculus; Converse; Relation algebra; Computer science; Spatial relation; Formalism (music); Algebra over a field; Mathematics; Relational model; Calculus (dental); Relational database; Discrete mathematics; Pure mathematics; Artificial intelligence; Information retrieval; Two-element Boolean algebra","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.007630852,0.001066973,0.002455231,0.00559603,0.001434049,0.006350071,0.003703449,0.002277818,0.004868493],"category_scores_gemma":[0.0144533,0.001399238,0.002510765,0.01450141,0.008700569,0.00973337,0.002821777,0.005976312,0.001200519],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004328254,"about_ca_system_score_gemma":0.003547226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01200635,"about_ca_topic_score_gemma":0.009986214,"domain_scores_codex":[0.9956051,0.001537982,0.0004421686,0.0004757649,0.001797941,0.0001409463],"domain_scores_gemma":[0.9881285,0.00902312,0.0005253285,0.0008687112,0.001270676,0.0001836402],"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.00001520609,0.00003150399,0.0002083148,0.0006910985,0.00008538979,0.00004221091,0.0001412291,0.008516769,0.0001844748,0.925532,0.003129874,0.0614218],"study_design_scores_gemma":[0.000009955276,0.00001453687,0.0002537011,0.0002167758,0.00003200241,0.0001092551,0.00006847387,0.01790512,0.0002461018,0.9426273,0.03848092,0.00003601619],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00453798,0.3587224,0.5897648,0.005552871,0.0009115765,0.0001799735,0.0004855153,0.0001960264,0.03964885],"genre_scores_gemma":[0.1092237,0.3246074,0.5510667,0.002044034,0.003547396,0.0004427459,0.0006573138,0.000109812,0.008300983],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01200635,"threshold_uncertainty_score":0.04035628,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02811598587504287,"score_gpt":0.2862117436893437,"score_spread":0.2580957578143008,"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."}}