{"id":"W2949282174","doi":"10.48550/arxiv.1106.3457","title":"Extensional Higher-Order Logic Programming","year":2011,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Extensional definition; Logic programming; Semantics (computer science); Stable model semantics; Tuple; Well-founded semantics; Programming language; Resolution (logic); Computer science; Mathematics; Order (exchange); Operator (biology); Higher-order logic; Algorithm; Theoretical computer science; Discrete mathematics; Operational semantics; Denotational semantics; Description logic","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.003957205,0.0007241419,0.0006597281,0.0015347,0.0009114045,0.003526306,0.002696637,0.0008633763,0.004487081],"category_scores_gemma":[0.003210332,0.0004118383,0.001836182,0.001566511,0.003407265,0.007811238,0.003534093,0.003166175,0.0006876742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001526398,"about_ca_system_score_gemma":0.001074977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005523499,"about_ca_topic_score_gemma":0.0009854616,"domain_scores_codex":[0.9973091,0.0009386535,0.0002194474,0.0004296504,0.0009209216,0.0001822056],"domain_scores_gemma":[0.9980366,0.0008235713,0.0001618546,0.000524644,0.0003241857,0.0001292595],"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.00001094473,0.00002717598,0.00009055861,0.0000569875,0.00001172725,0.00006148194,0.0001393702,0.002016994,0.0006069509,0.9858031,0.0004748035,0.01069989],"study_design_scores_gemma":[0.00001829522,0.00002141789,0.000072814,0.00002280284,0.00001454924,0.0001287123,0.00004557118,0.01776741,0.000952911,0.9695087,0.011435,0.00001182612],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009119827,0.0004417748,0.9753925,0.001003549,0.0001138169,0.00006450726,0.0001491601,0.0003445097,0.01337026],"genre_scores_gemma":[0.3667357,0.0007491726,0.6215029,0.0007804742,0.0003516271,0.0002030484,0.0003781164,0.0001381967,0.009160857],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004487081,"threshold_uncertainty_score":0.02092797,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1113744964698426,"score_gpt":0.1975388887106629,"score_spread":0.0861643922408203,"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."}}