{"id":"W2405484365","doi":"10.29007/2m22","title":"Towards an Expressive Practical Logical Action Theory","year":2018,"lang":"en","type":"article","venue":"EPiC series in computing","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; Toronto Metropolitan University","funders":"Natural Sciences and Engineering Research Council of Canada; York University","keywords":"Situation calculus; Decidability; Undecidable problem; Fragment (logic); Computer science; Projection (relational algebra); Satisfiability; Action (physics); Logical consequence; Boolean satisfiability problem; Class (philosophy); Description logic; Theoretical computer science; Circumscription; Calculus (dental); Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.006273584,0.001051232,0.0009019609,0.001638104,0.001505609,0.00509229,0.003701382,0.002470482,0.004459137],"category_scores_gemma":[0.006787868,0.001171223,0.002750684,0.001529981,0.008858999,0.008712801,0.005922343,0.008308306,0.001396307],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003414586,"about_ca_system_score_gemma":0.002931712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00407112,"about_ca_topic_score_gemma":0.003650705,"domain_scores_codex":[0.9964813,0.001324345,0.0002130317,0.0004312665,0.001290453,0.0002596519],"domain_scores_gemma":[0.9968238,0.00168609,0.0001615944,0.0006871363,0.0004625254,0.0001789093],"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.000006145105,0.00001384514,0.00005913938,0.00004577526,0.000005810644,0.00004966528,0.0002224171,0.006388281,0.0003656949,0.9871622,0.0007794366,0.004901644],"study_design_scores_gemma":[0.00001143821,0.000009826484,0.00002597647,0.00004189177,0.000006966412,0.00003120572,0.0000923957,0.04068073,0.0004050822,0.9455976,0.01308825,0.000008591353],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004768387,0.0003727988,0.9732898,0.003053285,0.00008216847,0.00009027781,0.0001774477,0.0005051747,0.01766062],"genre_scores_gemma":[0.1296922,0.0008265192,0.859529,0.001081653,0.0002421996,0.0003422426,0.0005230704,0.0001872486,0.007575914],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006273584,"threshold_uncertainty_score":0.03317827,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0782508513794713,"score_gpt":0.3721633954823368,"score_spread":0.2939125441028655,"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."}}