{"id":"W2293359051","doi":"10.1007/978-3-319-25524-8_37","title":"Real-Time Conditional Commitment Logic","year":2015,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Temporal logic; Computer science; Executable; Interval temporal logic; Modalities; Linear temporal logic; Class (philosophy); Extension (predicate logic); Interval (graph theory); Point (geometry); Theoretical computer science; Artificial intelligence; 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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001240582,0.0006298596,0.0006659034,0.000602403,0.0003113347,0.0005273883,0.003985893,0.0003964162,0.0001710838],"category_scores_gemma":[0.0001096902,0.0005292164,0.0001740238,0.0004766559,0.0009535184,0.0005309444,0.001851637,0.0007006974,0.0008698069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006854309,"about_ca_system_score_gemma":0.001101558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002270315,"about_ca_topic_score_gemma":0.00002695671,"domain_scores_codex":[0.9956235,0.00006423158,0.0005219827,0.001636593,0.001358439,0.0007952996],"domain_scores_gemma":[0.996817,0.0004824853,0.0003280008,0.001477969,0.0005285426,0.0003660308],"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.00001097668,0.0001400691,0.00005784518,0.00004083207,0.00003726742,0.0003902166,0.001090502,0.01140864,0.0002005235,0.8063112,0.003588753,0.1767232],"study_design_scores_gemma":[0.0004267483,0.0003355495,0.0001246754,0.0001552489,0.00001069384,0.0001594395,1.127343e-7,0.1817917,0.0002117902,0.8046697,0.01129241,0.0008218809],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001882241,0.0004668747,0.8997003,0.0006603131,0.001553404,0.0003709462,0.00001334471,0.00028652,0.09692948],"genre_scores_gemma":[0.08986682,0.0002178251,0.8858597,0.003823242,0.003130089,0.0000589209,0.0001523863,0.0001251256,0.01676593],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1759013,"threshold_uncertainty_score":0.9999081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03137005660421021,"score_gpt":0.2667017328255442,"score_spread":0.2353316762213339,"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."}}