{"id":"W1492028561","doi":"10.1007/3-540-45049-1_54","title":"The Formal Specification and Implementation of a Modest First Order Temporal Logic","year":2000,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Acadia University; Nortel (Canada)","funders":"","keywords":"Computer science; Programming language; Temporal logic; Logic programming; Description logic; First-order logic; Syntax; Semantics (computer science); Interval temporal logic; Theoretical computer science; Artificial intelligence","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.0004512632,0.0001956078,0.000171958,0.0002561566,0.0003566837,0.0002878968,0.0006880665,0.000100235,0.00003590487],"category_scores_gemma":[0.00001459395,0.0001501592,0.00003716899,0.0003313904,0.0004506374,0.0005869777,0.0002332875,0.0002041068,0.000004682713],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008547995,"about_ca_system_score_gemma":0.0002354199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005119695,"about_ca_topic_score_gemma":0.0009153911,"domain_scores_codex":[0.998419,0.00001656268,0.0003878528,0.00050397,0.0004078445,0.0002647628],"domain_scores_gemma":[0.9988739,0.0001899773,0.0002505469,0.0004684836,0.0001630825,0.0000539463],"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":[0.000003931915,0.000004992411,0.0003104264,0.00001021217,0.000003597645,0.000001637662,0.0004497023,0.01559574,0.000009806995,0.06766925,0.000005149447,0.9159356],"study_design_scores_gemma":[0.0003748671,0.0001417215,0.004385422,0.00008832644,0.000006741912,0.00005057844,0.000002036856,0.8742951,0.0002262035,0.118131,0.001941937,0.0003560106],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001242709,0.0001267413,0.9962113,0.00146897,0.0002925374,0.0003163811,0.00000368272,0.00003820431,0.001417918],"genre_scores_gemma":[0.6924952,0.0005365848,0.306305,0.0004144826,0.0001199523,0.00001113594,0.00001249874,0.00001450713,0.00009058831],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9155796,"threshold_uncertainty_score":0.6123315,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01619250709659672,"score_gpt":0.2542600326606247,"score_spread":0.238067525564028,"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."}}