{"id":"W2569737058","doi":"10.1007/978-3-642-15675-5_10","title":"Extensional Higher-Order Logic Programming","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Extensional definition; Computer science; Logic programming; Semantics (computer science); Programming language; Well-founded semantics; Stable model semantics; Operator (biology); Horn clause; Algorithm; Theoretical computer science; Operational semantics; Denotational semantics","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.001067393,0.0006663602,0.0006421938,0.0007146482,0.0007815362,0.003210291,0.001154779,0.0006225868,0.01213367],"category_scores_gemma":[0.001409378,0.000451993,0.000931391,0.001252779,0.002376625,0.006181394,0.001499496,0.003672348,0.002409347],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001268784,"about_ca_system_score_gemma":0.0005979186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004091097,"about_ca_topic_score_gemma":0.0006766092,"domain_scores_codex":[0.9993927,0.0001504927,0.00004886973,0.0001013724,0.0002489905,0.00005753666],"domain_scores_gemma":[0.9993367,0.000351689,0.00002953748,0.0001388984,0.0001012137,0.00004190759],"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.000008788397,0.00001032802,0.00004693525,0.00005450019,0.00000521469,0.00003026348,0.0001105582,0.0004783779,0.0002710836,0.9757031,0.003264783,0.02001614],"study_design_scores_gemma":[0.000006554118,0.000004729821,0.00005242692,0.00002430623,0.000004965028,0.0001007122,0.00001993712,0.001649873,0.0002962707,0.9592434,0.03859182,0.000005088041],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01065736,0.005638048,0.6691965,0.002591096,0.0008060207,0.00005462129,0.0003600657,0.000846579,0.3098497],"genre_scores_gemma":[0.4582636,0.009084125,0.3488437,0.001538063,0.001682478,0.0001610448,0.001026707,0.0006776717,0.1787226],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01213367,"threshold_uncertainty_score":0.04059124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02529665476289793,"score_gpt":0.2549022560791887,"score_spread":0.2296056013162908,"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."}}