{"id":"W1275153498","doi":"","title":"First-order strong progression for local-effect basic action theories","year":2008,"lang":"en","type":"article","venue":"IRIS Research product catalog (Sapienza University of Rome)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":21,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Axiom; Construct (python library); Action (physics); Situation calculus; Class (philosophy); Computer science; Set (abstract data type); Order (exchange); First order; Theoretical computer science; Algebra over a field; Artificial intelligence; Calculus (dental); Mathematics; Pure mathematics; Programming language; Applied 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.004696261,0.000711571,0.0009025619,0.001892547,0.001699369,0.003541935,0.001540686,0.001205262,0.007593042],"category_scores_gemma":[0.004991495,0.0007042841,0.002565646,0.001570313,0.004080463,0.0119109,0.003416466,0.004429158,0.001269596],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002102714,"about_ca_system_score_gemma":0.001878877,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001665161,"about_ca_topic_score_gemma":0.001603001,"domain_scores_codex":[0.9976988,0.0003980659,0.0002280166,0.0005551568,0.0009042225,0.0002157056],"domain_scores_gemma":[0.9967379,0.001671758,0.00019313,0.0006078412,0.0005852334,0.0002041899],"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.00001614103,0.00001444205,0.00009364524,0.0000532603,0.000008455984,0.00008150757,0.0002906942,0.0008309883,0.0006099008,0.9929368,0.0003627364,0.004701403],"study_design_scores_gemma":[0.00002210699,0.00003149551,0.00009209487,0.00003005807,0.00001695546,0.0001159913,0.00005663318,0.005225042,0.001116152,0.9829552,0.01031915,0.00001913629],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03870461,0.001583752,0.9100036,0.001549574,0.0002282048,0.0001931662,0.0009415895,0.0008151262,0.04598034],"genre_scores_gemma":[0.6530579,0.001823983,0.3221914,0.000708079,0.000439396,0.000538448,0.001798224,0.0002238341,0.01921884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007593042,"threshold_uncertainty_score":0.02540123,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05244309291146103,"score_gpt":0.3234355732692524,"score_spread":0.2709924803577913,"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."}}