{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":35,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":35,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"cc26a47497b5","filters":{"venue":"Theory and Practice of Logic Programming"}},"results":[{"id":"W2174235632","doi":"10.1017/s1471068402001539","title":"A framework for compiling preferences in logic programs","year":2003,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":129,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Logic programming; Logic program; Answer set programming; Programming language; Set (abstract data type); Stable model semantics; Semantics (computer science); Compiler; Theoretical computer science; Implementation; Preference; Range (aeronautics); Program transformation; Operational semantics; Mathematics","authors":[{"name":"James P. Delgrande","is_ca":true},{"name":"Torsten Schaub","is_ca":false},{"name":"Hans Tompits","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06676812964106243,"gpt":0.3393231874155429,"spread":0.2725550577744805,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003406988,0.0008767091,0.000818924,0.001791216,0.001016321,0.002978705,0.00191915,0.001050858,0.004498132],"category_scores_gemma":[0.007546845,0.001051172,0.002271364,0.001776974,0.002454964,0.00485635,0.002902479,0.003091755,0.001321069],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00147051,"about_ca_system_score_gemma":0.002222294,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002837971,"about_ca_topic_score_gemma":0.002775714,"domain_scores_codex":[0.9970855,0.0007814928,0.000434215,0.0005560017,0.0008554488,0.0002873048],"domain_scores_gemma":[0.9980077,0.00081742,0.0001921693,0.0005649683,0.0003248284,0.00009303092],"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.00005494448,0.00007444104,0.0005595078,0.0003249399,0.00005550935,0.0003008848,0.0008606255,0.04255792,0.00350656,0.8540915,0.003289895,0.09432341],"study_design_scores_gemma":[0.00005243809,0.00006896243,0.000184056,0.0001388326,0.00007319425,0.0002770665,0.0001841104,0.1071955,0.007473874,0.8176726,0.06662522,0.00005432119],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001644799,0.00007288629,0.9940512,0.0001629907,0.0000327037,0.00008551,0.0001025621,0.001760842,0.00208637],"genre_scores_gemma":[0.03849817,0.0002408598,0.9583648,0.0001907346,0.00007277945,0.0002679171,0.0002965922,0.0004993001,0.001568971],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004498132,"threshold_uncertainty_score":0.01801807,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2795456052","doi":"10.1017/s1471068415000150","title":"Abstract gringo","year":2015,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":69,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Griffith University; Deutsche Forschungsgemeinschaft; Simon Fraser University; National Science Foundation","keywords":"Computer science; Programming language; ASCII; Semantics (computer science); Syntax; Operational semantics; Natural language processing","authors":[{"name":"Martin Gebser","is_ca":false},{"name":"Amelia Harrison","is_ca":false},{"name":"Roland Kaminski","is_ca":false},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Torsten Schaub","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04921704846220617,"gpt":0.3125891107936691,"spread":0.2633720623314629,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001822263,0.0005879993,0.0006022066,0.0008493427,0.0008662497,0.003745179,0.001641068,0.000908697,0.01739073],"category_scores_gemma":[0.004740633,0.0003725942,0.0007027569,0.0008409863,0.001986572,0.005989671,0.003169893,0.002546456,0.006147641],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001737192,"about_ca_system_score_gemma":0.001408502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002408565,"about_ca_topic_score_gemma":0.001068566,"domain_scores_codex":[0.9977537,0.00062207,0.000179464,0.0004437747,0.0007031929,0.0002977992],"domain_scores_gemma":[0.9982382,0.0004493029,0.0001214417,0.000491611,0.0005603163,0.0001389821],"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.0001857774,0.0000385286,0.0005722889,0.0002366051,0.00001100061,0.0003429436,0.0006707409,0.003234857,0.00282379,0.9128391,0.02788967,0.05115468],"study_design_scores_gemma":[0.00006525443,0.00006894812,0.0004343155,0.0003020201,0.00002617158,0.0005053079,0.0002772385,0.01910912,0.009209407,0.4816416,0.4882999,0.00006072239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0289618,0.0008008513,0.7318587,0.006291213,0.00092135,0.0003467782,0.00340489,0.01471031,0.2127041],"genre_scores_gemma":[0.5248279,0.001489136,0.3749227,0.003822306,0.000565533,0.0005181634,0.0062963,0.005981827,0.08157615],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01739073,"threshold_uncertainty_score":0.05817777,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2035142469","doi":"10.1017/s1471068414000210","title":"<tt>claspfolio</tt>2: Advances in Algorithm Selection for Answer Set Programming","year":2014,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":65,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft","keywords":"Solver; Computer science; Selection (genetic algorithm); Modular design; Portfolio; Answer set programming; Set (abstract data type); Schedule; Artificial intelligence; Programming language","authors":[{"name":"Holger H. Hoos","is_ca":true},{"name":"Marius Lindauer","is_ca":false},{"name":"Torsten Schaub","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01772871674396846,"gpt":0.3088274356007915,"spread":0.291098718856823,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006405593,0.001120022,0.000792088,0.001761362,0.0007027424,0.003244398,0.003113337,0.001317529,0.0148427],"category_scores_gemma":[0.01544213,0.0006553187,0.001407422,0.002066019,0.00112267,0.00375657,0.003432839,0.003669002,0.004069015],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001719473,"about_ca_system_score_gemma":0.00275087,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002024165,"about_ca_topic_score_gemma":0.002914487,"domain_scores_codex":[0.9940727,0.002129539,0.0004381186,0.0007701288,0.002285556,0.0003039307],"domain_scores_gemma":[0.9928039,0.004069462,0.0003159902,0.001170929,0.001331253,0.0003084938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004660668,0.000399739,0.001517032,0.0006236341,0.0001620056,0.000207121,0.0002473997,0.08267284,0.008226175,0.1557542,0.07755086,0.672173],"study_design_scores_gemma":[0.0001989744,0.0001931469,0.000392412,0.0001806839,0.00005416563,0.0003440364,0.00008048136,0.6861024,0.02032997,0.1871219,0.1049482,0.00005367824],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005312829,0.0006519615,0.9724076,0.001177516,0.0001802332,0.0001445239,0.0003169586,0.008983539,0.01082486],"genre_scores_gemma":[0.08079989,0.0006009702,0.9085782,0.0006685039,0.0002307042,0.0001883797,0.00143689,0.002015998,0.005480524],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0148427,"threshold_uncertainty_score":0.04965377,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2115895293","doi":"10.1017/s1471068406002729","title":"Temporal phylogenetic networks and logic programming","year":2006,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"University of Toronto; Austrian Science Fund; National Science Foundation","keywords":"Computer science; Phylogenetic tree; Logic programming; Constraint (computer-aided design); Set (abstract data type); Programming language; Theoretical computer science; Artificial intelligence; Mathematics; Biology","authors":[{"name":"Esra Erdem","is_ca":false},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Don Ringe","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01761395012785124,"gpt":0.2711694130920532,"spread":0.2535554629642019,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003567516,0.0007687862,0.0007720565,0.001878449,0.001667467,0.004535636,0.00194856,0.001688241,0.006446951],"category_scores_gemma":[0.008776014,0.0004745393,0.001615285,0.003140124,0.005663718,0.008002441,0.002325626,0.003484952,0.0007072844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005012472,"about_ca_system_score_gemma":0.001917654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006742198,"about_ca_topic_score_gemma":0.004509007,"domain_scores_codex":[0.9975448,0.001197595,0.0001433418,0.0005331443,0.0003870269,0.0001940006],"domain_scores_gemma":[0.9933841,0.005376006,0.0004307499,0.000299347,0.0003067305,0.0002031939],"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.00001198907,0.000009670084,0.0001255086,0.00005786672,0.00001524895,0.00004015569,0.00009461128,0.009930689,0.00006098552,0.9790407,0.001013228,0.009599363],"study_design_scores_gemma":[0.000004853167,0.000002628178,0.00002442974,0.00001141177,0.00000417006,0.00001733134,0.00002011984,0.02064453,0.00003832452,0.9768693,0.002358819,0.000004053441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01457742,0.004523342,0.936541,0.01032439,0.0002185143,0.00008408126,0.000526797,0.0005448461,0.03265953],"genre_scores_gemma":[0.4656041,0.005197458,0.5125871,0.002238855,0.0007591344,0.0005089678,0.0009022694,0.0001874442,0.01201468],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006742198,"threshold_uncertainty_score":0.03636819,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4280605585","doi":"10.1017/s1471068422000102","title":"Fifty Years of Prolog and Beyond","year":2022,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"Fundação para a Ciência e a Tecnologia; NOVA Laboratory for Computer Science and Informatics; Natural Sciences and Engineering Research Council of Canada; Ministerio de Ciencia e Innovación","keywords":"Prolog; Computer science; Programming language; Implementation; Software portability; Logic programming; Datalog; Software engineering","authors":[{"name":"Philipp Körner","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"João Barbosa","is_ca":false},{"name":"Vı́tor Santos Costa","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"José F. Morales","is_ca":false},{"name":"Jan Wielemaker","is_ca":false},{"name":"Daniel Díaz","is_ca":false},{"name":"Salvador Abreu","is_ca":false},{"name":"Giovanni Ciatto","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02326956094968936,"gpt":0.278226877541892,"spread":0.2549573165922027,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007790397,0.0004556309,0.0003577058,0.00177095,0.001527393,0.005572701,0.0007458235,0.001128596,0.005477568],"category_scores_gemma":[0.01129616,0.0004157943,0.0004380711,0.001846239,0.007790131,0.008479998,0.002945967,0.004365487,0.001775088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00330183,"about_ca_system_score_gemma":0.002365522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003159819,"about_ca_topic_score_gemma":0.001584595,"domain_scores_codex":[0.9950329,0.002629942,0.0002979122,0.0005579403,0.001186577,0.0002947456],"domain_scores_gemma":[0.9902111,0.005408723,0.0004708362,0.001230009,0.002190409,0.0004889558],"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.00008049486,0.00003016117,0.000582664,0.000284791,0.00001513259,0.0001035056,0.001854281,0.001030288,0.0005200037,0.8380015,0.02162804,0.1358692],"study_design_scores_gemma":[0.00001113135,0.0000493769,0.0006048117,0.0008857853,0.00001005179,0.0002039776,0.0007500662,0.001902868,0.0007976341,0.1880619,0.8066899,0.00003244138],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"other","genre_gemma":"review","genre_scores_codex":[0.04355383,0.1968633,0.2580777,0.1370512,0.009660791,0.0001748523,0.0007603548,0.001594349,0.3522637],"genre_scores_gemma":[0.5646145,0.1509296,0.1606795,0.03062416,0.007564734,0.0002545182,0.0009978142,0.002014993,0.08232009],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.007790397,"threshold_uncertainty_score":0.0412001,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2170245713","doi":"10.1017/s1471068414000015","title":"aspeed: Solver scheduling via answer set programming","year":2014,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Deutsche Forschungsgemeinschaft","keywords":"Computer science; Answer set programming; Solver; Constraint programming; Benchmarking; Boolean satisfiability problem; Scheduling (production processes); Set (abstract data type); Computation; Satisfiability; Theoretical computer science; Simple (philosophy); Mathematical optimization; Programming language","authors":[{"name":"Holger H. Hoos","is_ca":true},{"name":"Roland Kaminski","is_ca":false},{"name":"Marius Lindauer","is_ca":false},{"name":"Torsten Schaub","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02471089799935112,"gpt":0.2937271739713797,"spread":0.2690162759720285,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002592251,0.001046806,0.0006540097,0.001194503,0.0006784713,0.002228444,0.001983339,0.001001743,0.012864],"category_scores_gemma":[0.01010334,0.000526365,0.001255302,0.001388906,0.001072675,0.002328342,0.001972693,0.002534065,0.00228916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001129045,"about_ca_system_score_gemma":0.002216562,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00205737,"about_ca_topic_score_gemma":0.00253022,"domain_scores_codex":[0.997044,0.001192654,0.0002169723,0.0004046914,0.0008701091,0.000271613],"domain_scores_gemma":[0.9949891,0.00310345,0.0002471149,0.0008190283,0.0006788992,0.0001624517],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004736657,0.000461188,0.001324256,0.0005969802,0.0000836303,0.000259068,0.0002590543,0.3798607,0.008159076,0.2268149,0.03159198,0.3501154],"study_design_scores_gemma":[0.00009046087,0.00009176632,0.0001164887,0.00005010582,0.00002576571,0.00005285823,0.00004942554,0.8433764,0.009534929,0.133994,0.01259867,0.00001921147],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01367623,0.0001621542,0.9672355,0.0007084105,0.0002030662,0.0002378556,0.0008287475,0.006508051,0.01043995],"genre_scores_gemma":[0.1833254,0.000199021,0.8086811,0.0003994636,0.0001117229,0.0004011177,0.002016847,0.001228451,0.003637031],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.012864,"threshold_uncertainty_score":0.04303437,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3012364298","doi":"10.1017/s1471068420000046","title":"Train Scheduling with Hybrid Answer Set Programming","year":2020,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Answer set programming; Scheduling (production processes); Heuristics; Preprocessor; Job shop scheduling; Mathematical optimization; Distributed computing; Set (abstract data type); Routing (electronic design automation); Artificial intelligence; Programming language; Embedded system; Operating system; Mathematics","authors":[{"name":"Dirk Abels","is_ca":false},{"name":"Julian Jordi","is_ca":false},{"name":"Max Ostrowski","is_ca":false},{"name":"Torsten Schaub","is_ca":true},{"name":"Ambra Toletti","is_ca":false},{"name":"Philipp Wanko","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03509764070194063,"gpt":0.2860400346852408,"spread":0.2509423939833002,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001917627,0.0008877192,0.0007523614,0.001049734,0.0005033807,0.001937863,0.001980276,0.00119346,0.005566442],"category_scores_gemma":[0.005408613,0.0004416929,0.00125762,0.001318628,0.001068055,0.001708974,0.001878096,0.00217181,0.0008212411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001117061,"about_ca_system_score_gemma":0.001578507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003699796,"about_ca_topic_score_gemma":0.004733446,"domain_scores_codex":[0.9981835,0.0008326517,0.0000823973,0.0002528051,0.0004527329,0.0001958208],"domain_scores_gemma":[0.997152,0.001942731,0.0001328007,0.0003421144,0.0003304619,0.00009992384],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002899582,0.0003561166,0.0006923795,0.0001759106,0.00008939303,0.000130826,0.0001623878,0.8102775,0.003382445,0.07666377,0.00613457,0.1016448],"study_design_scores_gemma":[0.00004496808,0.00003886548,0.00006625069,0.00001196272,0.00001223165,0.00001751515,0.00003347162,0.9489143,0.001285586,0.04679372,0.002773982,0.000007052992],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02283129,0.0001398948,0.9672596,0.0006574962,0.00006830697,0.0001356207,0.0003146775,0.002363385,0.006229773],"genre_scores_gemma":[0.2993673,0.0001217178,0.6954853,0.0004813634,0.00006128575,0.0002369898,0.0008092258,0.0002983393,0.003138577],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005566442,"threshold_uncertainty_score":0.01862162,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2175707891","doi":"10.1017/s1471068401001193","title":"High-level networking with mobile code and first order AND-continuations","year":2001,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Mobile Agent-Based Network Management","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Code (set theory); Programming language; Scheme (mathematics); Unification; Hierarchy; Server; Set (abstract data type); Redundant code; Code generation; Operating system","authors":[{"name":"Paul Tarau","is_ca":false},{"name":"Verónica Dahl","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02759578243579439,"gpt":0.2700335425156901,"spread":0.2424377600798957,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001063914,0.0004639483,0.0003698808,0.0006798044,0.001593804,0.002980853,0.001403242,0.001030244,0.003049381],"category_scores_gemma":[0.002473299,0.0004396132,0.0005930249,0.0005813199,0.003937699,0.004703807,0.002524346,0.002161196,0.0007839067],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001375363,"about_ca_system_score_gemma":0.001057938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001494096,"about_ca_topic_score_gemma":0.001846201,"domain_scores_codex":[0.9992843,0.000198143,0.00005065657,0.0001156123,0.0002420964,0.0001092234],"domain_scores_gemma":[0.9990321,0.0003282949,0.0001233467,0.000313404,0.00009597834,0.0001068608],"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.00003731063,0.00002025279,0.0002349661,0.00003900619,0.000006644684,0.0001286624,0.0004556949,0.009833309,0.003008912,0.9646543,0.0007761895,0.0208048],"study_design_scores_gemma":[0.00004638891,0.00007953531,0.0001556032,0.00007748791,0.00002559787,0.000342058,0.0001376763,0.1454753,0.01124299,0.7833302,0.05904173,0.00004544778],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02108429,0.0004979549,0.9643691,0.0006094808,0.0001014172,0.00005314244,0.00002312028,0.001341078,0.01192042],"genre_scores_gemma":[0.4369818,0.0008324661,0.5431114,0.0003058836,0.0001465794,0.0003020616,0.00007550723,0.0003071479,0.01793719],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003049381,"threshold_uncertainty_score":0.01020116,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2002154970","doi":"10.1017/s1471068410000281","title":"A program-level approach to revising logic programs under the answer set semantics","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Simon Fraser University","funders":"","keywords":"Stable model semantics; Set (abstract data type); Answer set programming; Computer science; Logic program; Analogy; Semantics (computer science); Circumscription; Logic programming; Discrete mathematics; Belief revision; Preference; Programming language; Theoretical computer science; Algorithm; Artificial intelligence; Mathematics; Operational semantics; Epistemology; Philosophy","authors":[{"name":"James P. Delgrande","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06849882632326876,"gpt":0.3296679072681382,"spread":0.2611690809448695,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00480348,0.0004810065,0.0006728467,0.001585577,0.0009626546,0.004258991,0.002335903,0.001245931,0.004138493],"category_scores_gemma":[0.008819259,0.000519192,0.001705225,0.000967531,0.003463842,0.005037966,0.002752037,0.003225233,0.0005125052],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002098621,"about_ca_system_score_gemma":0.001625528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002384804,"about_ca_topic_score_gemma":0.002107355,"domain_scores_codex":[0.995739,0.001661693,0.0002990636,0.0005659199,0.001344295,0.0003901367],"domain_scores_gemma":[0.9946637,0.002351908,0.000348255,0.001051513,0.001384653,0.000199857],"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.00007644248,0.0001039623,0.0005318735,0.0001449987,0.00004274055,0.0002092199,0.001148444,0.02281742,0.0062663,0.9112102,0.001155072,0.05629344],"study_design_scores_gemma":[0.00004440746,0.0001185445,0.0002527399,0.00006696589,0.00008867201,0.0001630968,0.0002219128,0.1901851,0.009543041,0.7810897,0.01817659,0.00004919669],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01037511,0.0001247781,0.9827915,0.0005937748,0.00004615,0.0001294892,0.0000613099,0.0006241752,0.005253735],"genre_scores_gemma":[0.3376138,0.0002275126,0.653991,0.0005477861,0.0002459937,0.0003555244,0.00022583,0.0002910598,0.006501524],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00480348,"threshold_uncertainty_score":0.0254035,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2120811814","doi":"10.1017/s1471068409990056","title":"Characterizations of stable model semantics for logic programs with arbitrary constraint atoms","year":2009,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Constraint (computer-aided design); Stable model semantics; Constraint logic programming; Computer science; Semantics (computer science); Atom (system on chip); Representation (politics); Theoretical computer science; Programming language; Discrete mathematics; Constraint satisfaction; Mathematics; Operational semantics; Artificial intelligence","authors":[{"name":"Yi-Dong Shen","is_ca":false},{"name":"Jia-Huai You","is_ca":true},{"name":"Li-Yan Yuan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0320336723505918,"gpt":0.2855219591597016,"spread":0.2534882868091098,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003323661,0.0008527719,0.001093977,0.002777722,0.0009980871,0.004020952,0.002537976,0.001815636,0.003557398],"category_scores_gemma":[0.01148786,0.000758188,0.002288138,0.001932503,0.003428383,0.009574919,0.002871406,0.002702343,0.0005280318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002487586,"about_ca_system_score_gemma":0.00173457,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002454406,"about_ca_topic_score_gemma":0.002189285,"domain_scores_codex":[0.9953328,0.0009478398,0.0003860295,0.0008441025,0.00202068,0.000468632],"domain_scores_gemma":[0.9923854,0.003344237,0.0009516723,0.001195718,0.001796281,0.0003267233],"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.00008151628,0.00008732285,0.0008419469,0.00009363658,0.00005741833,0.0002116473,0.0006164992,0.02184407,0.004446014,0.9593706,0.0006928773,0.01165641],"study_design_scores_gemma":[0.00004369568,0.00005985937,0.0002061989,0.00003527593,0.00004005819,0.0000958837,0.0001496582,0.1830658,0.004369422,0.8087998,0.00310483,0.00002953756],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08204917,0.0002205027,0.9110131,0.0006612869,0.00003852053,0.0001557327,0.0004186936,0.0008460865,0.004596995],"genre_scores_gemma":[0.7922878,0.0002731608,0.202001,0.0003685903,0.0001085001,0.0005347493,0.001264551,0.0003983166,0.002763229],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004020952,"threshold_uncertainty_score":0.01804876,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2110717496","doi":"10.1017/s1471068410000268","title":"Loop formulas for description logic programs","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Answer set programming; Computer science; Stable model semantics; Logic programming; Formalism (music); Semantics (computer science); Theoretical computer science; Description logic; Set (abstract data type); Property (philosophy); Programming language; Classical logic; Algebra over a field; Operational semantics; Mathematics; Pure mathematics","authors":[{"name":"Yisong Wang","is_ca":true},{"name":"Jia-Huai You","is_ca":true},{"name":"Li Yan Yuan","is_ca":true},{"name":"Yi-Dong Shen","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04084231505699853,"gpt":0.305537181138046,"spread":0.2646948660810474,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003896501,0.0006669518,0.0007404545,0.002188975,0.001056,0.003986736,0.001438817,0.001379204,0.004870032],"category_scores_gemma":[0.01449613,0.0005262172,0.001613511,0.001442845,0.004867505,0.008253043,0.003703811,0.003317262,0.0005016422],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002932349,"about_ca_system_score_gemma":0.001785951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003658489,"about_ca_topic_score_gemma":0.002191947,"domain_scores_codex":[0.9952109,0.001667646,0.0003556245,0.0006797199,0.001595948,0.0004901394],"domain_scores_gemma":[0.9896219,0.006423298,0.0005652858,0.0008581668,0.002123914,0.0004073154],"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.00002721887,0.00002566691,0.0002384889,0.00005038903,0.000008770056,0.00007583727,0.0003512457,0.003305519,0.0003763543,0.9878848,0.0006958612,0.0069598],"study_design_scores_gemma":[0.00002805194,0.00001627953,0.00006263023,0.00002887635,0.0000141602,0.00004219042,0.00008429112,0.04274699,0.001014241,0.9506028,0.005346107,0.00001331736],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.056029,0.0006398982,0.9155968,0.002364027,0.0001393341,0.0002285001,0.0006171387,0.001667946,0.02271734],"genre_scores_gemma":[0.7733301,0.0005563164,0.2172063,0.0009451765,0.0002195101,0.0005711138,0.001286831,0.0003175733,0.005567132],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004870032,"threshold_uncertainty_score":0.02127582,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2408791408","doi":"10.1017/s147106841600017x","title":"Consistency and trust in peer data exchange systems","year":2016,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Carleton University","funders":"Comisión Nacional de Investigación Científica y Tecnológica; Natural Sciences and Engineering Research Council of Canada","keywords":"Data integrity; Data exchange; Semantics (computer science); Consistency (knowledge bases); SQL; Data consistency; Null (SQL); Invariant (physics); Operational semantics","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.07054837066759287,"gpt":0.3145633066913243,"spread":0.2440149360237314,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01118237,0.0004907757,0.001158156,0.00151829,0.002176748,0.006344435,0.002916515,0.002549524,0.002092816],"category_scores_gemma":[0.03937884,0.0007231999,0.001162208,0.001708176,0.005624109,0.01347111,0.005546902,0.002594854,0.0003438475],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002636627,"about_ca_system_score_gemma":0.002804456,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003076209,"about_ca_topic_score_gemma":0.0009877929,"domain_scores_codex":[0.9831833,0.006533741,0.001689684,0.001903259,0.005713847,0.0009761652],"domain_scores_gemma":[0.9691835,0.01654705,0.003064835,0.005562554,0.004776695,0.0008653069],"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.0000981253,0.0000480585,0.001266726,0.0001065792,0.00005650371,0.0003859987,0.001267099,0.03710439,0.001103221,0.9453816,0.0007733843,0.01240842],"study_design_scores_gemma":[0.00005200677,0.00005190485,0.0001933713,0.00004141093,0.00004131067,0.0002389279,0.0004094207,0.1136475,0.001897005,0.8765811,0.006811579,0.00003458937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07188183,0.0005942035,0.9180576,0.002165723,0.00008539383,0.0001528301,0.0001135909,0.0003513328,0.006597528],"genre_scores_gemma":[0.8727453,0.0003973274,0.1231751,0.0002292939,0.0001248375,0.0001969953,0.000184596,0.00009452676,0.002852036],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01118237,"threshold_uncertainty_score":0.05913872,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2193302029","doi":"10.1017/s1471068402001540","title":"The witness properties and the semantics of the Prolog cut","year":2002,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Western University","funders":"","keywords":"Prolog; Computer science; Logic programming; Programming language; Semantics (computer science); Negation; Generalization; Horn clause; Well-founded semantics; Context (archaeology); Witness; Consistency (knowledge bases); Stable model semantics; Theoretical computer science; Operational semantics; Mathematics; Artificial intelligence; Denotational semantics","authors":[{"name":"James H. Andrews","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03591203920956548,"gpt":0.2516279599677328,"spread":0.2157159207581673,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003491102,0.0004173176,0.0004938553,0.0009289529,0.001472668,0.00539577,0.001359201,0.001543521,0.004219513],"category_scores_gemma":[0.007408629,0.0008017267,0.001109256,0.0009431806,0.007654533,0.009027882,0.003464872,0.004243209,0.0007495129],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001485867,"about_ca_system_score_gemma":0.001467777,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001456205,"about_ca_topic_score_gemma":0.0009486037,"domain_scores_codex":[0.9968221,0.001256579,0.0002269313,0.0004875021,0.0008378099,0.0003691026],"domain_scores_gemma":[0.9964404,0.001852119,0.0002986378,0.0007620564,0.0004743262,0.0001725297],"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.00003001384,0.000009787327,0.00008852995,0.00004976007,0.000005181929,0.00007556706,0.00055239,0.001178095,0.0006949219,0.9912361,0.0004733253,0.00560626],"study_design_scores_gemma":[0.00003403908,0.00004098776,0.0001021733,0.00004568914,0.00001778485,0.0001571584,0.0002627031,0.01068139,0.002251624,0.9689178,0.01746777,0.000020772],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02883697,0.0004996674,0.9347609,0.00265872,0.0001631357,0.0001500603,0.0002330449,0.001044235,0.03165333],"genre_scores_gemma":[0.6540616,0.0005681959,0.33555,0.0009742174,0.000191596,0.0003293108,0.0003543903,0.0005192942,0.00745143],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00539577,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2152906186","doi":"10.1017/s147106840500236x","title":"A CHR-based implementation of known arc-consistency","year":2005,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"European Commission; Canadian Patient Safety Institute","keywords":"Local consistency; Computer science; Constraint satisfaction problem; Constraint satisfaction; Constraint logic programming; Constraint (computer-aided design); Consistency (knowledge bases); Constraint programming; Solver; Extension (predicate logic); Domain (mathematical analysis); Obsolescence; Programming language; Theoretical computer science; Process (computing); Mathematical optimization; Artificial intelligence; Mathematics","authors":[{"name":"Marco Alberti","is_ca":false},{"name":"Marco Gavanelli","is_ca":false},{"name":"Evelina Lamma","is_ca":false},{"name":"Paola Mello","is_ca":false},{"name":"Michela Milano","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02296435859975818,"gpt":0.3225588025497875,"spread":0.2995944439500293,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004033139,0.000780825,0.0008339878,0.001248766,0.0008985295,0.003389816,0.00614076,0.002501171,0.02645001],"category_scores_gemma":[0.00848189,0.001021454,0.002003981,0.001402142,0.001955126,0.003888604,0.002642388,0.003320195,0.00662883],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056866,"about_ca_system_score_gemma":0.002760584,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004049521,"about_ca_topic_score_gemma":0.003329296,"domain_scores_codex":[0.9965108,0.0008100547,0.000372135,0.0007702424,0.001111593,0.0004251849],"domain_scores_gemma":[0.9948767,0.002307978,0.0003025849,0.001419029,0.000943503,0.0001503744],"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.001297208,0.0006410976,0.002085045,0.001838576,0.0002941344,0.001626709,0.001427011,0.06978063,0.05712166,0.5624032,0.04239056,0.2590942],"study_design_scores_gemma":[0.000781667,0.0005273081,0.0007068568,0.0002468558,0.0002801861,0.001555445,0.0003054084,0.5804809,0.1196966,0.1200602,0.1750158,0.0003428561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00472635,0.00008525184,0.9561587,0.0003065473,0.0001689318,0.0002654406,0.0007292522,0.03058797,0.006971437],"genre_scores_gemma":[0.1185087,0.0001874385,0.8630692,0.0005538165,0.00009280384,0.0005180197,0.002143556,0.004088731,0.01083772],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02645001,"threshold_uncertainty_score":0.08848411,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2963390246","doi":"10.1017/s1471068417000291","title":"Well-founded operators for normal hybrid MKNF knowledge bases","year":2017,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science; DPLL algorithm; Operator (biology); Knowledge base; Solver; Knowledge representation and reasoning; Theoretical computer science; Constraint (computer-aided design); Realization (probability); Algorithm; Artificial intelligence; Programming language; Mathematics","authors":[{"name":"Jianmin Ji","is_ca":false},{"name":"Fangfang Liu","is_ca":false},{"name":"Jia-Huai You","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03538053620335877,"gpt":0.3295888816316333,"spread":0.2942083454282745,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00496153,0.0006391665,0.0006564598,0.003025744,0.001070669,0.003387466,0.002229802,0.001355407,0.003845003],"category_scores_gemma":[0.01307344,0.0006174445,0.00174921,0.00172377,0.003883272,0.006795774,0.003761059,0.003139923,0.0006780008],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002271156,"about_ca_system_score_gemma":0.001697606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004239284,"about_ca_topic_score_gemma":0.005461502,"domain_scores_codex":[0.9951939,0.001073552,0.0005403416,0.0008682982,0.00188756,0.0004363799],"domain_scores_gemma":[0.9905359,0.005680286,0.0006684544,0.001040377,0.001763923,0.0003110268],"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.0001034492,0.00009322877,0.0006217175,0.0001962173,0.0000551712,0.0003478272,0.0009938703,0.05471062,0.005736082,0.8727477,0.001597159,0.06279709],"study_design_scores_gemma":[0.00003028087,0.00003943638,0.0001359492,0.000100806,0.00004550655,0.0001355379,0.0002322642,0.2437629,0.007333445,0.739996,0.008148956,0.00003910084],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0209794,0.000110751,0.9738064,0.0003452553,0.00003420201,0.0001142235,0.000231396,0.0005748304,0.00380357],"genre_scores_gemma":[0.3290962,0.0001704069,0.6666196,0.0002720879,0.00006889198,0.0002272717,0.0006369508,0.0001534017,0.002755183],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00496153,"threshold_uncertainty_score":0.0262394,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1980229219","doi":"10.1017/s1471068403001698","title":"Polymorphic lemmas and definitions in $\\lambda$Prolog and Twelf","year":2004,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Ottawa","funders":"","keywords":"Prolog; Computer science; Metalanguage; Programming language; ENCODE; Object (grammar); Inference; Logic programming; Logic program; Description logic; Encoding (memory); Theoretical computer science; Artificial intelligence","authors":[{"name":"Andrew W. Appel","is_ca":false},{"name":"Amy Felty","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04689005546835771,"gpt":0.2824642193132949,"spread":0.2355741638449372,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002033643,0.0004601175,0.0004577218,0.001492121,0.00157995,0.004239324,0.00145035,0.000990264,0.005153259],"category_scores_gemma":[0.00436856,0.0008266337,0.000745944,0.002130084,0.004984405,0.00541364,0.00228606,0.00313442,0.002031784],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001561895,"about_ca_system_score_gemma":0.00140907,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004456818,"about_ca_topic_score_gemma":0.00422276,"domain_scores_codex":[0.9978577,0.0007598967,0.0001957741,0.0002981192,0.0005347026,0.0003537685],"domain_scores_gemma":[0.9984267,0.0006670834,0.000269614,0.0003232373,0.0002475828,0.00006588807],"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.00004267111,0.00001308444,0.0001750141,0.00008968313,0.000007143671,0.00009719789,0.000612516,0.0007905073,0.0008348469,0.9705832,0.003900126,0.02285399],"study_design_scores_gemma":[0.00004159764,0.00004578469,0.0004499055,0.0001515472,0.00003554783,0.0005915653,0.000447022,0.006535908,0.007260562,0.6203124,0.3640591,0.00006908438],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01187106,0.001247052,0.9348403,0.002084903,0.0004543249,0.0001219596,0.0005281958,0.001827997,0.04702418],"genre_scores_gemma":[0.2531156,0.001958179,0.7142563,0.002001284,0.000302839,0.0005353819,0.0008380039,0.001241093,0.02575126],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005153259,"threshold_uncertainty_score":0.01723939,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2143269622","doi":"10.1017/s1471068404002285","title":"Integrating design synthesis and assembly of structured objects in a visual design language","year":2005,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Design Education and Practice","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Dalhousie University","funders":"","keywords":"Computer science; Programming language; Visual programming language; Design language; Fifth-generation programming language; Programmer; Programming paradigm; Logic programming; Procedural programming; Functional logic programming; Inductive programming","authors":[{"name":"Omid Banyasad","is_ca":true},{"name":"Philip T. Cox","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02443424095857679,"gpt":0.3142253968630848,"spread":0.289791155904508,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002660412,0.0007560801,0.0004589116,0.0007521111,0.0006963411,0.002372823,0.001513469,0.001067476,0.002995213],"category_scores_gemma":[0.003899487,0.0006384889,0.001068883,0.0005754887,0.003474639,0.003443094,0.001915551,0.001394844,0.0007669495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001106146,"about_ca_system_score_gemma":0.001697887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001395952,"about_ca_topic_score_gemma":0.001672206,"domain_scores_codex":[0.9985024,0.0005602914,0.0001163231,0.0002635165,0.0004593747,0.00009822252],"domain_scores_gemma":[0.9980909,0.001172301,0.0001484858,0.0003771226,0.0001477614,0.00006336777],"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.0001155908,0.0001136426,0.0005579161,0.0006093134,0.00004116658,0.000383374,0.002535093,0.104731,0.03945678,0.7031522,0.001384284,0.1469195],"study_design_scores_gemma":[0.0001494248,0.0004846384,0.0002795389,0.0002463245,0.00009064964,0.000581209,0.0007417057,0.2984221,0.07522099,0.5154246,0.1082769,0.00008184656],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003376211,0.0000617728,0.9930281,0.00009860079,0.000009766934,0.00004118737,0.000009465039,0.0003639313,0.003011],"genre_scores_gemma":[0.06613045,0.0001868776,0.9302091,0.00008196439,0.00001159864,0.0001187171,0.00006098231,0.0001601359,0.003040123],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002995213,"threshold_uncertainty_score":0.01406974,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2105946993","doi":"10.1017/s1471068411000391","title":"Coding guidelines for Prolog","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Prolog; Debugging; Programming language; Coding (social sciences); Normative; Documentation; Software engineering","authors":[{"name":"Michael A. Covington","is_ca":true},{"name":"Roberto Bagnara","is_ca":false},{"name":"Richard O’Keefe","is_ca":false},{"name":"Jan Wielemaker","is_ca":false},{"name":"Simon Price","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.1463430220138174,"gpt":0.3549441782571504,"spread":0.208601156243333,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.04487974,0.001049004,0.000698921,0.008749432,0.003762978,0.006651227,0.002634088,0.001579659,0.01621908],"category_scores_gemma":[0.1949583,0.001384878,0.0008545003,0.009607841,0.004046961,0.004718813,0.004744891,0.005676776,0.0101997],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00486975,"about_ca_system_score_gemma":0.009650217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004447446,"about_ca_topic_score_gemma":0.004025565,"domain_scores_codex":[0.9147418,0.05742988,0.01532163,0.002003928,0.009225476,0.001277289],"domain_scores_gemma":[0.7557431,0.1123166,0.01718539,0.03171982,0.08124334,0.001791663],"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.0002838357,0.0001211148,0.001770696,0.001819256,0.00002434979,0.0005507679,0.0158182,0.003458963,0.002916057,0.5233384,0.2052326,0.2446657],"study_design_scores_gemma":[0.00008855026,0.0001063731,0.001087349,0.002633671,0.00001738827,0.0006228748,0.005674799,0.008091588,0.004368471,0.19769,0.77951,0.0001088712],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005910505,0.0004355666,0.9367974,0.007478342,0.001508401,0.005020461,0.007304076,0.004185415,0.0313598],"genre_scores_gemma":[0.02897254,0.0005341973,0.9438331,0.001438816,0.0001914889,0.009755199,0.004691272,0.002592386,0.007991059],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.04487974,"threshold_uncertainty_score":0.2373496,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2964029271","doi":"10.1017/s147106841100038x","title":"Relating weight constraint and aggregate programs: Semantics and representation","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Stable model semantics; Well-founded semantics; Semantics (computer science); Computer science; Constraint (computer-aided design); Operational semantics; Programming language; Representation (politics); Set (abstract data type); Theoretical computer science; Logic programming; Aggregate (composite); Denotational semantics; Mathematics","authors":[{"name":"Guohua Liu","is_ca":true},{"name":"Jia-Huai You","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04945355396791649,"gpt":0.2932697694423416,"spread":0.2438162154744251,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002452279,0.0005315148,0.0004616153,0.001732679,0.000678797,0.003491768,0.00162688,0.001226966,0.00418166],"category_scores_gemma":[0.01073329,0.0004101074,0.001155636,0.002307869,0.003183403,0.006030649,0.002728118,0.002031195,0.000367509],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001367579,"about_ca_system_score_gemma":0.001434432,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003094704,"about_ca_topic_score_gemma":0.001628762,"domain_scores_codex":[0.9961145,0.001248332,0.0002632756,0.0005772602,0.001478007,0.0003185612],"domain_scores_gemma":[0.9933364,0.003813725,0.0007129034,0.0007713991,0.001203763,0.0001618256],"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.00011744,0.0001104254,0.001122669,0.0001479366,0.00004050294,0.0002364214,0.00100118,0.03005807,0.005920813,0.9219776,0.001430344,0.03783662],"study_design_scores_gemma":[0.00002529803,0.00005643094,0.0003076877,0.00005066437,0.00004187489,0.0001231124,0.0002207735,0.2275078,0.008766295,0.7566643,0.006208194,0.00002746654],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04977437,0.0000967825,0.9429582,0.000714663,0.00003410253,0.00009410444,0.0002241926,0.0009991915,0.005104381],"genre_scores_gemma":[0.6788335,0.0002472682,0.3144082,0.0004847428,0.00009410388,0.0003024933,0.000674238,0.0004593394,0.004496052],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00418166,"threshold_uncertainty_score":0.01398903,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2170782811","doi":"10.1017/s1471068413000112","title":"Editorial: 29th International Conference on Logic Programming special issue","year":2013,"lang":"en","type":"editorial","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Universität Ulm; Università degli Studi di Udine; Università degli Studi di Ferrara; German University in Cairo; Università di Bologna; Universiteit Gent; Universität Potsdam; Università della Calabria; Ben-Gurion University of the Negev; KU Leuven; Universidad Complutense de Madrid; Universität Leipzig; Imperial College London; Università degli Studi di Parma; University of Alberta; Universiteit van Amsterdam; National University of Singapore; Universidade do Porto; University of Cambridge; Institut national de recherche en informatique et en automatique (INRIA); Simon Fraser University; Arizona State University; Texas Tech University","keywords":"Computer science; Publication; Library science; Logic programming; Engineering ethics; Programming language; Political science; Law","authors":[{"name":"Evelina Lamma","is_ca":false},{"name":"Terrance Swift","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02509858821790251,"gpt":0.3188915131612344,"spread":0.2937929249433319,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005940146,0.002755882,0.002548083,0.005013899,0.003252951,0.01057252,0.002905847,0.008328903,0.04323915],"category_scores_gemma":[0.01708667,0.0007290193,0.002707426,0.002144295,0.00231008,0.004788895,0.001625862,0.01218113,0.02638515],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006233468,"about_ca_system_score_gemma":0.006807081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00217924,"about_ca_topic_score_gemma":0.00535454,"domain_scores_codex":[0.994323,0.00069423,0.0005700022,0.0007214383,0.003239331,0.0004519197],"domain_scores_gemma":[0.9821423,0.003334155,0.0007880174,0.0004753749,0.01068128,0.002578838],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001420998,0.000009996136,0.00002060355,0.00008915894,0.00000790617,0.00005319305,0.000006457777,0.00003061158,0.00003745291,0.0006884944,0.9941071,0.004934834],"study_design_scores_gemma":[0.00001923449,0.000009512484,0.0001313024,0.0002182289,0.00001969663,0.0001311418,0.00001800769,0.0001245554,0.00008626096,0.001805791,0.9974274,0.000008943553],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"editorial","genre_gemma":"editorial","genre_scores_codex":[0.00004136184,0.003669524,0.0003822295,0.03821588,0.9508106,0.00003291131,0.00009959941,0.00009536218,0.0066526],"genre_scores_gemma":[0.0008572074,0.005670495,0.0005126665,0.01696833,0.9306289,0.0000558189,0.0001455695,0.0001957232,0.04496529],"genre_candidate":"editorial","genre_consensus":"editorial","teacher_disagreement_score":0.04323915,"threshold_uncertainty_score":0.1446493,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2997463312","doi":"10.1017/s1471068421000089","title":"Exploring the Jungle of Intuitionistic Temporal Logics","year":2021,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"The Scarborough Hospital; University of Toronto","funders":"Social Sciences and Humanities Research Council of Canada","keywords":"Computer science; Soundness; Kripke semantics; Intuitionistic logic; Linear logic; Axiom; Interpretation (philosophy); Class (philosophy); Type theory; Theoretical computer science; Artificial intelligence; Intermediate logic; Mathematics; Description logic; Type (biology); Programming language","authors":[{"name":"Joseph Boudou","is_ca":false},{"name":"Martín Diéguez","is_ca":false},{"name":"David Fernández–Duque","is_ca":false},{"name":"Philip Kremer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09011873064827158,"gpt":0.3032837098513963,"spread":0.2131649792031247,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005181522,0.0005176875,0.0004729034,0.001987356,0.002076851,0.006376905,0.001305809,0.001537886,0.002715683],"category_scores_gemma":[0.005028492,0.0007117711,0.001096105,0.001266347,0.01062351,0.01087463,0.004121893,0.004162795,0.0003059626],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002869611,"about_ca_system_score_gemma":0.001673949,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002563739,"about_ca_topic_score_gemma":0.002595516,"domain_scores_codex":[0.9967197,0.001620356,0.0001844556,0.0003427704,0.0008056803,0.0003270758],"domain_scores_gemma":[0.995488,0.002773802,0.0003553478,0.0004508722,0.0006049187,0.0003272176],"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.000007528601,0.000009231468,0.00006850879,0.00001635197,0.000003264378,0.00003687266,0.0002684743,0.000812883,0.0001948478,0.99684,0.0001732183,0.001568843],"study_design_scores_gemma":[0.000005688393,0.000006374795,0.00002862357,0.00001655462,0.000003130567,0.00001791685,0.0000890536,0.006838443,0.0001464071,0.9911937,0.001648835,0.000005207985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.09796761,0.004268873,0.8069733,0.01210423,0.0003947887,0.0001044721,0.000164502,0.0004152158,0.07760707],"genre_scores_gemma":[0.8557325,0.00139672,0.1383993,0.001036672,0.0002412815,0.00009138616,0.00009143428,0.0000643561,0.002946298],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006376905,"threshold_uncertainty_score":0.02740282,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2113835981","doi":"10.1017/s1471068413000355","title":"Disjunctive logic programs with existential quantification in rule heads","year":2013,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Decidability; Undecidable problem; Computer science; Stable model semantics; Existentialism; Programming language; Fragment (logic); Extension (predicate logic); Theoretical computer science; Semantics (computer science); Operational semantics; Epistemology","authors":[{"name":"Jia-Huai You","is_ca":true},{"name":"Heng Zhang","is_ca":false},{"name":"Yan Zhang","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03106231653637484,"gpt":0.2877385025871762,"spread":0.2566761860508013,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004238084,0.0005593296,0.0005741401,0.001095456,0.0008744036,0.003126187,0.001536319,0.000859796,0.00298247],"category_scores_gemma":[0.007260354,0.0005230984,0.00125522,0.001018752,0.004420821,0.00654555,0.0023988,0.002182883,0.0003065174],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002147953,"about_ca_system_score_gemma":0.00186615,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003699339,"about_ca_topic_score_gemma":0.003568528,"domain_scores_codex":[0.9975968,0.0008388922,0.0001497493,0.000428882,0.0006496195,0.0003360396],"domain_scores_gemma":[0.9945569,0.003810875,0.000394717,0.0004457608,0.0005686441,0.0002231151],"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.0001192922,0.0001076137,0.001119661,0.0001216628,0.00004071369,0.000504487,0.001066248,0.03073901,0.003964827,0.9451181,0.0007644604,0.01633385],"study_design_scores_gemma":[0.00007257291,0.00007841512,0.0002951717,0.00006275549,0.00008810297,0.0001475581,0.0003134918,0.1981095,0.009150623,0.7839704,0.007673329,0.00003811195],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1938504,0.0002622842,0.7827424,0.002124845,0.00007964658,0.0002558885,0.0003691407,0.001231084,0.01908423],"genre_scores_gemma":[0.8491761,0.0002730627,0.1445957,0.0004225976,0.00007485951,0.0001834908,0.0002931679,0.0001391322,0.004841787],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004238084,"threshold_uncertainty_score":0.02241337,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2966640145","doi":"10.1017/s1471068419000395","title":"Domain-Independent Cost-Optimal Planning in ASP","year":2019,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Planner; Job shop scheduling; Answer set programming; Motion planning","authors":[],"retraction":null,"screen_n_in":null,"score":{"opus":0.02277286717745461,"gpt":0.2990778356143491,"spread":0.2763049684368946,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00133377,0.0005137055,0.0004608872,0.0004898781,0.0005162824,0.001104999,0.0008466339,0.0005659665,0.003119902],"category_scores_gemma":[0.004584164,0.0004225451,0.0006446689,0.0006330452,0.001448429,0.001632929,0.001302233,0.001186561,0.0002599898],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001151212,"about_ca_system_score_gemma":0.001812086,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004513742,"about_ca_topic_score_gemma":0.005564574,"domain_scores_codex":[0.9987771,0.0004518721,0.00006962579,0.0001519943,0.0003880894,0.000161282],"domain_scores_gemma":[0.9971195,0.001993112,0.0001736213,0.0002904475,0.0003065827,0.0001166574],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001939711,0.000109257,0.000701952,0.0001579134,0.00003253343,0.0001363018,0.0001198881,0.858562,0.003792682,0.08046337,0.00182553,0.05390461],"study_design_scores_gemma":[0.00003479455,0.00005701766,0.000156615,0.00001466266,0.00001837905,0.00004284577,0.00005168309,0.9216357,0.004301806,0.07062664,0.003050938,0.000008930561],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08332561,0.0001963131,0.8988549,0.0006302175,0.00004562652,0.0002015709,0.0001967089,0.0009402774,0.01560883],"genre_scores_gemma":[0.6206391,0.0002345524,0.374727,0.0001116638,0.00002145566,0.0001494751,0.0002624393,0.0002006273,0.003653764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004513742,"threshold_uncertainty_score":0.01043713,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3040097605","doi":"10.1017/s1471068420000101","title":"Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation","year":2020,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Chase; Computer science; Decidability; Parameterized complexity; Hierarchy; Class (philosophy); Bounded function; Conjunctive query; Existentialism; Theoretical computer science; Programming language; Algorithm; Artificial intelligence; Database; Mathematics; Relational database","authors":[{"name":"Heng Zhang","is_ca":false},{"name":"Jia-Huai You","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05125413606843647,"gpt":0.3375370963073417,"spread":0.2862829602389052,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00568065,0.0004813427,0.0006831257,0.001622683,0.001091484,0.001261132,0.002110833,0.001050834,0.003866088],"category_scores_gemma":[0.02792116,0.0003778137,0.001068034,0.001204913,0.001812102,0.003142452,0.001958301,0.001923384,0.0006116002],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001474132,"about_ca_system_score_gemma":0.001185474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005986583,"about_ca_topic_score_gemma":0.006649495,"domain_scores_codex":[0.9942696,0.002696429,0.0003248399,0.000693741,0.001638253,0.0003770984],"domain_scores_gemma":[0.9727745,0.01973958,0.0005230558,0.003867066,0.002652184,0.000443588],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002127497,0.005883107,0.02440543,0.001722953,0.0002891295,0.001186534,0.008006987,0.3042293,0.1022043,0.141886,0.006899611,0.4011591],"study_design_scores_gemma":[0.0001528742,0.0007058785,0.003175803,0.0001087162,0.00007946096,0.0002175984,0.001032408,0.9007604,0.04749934,0.03859269,0.007607191,0.00006771637],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4597731,0.0004174077,0.5210057,0.0002636746,0.00003665187,0.0008494305,0.0005206339,0.003467964,0.01366537],"genre_scores_gemma":[0.7032385,0.0001911698,0.2929895,0.00009654737,0.00001234773,0.0002671093,0.0008720229,0.0005088974,0.001823842],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005986583,"threshold_uncertainty_score":0.03004253,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4406401421","doi":"10.1017/s147106842400036x","title":"On Lower Bounding Minimal Model Count","year":2024,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Machine Learning and Data Classification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Ministry of Education, India; National Supercomputing Centre Singapore; University of Toronto; National Research Foundation Singapore; National Research Foundation","keywords":"Computer science; Bounding overwatch; Count data; Statistics; Artificial intelligence; Mathematics; Poisson distribution","authors":[{"name":"Mohimenul Kabir","is_ca":false},{"name":"Kuldeep S. Meel","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0330155996511509,"gpt":0.3339099828072208,"spread":0.3008943831560699,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008375102,0.001715469,0.003112575,0.005217937,0.002111737,0.006819561,0.005571343,0.002259994,0.008991392],"category_scores_gemma":[0.08993904,0.001408297,0.00309787,0.004652643,0.003446551,0.01442072,0.008018382,0.005411328,0.001844051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003674722,"about_ca_system_score_gemma":0.004419992,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003520973,"about_ca_topic_score_gemma":0.005346392,"domain_scores_codex":[0.9818617,0.005553757,0.0008451371,0.00302314,0.007312406,0.001403972],"domain_scores_gemma":[0.9010693,0.07545598,0.004332375,0.01195618,0.005263562,0.001922421],"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.00123389,0.0004823232,0.0142181,0.002037499,0.0004131791,0.0004133137,0.001286039,0.1958514,0.01004169,0.3960932,0.02431021,0.3536192],"study_design_scores_gemma":[0.00003820629,0.00007735893,0.0005880526,0.0001603252,0.00008946091,0.0002232822,0.0001483971,0.6513817,0.005782528,0.3367367,0.004729019,0.00004500496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.049205,0.002177834,0.9338766,0.002388305,0.0001967936,0.00018818,0.001287137,0.005148728,0.005531413],"genre_scores_gemma":[0.4429738,0.0009223169,0.5471428,0.0008747673,0.0003367456,0.0003548148,0.002270768,0.001647739,0.003476256],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008991392,"threshold_uncertainty_score":0.04429233,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4205994671","doi":"10.1017/s147106841000013x","title":"TLP volume 10 issue 3 Cover and Front matter","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Political Systems and Governance","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Cover (algebra); Front (military); Action (physics); Mechanical engineering; Geology; Thermodynamics; Oceanography; Physics","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"­Abby C. King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David R. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01672153767915117,"gpt":0.3171916336613706,"spread":0.3004700959822194,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0008819128,0.0007391636,0.0006457361,0.00183449,0.001664603,0.006442432,0.0009670384,0.00306291,0.8277662],"category_scores_gemma":[0.002689946,0.0003564634,0.0007915247,0.00151109,0.001062306,0.002596923,0.002223525,0.002596853,0.7457771],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001685117,"about_ca_system_score_gemma":0.001761719,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001845855,"about_ca_topic_score_gemma":0.002817353,"domain_scores_codex":[0.9993228,0.00006274832,0.00002715191,0.0001278399,0.0003758575,0.00008369073],"domain_scores_gemma":[0.9983626,0.0002426096,0.00005216386,0.000286837,0.0006197442,0.0004361128],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003768802,0.00005931521,0.0001815394,0.0001342806,0.000004818383,0.00008470388,0.0000358974,0.00005343058,0.0006021081,0.002517415,0.923138,0.07315079],"study_design_scores_gemma":[0.000009594679,0.00001522111,0.0003652261,0.00008335482,0.000002988882,0.0001024527,0.00004723906,0.0001360613,0.0003400714,0.001021381,0.9978722,0.000004125369],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.00138675,0.001573394,0.001517364,0.01175925,0.01340154,0.00009871271,0.00158708,0.002221427,0.9664544],"genre_scores_gemma":[0.002964477,0.0006746147,0.0003932636,0.00162097,0.00199177,0.00002757244,0.0006539874,0.0004239459,0.9912493],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8277662,"threshold_uncertainty_score":0.2456706,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4238432756","doi":"10.1017/s1471068410000414","title":"TLP volume 10 issue 4-6 Cover and Front matter","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Volume (thermodynamics); Front cover; Cover (algebra); Front (military); Action (physics); Computer graphics (images); Mechanical engineering; Thermodynamics; Physics; Meteorology","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"­Abby C. King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David R. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0262135827088531,"gpt":0.2441452007527627,"spread":0.2179316180439096,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009646469,0.0007846192,0.000708206,0.002294486,0.001450561,0.007116151,0.001060082,0.002526105,0.813734],"category_scores_gemma":[0.002962956,0.0003506653,0.0008485788,0.00168559,0.0009619109,0.002976243,0.002117627,0.002460478,0.7572944],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001836249,"about_ca_system_score_gemma":0.001678327,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001912098,"about_ca_topic_score_gemma":0.002489846,"domain_scores_codex":[0.9992356,0.00007758963,0.00003505148,0.0001214247,0.0004452397,0.00008512424],"domain_scores_gemma":[0.9977709,0.0003173701,0.00006850159,0.0003969776,0.000927437,0.0005188685],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003668953,0.00006499044,0.0001807014,0.0001345877,0.000004899552,0.00006776782,0.00002586478,0.0000691817,0.0006416504,0.002404586,0.9325554,0.06381372],"study_design_scores_gemma":[0.0000124929,0.00001900376,0.0004393005,0.00009643905,0.000004001937,0.0001121534,0.00004747623,0.000192469,0.000512373,0.00150906,0.9970498,0.000005370844],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001297119,0.001469628,0.00250044,0.00958618,0.01240721,0.0001149845,0.002575282,0.003325376,0.9667237],"genre_scores_gemma":[0.003188797,0.0007885388,0.0008289473,0.00151429,0.002087763,0.00003612734,0.00137595,0.0007844705,0.9893952],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.186266,"threshold_uncertainty_score":0.2656859,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4238620831","doi":"10.1017/s1471068411000573","title":"TLP volume 11 issue 6 Cover and Front matter","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Political Systems and Governance","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Front (military); Cover (algebra); Action (physics); Content (measure theory); Mechanical engineering; Thermodynamics; Physics","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"­Abby C. King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David P. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03440374133059238,"gpt":0.3125089927081705,"spread":0.2781052513775781,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009514331,0.0007921291,0.0006929507,0.002294572,0.001785202,0.007272056,0.001014597,0.003091101,0.8530618],"category_scores_gemma":[0.002915744,0.0003961849,0.0008485169,0.001824016,0.001053054,0.002717525,0.002624028,0.002668016,0.7910873],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001815984,"about_ca_system_score_gemma":0.001811318,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001802188,"about_ca_topic_score_gemma":0.002873572,"domain_scores_codex":[0.999145,0.00007767335,0.00003447832,0.0001543295,0.0004862369,0.0001023554],"domain_scores_gemma":[0.9980458,0.0002594873,0.00006578717,0.0003573849,0.0007575051,0.000514004],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003235761,0.00005683809,0.0001627428,0.0001382639,0.000004628941,0.00007081463,0.00003349388,0.0000492804,0.0005737728,0.002286444,0.9269768,0.0696146],"study_design_scores_gemma":[0.000007826764,0.00001359236,0.00033823,0.00008855748,0.000002741694,0.00008661187,0.00004581896,0.0001070997,0.0003054325,0.0007991709,0.998201,0.000003862568],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001076602,0.001404931,0.001297374,0.009773989,0.01130567,0.00009850966,0.001837911,0.002166395,0.9710386],"genre_scores_gemma":[0.002320804,0.0006422201,0.000361755,0.001267459,0.001658126,0.00002387102,0.0007653731,0.0004159156,0.9925444],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1469382,"threshold_uncertainty_score":0.2095894,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4249993600","doi":"10.1017/s1471068410000499","title":"TLP volume 11 issue 1 Cover and Front matter","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Political Systems and Governance","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Front (military); Cover (algebra); Action (physics); Content (measure theory); Mechanical engineering; Thermodynamics; Physics","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"­Abby C. King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"D. Craig Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03507534124623912,"gpt":0.3128911798684199,"spread":0.2778158386221807,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001009734,0.0008260372,0.0007422146,0.002455547,0.001777379,0.007683418,0.001108744,0.003153491,0.8396164],"category_scores_gemma":[0.003170584,0.0004092201,0.0008471527,0.002084713,0.001086443,0.002911113,0.002769879,0.002672542,0.772172],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001898576,"about_ca_system_score_gemma":0.001942633,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001585822,"about_ca_topic_score_gemma":0.002526174,"domain_scores_codex":[0.9990767,0.0000895405,0.00003652357,0.0001686779,0.0005222754,0.0001062603],"domain_scores_gemma":[0.9978566,0.0003209217,0.00007690647,0.0003790476,0.000819483,0.0005469987],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003039622,0.0000572349,0.0001575348,0.0001543821,0.000004516426,0.00006783047,0.0000319562,0.00005229684,0.000496122,0.002264799,0.9253864,0.07129654],"study_design_scores_gemma":[0.000007498227,0.00001309773,0.000337138,0.00009729146,0.000002682315,0.00008536936,0.00004270832,0.0001027364,0.000263365,0.0008674806,0.9981767,0.000003927556],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001131058,0.001954328,0.001450877,0.01136511,0.01469582,0.0001103687,0.001987783,0.00219389,0.9651108],"genre_scores_gemma":[0.002422566,0.000877564,0.0003929845,0.001497099,0.002236832,0.0000284039,0.0008680364,0.0004644328,0.9912121],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1603836,"threshold_uncertainty_score":0.2287678,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2105801569","doi":"10.1017/s1471068402001564","title":"In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002","year":2002,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"AI-based Problem Solving and Planning","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true},"ca_institutions":"","funders":"","keywords":"Computer science; Artificial intelligence; Library science; Art history; History","authors":[{"name":"Jack Minker","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03146516822735217,"gpt":0.2808058307561522,"spread":0.2493406625288,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002104038,0.000988032,0.0009156469,0.0006951083,0.002631552,0.003939688,0.001517808,0.004757737,0.04726808],"category_scores_gemma":[0.01216208,0.0003172238,0.0006039209,0.0004070749,0.001156195,0.002718435,0.002142115,0.00917006,0.03802633],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002773574,"about_ca_system_score_gemma":0.002811234,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004595534,"about_ca_topic_score_gemma":0.01109835,"domain_scores_codex":[0.9986986,0.0001877352,0.000107997,0.0003176679,0.0005306676,0.0001573443],"domain_scores_gemma":[0.9961825,0.0007044051,0.0002393489,0.0001191644,0.001902069,0.0008525412],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001109959,0.000002614641,0.00002034802,0.00001084383,0.000001427653,0.00003593129,0.00001897736,0.000005135874,0.00001803277,0.000355259,0.9967645,0.002755738],"study_design_scores_gemma":[0.000005780717,0.000006992374,0.00007708903,0.00005233843,0.000003230576,0.00008081927,0.00005827153,0.00001508579,0.00006881509,0.0003195928,0.9993069,0.00000511595],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"commentary","genre_gemma":"other","genre_scores_codex":[0.0002040433,0.009704784,0.0003714879,0.5374814,0.4340567,0.00004041774,0.0003499462,0.0001654284,0.01762581],"genre_scores_gemma":[0.006040086,0.01190414,0.0005602602,0.2548744,0.1969635,0.00008459599,0.00052662,0.0002902553,0.5287561],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.04726808,"threshold_uncertainty_score":0.1581275,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4403810684","doi":"10.1017/s1471068424000255","title":"On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases","year":2024,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Computer science","authors":[{"name":"Riley Kinahan","is_ca":true},{"name":"Spencer Killen","is_ca":true},{"name":"Kevin Wan","is_ca":true},{"name":"Jia-Huai You","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05358612368344712,"gpt":0.3415910061733454,"spread":0.2880048824898983,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008696602,0.0006638292,0.0009492529,0.002483663,0.001883509,0.004844766,0.00422014,0.001930987,0.005497613],"category_scores_gemma":[0.03250736,0.0009958944,0.002434787,0.002580235,0.006455732,0.006643649,0.007610766,0.004532813,0.0006345221],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003183874,"about_ca_system_score_gemma":0.003161226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009514403,"about_ca_topic_score_gemma":0.009578245,"domain_scores_codex":[0.9926999,0.002898205,0.0005563436,0.0008181319,0.002372919,0.000654485],"domain_scores_gemma":[0.9758197,0.01875816,0.00095414,0.00162322,0.002342682,0.0005020297],"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.00004589966,0.00008169354,0.0004439411,0.00013739,0.00004384783,0.000160921,0.0006104182,0.07516523,0.0005656434,0.9015304,0.001006518,0.02020818],"study_design_scores_gemma":[0.00001878698,0.00001278121,0.00005130997,0.00005170111,0.00001577551,0.00003971553,0.0001159208,0.2146353,0.0005332626,0.7824397,0.002071047,0.00001472596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01532811,0.0001974284,0.9748459,0.001346544,0.00003767502,0.0001801637,0.0001790048,0.0002435301,0.007641632],"genre_scores_gemma":[0.329725,0.0003061436,0.6658415,0.0005350933,0.0001085943,0.0003987561,0.0006469587,0.0001115614,0.002326342],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009514403,"threshold_uncertainty_score":0.04599255,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4255294472","doi":"10.1017/s1471068410000049","title":"TLP volume 10 issue 2 Cover and Front matter","year":2010,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Cover (algebra); Front (military); Action (physics); Content (measure theory); Process engineering; Mechanical engineering; Thermodynamics; Physics; Mathematics","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"Andy King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David P. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kōzō Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02574515064414819,"gpt":0.243817643817196,"spread":0.2180724931730478,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0009168224,0.0008141835,0.000682062,0.002100974,0.001563449,0.006928349,0.001057881,0.002880003,0.7995151],"category_scores_gemma":[0.002746264,0.0003547774,0.0007842634,0.001538852,0.0009602934,0.002886509,0.002135657,0.002542677,0.7381491],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001639288,"about_ca_system_score_gemma":0.00168898,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001656994,"about_ca_topic_score_gemma":0.002423981,"domain_scores_codex":[0.9992641,0.00006271556,0.00002948342,0.0001366728,0.0004255235,0.00008146784],"domain_scores_gemma":[0.9980715,0.0002698696,0.00005925576,0.0003214806,0.0007934808,0.0004844076],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003867122,0.00006172063,0.0001755865,0.0001284663,0.000004929161,0.00008714628,0.00002771769,0.00005819373,0.0006393692,0.002305351,0.9265446,0.06992826],"study_design_scores_gemma":[0.000009739909,0.00001528839,0.0003612489,0.00007831586,0.000003103777,0.0001069943,0.00003785793,0.0001350656,0.0003604571,0.001016681,0.997871,0.000004207877],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001378661,0.00198308,0.002071267,0.01183341,0.01782379,0.0001165684,0.002029272,0.002848613,0.9599155],"genre_scores_gemma":[0.002773684,0.0008064437,0.0005369473,0.001719339,0.002688491,0.00003131989,0.0009127665,0.0005410821,0.9899899],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.2004849,"threshold_uncertainty_score":0.2859674,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4240466114","doi":"10.1017/s1471068411000044","title":"TLP volume 11 issue 2-3 Cover and Front matter","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Library Science and Information Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Cover (algebra); Front (military); Action (physics); Content (measure theory); Computer graphics (images); Mechanical engineering; Geology; Thermodynamics; Physics; Oceanography; Mathematics","authors":[{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"Andy King","is_ca":false},{"name":"Robert Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David P. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02972669369757308,"gpt":0.256908822545738,"spread":0.2271821288481649,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.001120587,0.0008275999,0.0007517823,0.002928026,0.00181931,0.008917825,0.001154988,0.002942525,0.8268095],"category_scores_gemma":[0.003191368,0.0004212897,0.0009638131,0.002408925,0.001118706,0.003474212,0.002935515,0.00245735,0.795107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00204953,"about_ca_system_score_gemma":0.002027412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001942087,"about_ca_topic_score_gemma":0.002838895,"domain_scores_codex":[0.9989523,0.0000961108,0.00004452634,0.000172996,0.0006226089,0.0001114354],"domain_scores_gemma":[0.9973257,0.0003338299,0.00008454349,0.0005395209,0.001087657,0.0006288376],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002865485,0.00005912178,0.0001782226,0.0001459083,0.000004588154,0.00006564068,0.00003032155,0.0000564093,0.0005879346,0.002129704,0.9318274,0.0648862],"study_design_scores_gemma":[0.000008166756,0.00001397844,0.0003638217,0.00009458378,0.000003295297,0.0001124755,0.00004855564,0.000125494,0.0003531995,0.0008496795,0.9980223,0.000004487886],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001120187,0.001533552,0.002185469,0.008589815,0.01205879,0.0001161807,0.002328542,0.003467801,0.9685997],"genre_scores_gemma":[0.002537246,0.0008748133,0.000692433,0.001606127,0.001726014,0.00003669474,0.00120891,0.0007987531,0.9905191],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1731905,"threshold_uncertainty_score":0.2470353,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4230066001","doi":"10.1017/s147106840999024x","title":"TLP volume 10 issue 1 Cover and Front matter","year":2009,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Diverse Scientific and Economic Studies","field":"Economics, Econometrics and Finance","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Front (military); Cover (algebra); Action (physics); Content (measure theory); Mechanical engineering; Thermodynamics; Physics; Mathematics","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"David H. Warren","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"Andy King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David R. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kōzō Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03058974171028559,"gpt":0.2480548072012278,"spread":0.2174650654909422,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0008496686,0.000808357,0.0006991982,0.002146814,0.001491098,0.006566259,0.001092093,0.002822736,0.8158301],"category_scores_gemma":[0.00268882,0.0003602731,0.0007743237,0.001616084,0.0009183966,0.002850769,0.002124891,0.002519729,0.7614971],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001597386,"about_ca_system_score_gemma":0.001567073,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001452299,"about_ca_topic_score_gemma":0.002114313,"domain_scores_codex":[0.9992794,0.0000600783,0.00002829607,0.0001354063,0.0004183477,0.0000784225],"domain_scores_gemma":[0.9980585,0.0002719492,0.00006302207,0.0003045449,0.000813761,0.0004881563],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003362768,0.00006053468,0.0001642236,0.0001378066,0.000004530024,0.00007945524,0.00002482048,0.00005582064,0.0005704385,0.002006153,0.9248264,0.07203621],"study_design_scores_gemma":[0.000008441305,0.00001488338,0.0003749492,0.00008816543,0.00000290857,0.0001062343,0.00003626825,0.0001270807,0.0003234857,0.0009601189,0.9979532,0.000004175124],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001222021,0.002124359,0.001875011,0.01049144,0.01702053,0.0001162569,0.001987787,0.00264647,0.9625162],"genre_scores_gemma":[0.00251612,0.0009328742,0.0005065846,0.001558711,0.002594706,0.0000298924,0.0009508653,0.0005004148,0.9904099],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.1841699,"threshold_uncertainty_score":0.2626961,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4245159100","doi":"10.1017/s1471068411000354","title":"TLP volume 11 issue 4 Cover and Front matter","year":2011,"lang":"en","type":"article","venue":"Theory and Practice of Logic Programming","topic":"Political Systems and Governance","field":"Social Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto; Simon Fraser University","funders":"","keywords":"Computer science; Front cover; Volume (thermodynamics); Cover (algebra); Front (military); Action (physics); Computer graphics (images); Mechanical engineering; Thermodynamics; Physics; Oceanography; Geology","authors":[{"name":"Ilkka Niemelä","is_ca":false},{"name":"Jack Minker","is_ca":false},{"name":"Peter J. Stuckey","is_ca":false},{"name":"Thomas Eiter","is_ca":false},{"name":"María García","is_ca":false},{"name":"Krzysztof R. Apt","is_ca":false},{"name":"Luc De Raedt","is_ca":false},{"name":"Michael Gelfond","is_ca":false},{"name":"Gopal Gupta","is_ca":false},{"name":"Michaël Leuschel","is_ca":false},{"name":"Giorgio Levi","is_ca":false},{"name":"Catuscia Palamidessi","is_ca":false},{"name":"Chitta Baral","is_ca":false},{"name":"Alberto Bossi","is_ca":false},{"name":"Maurice Bruynooghe","is_ca":false},{"name":"Mats Carlsson","is_ca":false},{"name":"Verónica Dahl","is_ca":true},{"name":"Danny De Schreye","is_ca":false},{"name":"Jürgen Dix","is_ca":false},{"name":"Phan Minh Dũng","is_ca":false},{"name":"Peter Flach","is_ca":false},{"name":"Maurizio Gabbrielli","is_ca":false},{"name":"John P. Gallagher","is_ca":false},{"name":"Manuel V. Hermenegildo","is_ca":false},{"name":"Joxan Jaffar","is_ca":false},{"name":"Antonis Kakas","is_ca":false},{"name":"­Abby C. King","is_ca":false},{"name":"R. Kowalski","is_ca":false},{"name":"Leonid Libkin","is_ca":true},{"name":"Vladimir Lifschitz","is_ca":false},{"name":"Michael J. Maher","is_ca":false},{"name":"David R. Miller","is_ca":false},{"name":"Stephen Muggleton","is_ca":false},{"name":"Gopalan Nadathur","is_ca":false},{"name":"L. Pereira","is_ca":false},{"name":"James A. Robinson","is_ca":false},{"name":"Francesca Rossi","is_ca":false},{"name":"Takao Sato","is_ca":false},{"name":"Zoltán Somogyi","is_ca":false},{"name":"Mirosław Truszczyński","is_ca":false},{"name":"Kazushige Ueda","is_ca":false},{"name":"Jeffrey D. Ullman","is_ca":false},{"name":"Mark Wallace","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03469210943631935,"gpt":0.3128701160777947,"spread":0.2781780066414754,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.001001184,0.0008136872,0.0007178273,0.002446715,0.001854153,0.007498992,0.001087291,0.003174926,0.8522096],"category_scores_gemma":[0.003176642,0.0004173951,0.0008898692,0.001965248,0.001116233,0.002831578,0.002772456,0.002630538,0.789589],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002001176,"about_ca_system_score_gemma":0.00201667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0019462,"about_ca_topic_score_gemma":0.002933865,"domain_scores_codex":[0.9991068,0.00008270965,0.00003521465,0.0001592635,0.00050929,0.0001066758],"domain_scores_gemma":[0.9979036,0.000289744,0.00007138593,0.0003960016,0.0008096835,0.0005296341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0000307991,0.00005487979,0.0001578924,0.000131059,0.000004536988,0.00006711109,0.0000304072,0.00005170023,0.00051224,0.002195992,0.9318059,0.0649574],"study_design_scores_gemma":[0.000008042904,0.00001306229,0.0003288782,0.00008641873,0.0000028105,0.00008183414,0.00004434317,0.0001099825,0.0002983445,0.0008609406,0.9981613,0.00000398823],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"other","genre_scores_codex":[0.001102416,0.001427179,0.001366151,0.01043559,0.01229228,0.0001043,0.00197395,0.002391579,0.9689066],"genre_scores_gemma":[0.002328705,0.0006263011,0.0003642514,0.001360274,0.001720651,0.00002613034,0.0007776734,0.0004582698,0.9923379],"genre_candidate":"other","genre_consensus":"other","teacher_disagreement_score":0.8522096,"threshold_uncertainty_score":0.2108051,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}