{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004204136,0.00008729586,0.0001328413,0.00006457174,0.00006658278,0.00006064945,0.00009107291,0.00003725077,0.00001883628],"category_scores_gemma":[0.00007986512,0.0000779138,0.00001868102,0.0002736364,0.00004112245,0.0004006932,0.00004615278,0.00008747185,0.00002733289],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002642752,"about_ca_system_score_gemma":0.00002301052,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001430745,"about_ca_topic_score_gemma":0.0008743235,"domain_scores_codex":[0.9991837,0.00006235334,0.0003239014,0.0002522942,0.00007206196,0.0001056974],"domain_scores_gemma":[0.9996102,0.0000541454,0.0000945198,0.0001587181,0.00003480585,0.00004757758],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.523563e-7,0.000008252811,0.00158153,0.00003276258,0.00000105136,2.047031e-7,0.0001818575,0.0000845002,0.00004325057,0.05081071,0.000005513509,0.9472495],"study_design_scores_gemma":[0.00003167502,0.00003214013,0.009329994,0.0007554202,0.000007148712,0.00003194365,0.00005925968,0.9671026,0.0009400737,0.01462588,0.006838062,0.000245836],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003276125,0.009209979,0.9836303,0.003260789,0.00004445614,0.0003118275,3.474728e-7,0.00004806707,0.0002180834],"genre_scores_gemma":[0.9677029,0.01578284,0.01600556,0.0004329984,0.00003877447,0.00002241939,0.000004250201,0.000004004192,0.000006204561],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9676248,"threshold_uncertainty_score":0.3177232,"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."}}