{"id":"W38868912","doi":"10.1111/ahe.13073","title":"Specifying Event Logics for Active Databases.","year":2002,"lang":"en","type":"article","venue":"Description Logics","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Active database; Computer science; Event (particle physics); Event calculus; Semantics (computer science); Action (physics); Database; Dimension (graph theory); Description logic; Theoretical computer science; Programming language; Mathematics","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.005245909,0.001206348,0.0007096098,0.002172435,0.0009892323,0.005445167,0.003512545,0.001597111,0.01410117],"category_scores_gemma":[0.01199596,0.000858541,0.002404175,0.001667114,0.001651145,0.0107432,0.003231108,0.0024987,0.00362179],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002151694,"about_ca_system_score_gemma":0.002621925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004951288,"about_ca_topic_score_gemma":0.008794604,"domain_scores_codex":[0.9953706,0.001036839,0.0009686286,0.0009704543,0.001323558,0.0003299741],"domain_scores_gemma":[0.9949598,0.002526353,0.0004858753,0.001273417,0.000559616,0.0001949908],"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.0002908737,0.0001293453,0.002041425,0.0009431511,0.0001197658,0.0004779361,0.0005677742,0.01782481,0.003208021,0.8064004,0.02917562,0.1388208],"study_design_scores_gemma":[0.00009199754,0.00007906563,0.0004828419,0.0003981114,0.00011138,0.0006715825,0.000311036,0.1756786,0.01499845,0.6018119,0.2052895,0.00007563362],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003702221,0.000741143,0.9701955,0.0009326306,0.0001575917,0.0003249485,0.005436425,0.009166503,0.009343094],"genre_scores_gemma":[0.1969716,0.001970854,0.7661583,0.001864789,0.0003078177,0.00110262,0.01656321,0.001795785,0.01326507],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01410117,"threshold_uncertainty_score":0.04717314,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.153769469963791,"score_gpt":0.2870872975224822,"score_spread":0.1333178275586912,"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."}}