{"id":"W1679808956","doi":"10.1109/iceccs.2012.41","title":"Translating PDDL into CSP# - The PAT Approach","year":2012,"lang":"en","type":"article","venue":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Model checking; Notation; Set (abstract data type); Modeling language; Domain (mathematical analysis); Process (computing); State (computer science); Programming language; Automated planning and scheduling; Software; Software engineering; Artificial intelligence; Theoretical computer science","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","sts"],"consensus_categories":[],"category_scores_codex":[0.001652063,0.0009996546,0.0006263063,0.00194471,0.007949097,0.0003375466,0.003722219,0.0003534761,0.0001055597],"category_scores_gemma":[0.00003604297,0.001028338,0.000587785,0.004015957,0.001489771,0.003441514,0.00383537,0.0008980274,0.0007482825],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003667639,"about_ca_system_score_gemma":0.000484727,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009570157,"about_ca_topic_score_gemma":0.000158187,"domain_scores_codex":[0.9943978,0.0005997723,0.0006746461,0.001628275,0.001117172,0.001582308],"domain_scores_gemma":[0.9969232,0.0002405281,0.0004435587,0.001344057,0.0004130244,0.0006356168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001511151,0.001191092,0.00224865,0.000623348,0.0007775662,0.0006230153,0.004120204,0.006575584,0.00002297369,0.9478636,0.005965139,0.0298377],"study_design_scores_gemma":[0.002713176,0.00007699201,0.002931693,0.0005305323,0.0005672941,0.0001050246,0.002151939,0.02026562,0.00003728589,0.001095715,0.9681245,0.001400227],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.00502243,0.001258259,0.3669313,0.0008075205,0.00176238,0.001062522,0.00003618905,0.0007478874,0.6223715],"genre_scores_gemma":[0.8886767,0.0002651731,0.04968885,0.0002447235,0.0005526434,0.000008157805,0.0005215531,0.00005332321,0.05998888],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9621593,"threshold_uncertainty_score":0.9992167,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0196021583306767,"score_gpt":0.2107042497805834,"score_spread":0.1911020914499067,"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."}}