{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":18,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":18,"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":"3f7fc1108130","filters":{"venue":"Principles of Knowledge Representation and Reasoning"}},"results":[{"id":"W2166645709","doi":"","title":"Horn clause contraction functions: belief set and belief base approaches","year":2010,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","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":"Simon Fraser University","funders":"","keywords":"Contraction (grammar); Horn clause; Propositional calculus; French horn; Belief revision; Mathematics; Computer science; Algorithm; Artificial intelligence; Discrete mathematics; Logic programming; Linguistics; Psychology","authors":[{"name":"James P. Delgrande","is_ca":true},{"name":"Renata Wassermann","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0617395922315109,"gpt":0.2860782928732976,"spread":0.2243387006417867,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01129266,0.0008497357,0.0009407327,0.002898495,0.001148344,0.003533276,0.003349558,0.002001548,0.005469472],"category_scores_gemma":[0.01863846,0.0005450394,0.001708594,0.002757274,0.00541457,0.01062364,0.003540126,0.004684374,0.0008746114],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003073796,"about_ca_system_score_gemma":0.001503439,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002192415,"about_ca_topic_score_gemma":0.001227148,"domain_scores_codex":[0.9936584,0.003145118,0.0003064795,0.0006366819,0.001880586,0.0003728851],"domain_scores_gemma":[0.9889305,0.007838587,0.0004350895,0.001206583,0.001274864,0.000314282],"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.00002801872,0.00002430161,0.0001383669,0.0000591531,0.00001972062,0.00002947019,0.0003694859,0.006460304,0.0002598295,0.9670023,0.0006082563,0.02500067],"study_design_scores_gemma":[0.00001808332,0.00003321058,0.0001178735,0.00005198322,0.00002206604,0.00004826571,0.0001617083,0.0564216,0.0007949543,0.936565,0.005749087,0.0000162044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005739462,0.0008330258,0.9784244,0.001460363,0.00005146491,0.00008284447,0.00007180183,0.0001179856,0.01321861],"genre_scores_gemma":[0.4452514,0.001950527,0.5374988,0.001164569,0.0004345736,0.0007986844,0.0003980719,0.0001698661,0.01233347],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01129266,"threshold_uncertainty_score":0.05972207,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2237543400","doi":"","title":"Declarative entity resolution via matching dependencies and answer set programs","year":2012,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Data Quality and Management","field":"Decision Sciences","cited_by":22,"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; Carleton University","funders":"","keywords":"Computer science; Expressive power; Matching (statistics); Programming language; Set (abstract data type); Theoretical computer science; Invariant (physics); Semantics (computer science); Task (project management); Class (philosophy); Artificial intelligence; Mathematics","authors":[{"name":"Zeinab Bahmani","is_ca":true},{"name":"Leopoldo Bertossi","is_ca":true},{"name":"Solmaz Kolahi","is_ca":true},{"name":"Laks V. S. Lakshmanan","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.2393407786433807,"gpt":0.4310733909013771,"spread":0.1917326122579964,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009252395,0.0008937547,0.0008408221,0.002216788,0.0009373092,0.004202461,0.002977506,0.001974319,0.003582673],"category_scores_gemma":[0.02206167,0.0008610516,0.002628177,0.001843371,0.004599569,0.008326898,0.005268202,0.003651059,0.0006286642],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001557162,"about_ca_system_score_gemma":0.001717667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001836386,"about_ca_topic_score_gemma":0.001777651,"domain_scores_codex":[0.9895741,0.003960559,0.0009328727,0.001664941,0.003151319,0.0007161637],"domain_scores_gemma":[0.9841586,0.01158065,0.001131642,0.001641598,0.001247791,0.000239609],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001165217,0.0001507076,0.0009223917,0.0003094228,0.00007761086,0.0003241721,0.001145117,0.04834589,0.002947867,0.8858708,0.002316121,0.05747338],"study_design_scores_gemma":[0.00005467479,0.00005833611,0.000189139,0.00008079108,0.00007641469,0.00023126,0.0002150049,0.230951,0.006929461,0.7498003,0.01137361,0.00003994436],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00887162,0.0001113111,0.9868757,0.0007832627,0.00002131693,0.00008873636,0.0001819249,0.0006760658,0.00239013],"genre_scores_gemma":[0.1876711,0.0003856066,0.8053395,0.000677057,0.0001382873,0.0005021943,0.001161005,0.00028251,0.003842761],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009252395,"threshold_uncertainty_score":0.04893196,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2510506392","doi":"","title":"On referring expressions in query answering over first order knowledge bases","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Natural Language Processing Techniques","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Conjunctive query; Context (archaeology); Noun phrase; Knowledge base; Description logic; Expression (computer science); Class (philosophy); Natural language processing; Artificial intelligence; Information retrieval; Relational database; Programming language; Noun","authors":[{"name":"Alexander Borgida","is_ca":false},{"name":"David Toman","is_ca":true},{"name":"Grant Weddell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03158008085999161,"gpt":0.3247805165416627,"spread":0.2932004356816711,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01611543,0.001239527,0.001865307,0.004518604,0.003548116,0.009089249,0.004088551,0.002971215,0.006070493],"category_scores_gemma":[0.03761599,0.00178317,0.003522178,0.009999847,0.01129345,0.02902936,0.008340033,0.005999437,0.001628512],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.006094165,"about_ca_system_score_gemma":0.002341867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01504171,"about_ca_topic_score_gemma":0.008222971,"domain_scores_codex":[0.9836865,0.007563974,0.001337197,0.00220422,0.004093744,0.001114429],"domain_scores_gemma":[0.9681783,0.02565639,0.000925098,0.003136612,0.001779599,0.0003239604],"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.0000674635,0.00004525032,0.0004057155,0.0002021867,0.00003258503,0.0002953223,0.001925778,0.01102944,0.000922454,0.9588526,0.001976378,0.02424487],"study_design_scores_gemma":[0.00002345231,0.00004114231,0.0002243955,0.0001041129,0.0000665918,0.0002380608,0.0004075039,0.05725779,0.002143787,0.9257613,0.01368081,0.00005112519],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009615632,0.002017393,0.974636,0.00293388,0.00008012961,0.0001659474,0.0002409214,0.0006758691,0.009634119],"genre_scores_gemma":[0.2061334,0.004863232,0.775047,0.002338885,0.000700446,0.0006482262,0.001306939,0.0007831168,0.008178764],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01611543,"threshold_uncertainty_score":0.08522761,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2189980513","doi":"","title":"Forgetting in action","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Forgetting; Action (physics); Computer science; Belief revision; Operator (biology); Artificial intelligence; Cognitive science; Calculus (dental); Psychology; Cognitive psychology","authors":[{"name":"David Rajaratnam","is_ca":false},{"name":"Hector J. Levesque","is_ca":true},{"name":"Maurice Pagnucco","is_ca":false},{"name":"Michael Thielscher","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04830289136334191,"gpt":0.3164103196092453,"spread":0.2681074282459033,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004357894,0.001240699,0.0008183765,0.001291317,0.001757568,0.003712489,0.002504182,0.002192623,0.00980439],"category_scores_gemma":[0.01040864,0.0007175968,0.002546027,0.0007425623,0.007758748,0.0130807,0.004263057,0.003090509,0.001130093],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001788379,"about_ca_system_score_gemma":0.002055833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00390851,"about_ca_topic_score_gemma":0.002305968,"domain_scores_codex":[0.9958642,0.001012343,0.000299653,0.001392283,0.0009854725,0.0004460854],"domain_scores_gemma":[0.9926022,0.003133883,0.0006019379,0.002443881,0.0008175526,0.0004005989],"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.0000444515,0.00002055594,0.0004258967,0.00010148,0.00002784531,0.0002647999,0.001029639,0.00398074,0.0008934265,0.9713558,0.0005904873,0.02126483],"study_design_scores_gemma":[0.00002114332,0.00005164533,0.0002485348,0.00007189958,0.00004779324,0.000271267,0.0001569741,0.01499989,0.001340058,0.9665197,0.01623969,0.00003149044],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02234744,0.001277035,0.934498,0.001876405,0.0003558129,0.0001026784,0.0001410889,0.0007118331,0.03868979],"genre_scores_gemma":[0.7215667,0.001438594,0.2523248,0.001178862,0.000431701,0.0002312439,0.0004540777,0.0002915819,0.02208248],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00980439,"threshold_uncertainty_score":0.03279901,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2177576448","doi":"","title":"Decidable reasoning in a fragment of the epistemic situation calculus","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","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":"University of Toronto","funders":"","keywords":"Situation calculus; Decidability; Undecidable problem; Fragment (logic); Calculus (dental); Formalism (music); Computer science; Frame problem; Circumscription; Knowledge representation and reasoning; Mathematics; Theoretical computer science; Artificial intelligence; Algorithm","authors":[{"name":"Gerhard Lakemeyer","is_ca":false},{"name":"Hector J. Levesque","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02266828649504329,"gpt":0.2750889418451013,"spread":0.252420655350058,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006565571,0.0009273933,0.001458814,0.002040207,0.002953434,0.006037092,0.003304335,0.002126024,0.00400987],"category_scores_gemma":[0.01590351,0.001106526,0.004075114,0.002040118,0.00854097,0.01232077,0.00496286,0.005805952,0.0006234269],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004457988,"about_ca_system_score_gemma":0.003590089,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01091449,"about_ca_topic_score_gemma":0.007402188,"domain_scores_codex":[0.9916298,0.00257521,0.0006146804,0.001404229,0.00290022,0.000875915],"domain_scores_gemma":[0.9896296,0.007221533,0.0005298976,0.001444329,0.000837209,0.0003374042],"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.00005407531,0.00004256946,0.0001283583,0.00007221737,0.00003689572,0.0002864993,0.0006360048,0.01463766,0.0009954716,0.9738897,0.001058376,0.008162053],"study_design_scores_gemma":[0.00003881229,0.00001539206,0.00006713251,0.00002757158,0.00003890835,0.0001052453,0.00007217938,0.05351655,0.000954033,0.9395089,0.005632423,0.0000228839],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02161691,0.0007187166,0.9560416,0.001607794,0.0001190445,0.000176553,0.0003679015,0.0009733466,0.01837823],"genre_scores_gemma":[0.6143344,0.0009979921,0.374312,0.0007804264,0.0004360374,0.0004719718,0.001133259,0.000197057,0.007336894],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01091449,"threshold_uncertainty_score":0.03472245,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2579435387","doi":"","title":"Knowledge compilation for lifted probabilistic inference: compiling to a low-level language","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Bayesian Modeling and Causal Inference","field":"Computer Science","cited_by":11,"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":"","keywords":"Computer science; Inference; Probabilistic logic; Speedup; Compiler; Relational database; Programming language; Theoretical computer science; Data structure; Artificial intelligence; Data mining; Parallel computing","authors":[{"name":"Seyed Mehran Kazemi","is_ca":true},{"name":"David Poole","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09358399773436435,"gpt":0.3677652128852419,"spread":0.2741812151508776,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001741777,0.001100362,0.000977975,0.0009704165,0.0006885598,0.002406901,0.002111206,0.0008876387,0.007607338],"category_scores_gemma":[0.01239935,0.001149705,0.002416896,0.001075223,0.001548545,0.004623947,0.002986818,0.003153363,0.00255445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001012906,"about_ca_system_score_gemma":0.002388551,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004566504,"about_ca_topic_score_gemma":0.004663803,"domain_scores_codex":[0.9978901,0.00042161,0.0002036781,0.0005945557,0.0006433777,0.0002468478],"domain_scores_gemma":[0.9911225,0.004843138,0.0003923948,0.002724681,0.0007793543,0.0001380356],"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.0004720575,0.0004394998,0.003653557,0.001075854,0.0002269861,0.0008817405,0.001246129,0.2153198,0.02144209,0.1401983,0.02176093,0.593283],"study_design_scores_gemma":[0.00008305463,0.00008217169,0.0004781044,0.0001119494,0.0001078185,0.0003199671,0.0001116611,0.8029392,0.02762559,0.1526494,0.01542952,0.00006146961],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007576783,0.00008029587,0.971032,0.0001623804,0.00003907692,0.00007330299,0.0001841128,0.01916857,0.001683561],"genre_scores_gemma":[0.1554236,0.0002327119,0.8378995,0.0002875894,0.00007005787,0.0001852363,0.00103362,0.002998115,0.001869587],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007607338,"threshold_uncertainty_score":0.0254491,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2175700267","doi":"","title":"Generalized multi-context systems","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":11,"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":"Operational semantics; Well-founded semantics; Semantics (computer science); Context (archaeology); Computer science; Formal semantics (linguistics); Proof-theoretic semantics; Computational semantics; Denotational semantics; Action semantics; Theoretical computer science; Programming language","authors":[{"name":"Shahab Tasharrofi","is_ca":true},{"name":"Eugenia Ternovska","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04961093887796212,"gpt":0.2983021263901871,"spread":0.248691187512225,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002739829,0.001092146,0.001252774,0.002661514,0.001935468,0.005364472,0.002002525,0.002012339,0.00381494],"category_scores_gemma":[0.005363049,0.0004974403,0.001604854,0.002716286,0.003475397,0.007455194,0.00605662,0.002071407,0.0006173321],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002251708,"about_ca_system_score_gemma":0.001545037,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004803054,"about_ca_topic_score_gemma":0.004043921,"domain_scores_codex":[0.9956275,0.001385686,0.0004501072,0.001047832,0.001080304,0.0004086333],"domain_scores_gemma":[0.9968895,0.001082472,0.0003062456,0.0008583812,0.0005743002,0.0002890871],"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.00002532566,0.0000177188,0.0005383778,0.0001079895,0.00007518572,0.0003722224,0.0003904237,0.01363488,0.0006257628,0.9713542,0.001086165,0.01177179],"study_design_scores_gemma":[0.0000284411,0.00002419612,0.0002999595,0.00006434497,0.00005636502,0.0002428915,0.0002118957,0.04976499,0.0004818005,0.9232601,0.02553319,0.00003184763],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0507895,0.00637514,0.8941097,0.003004977,0.0003663388,0.0003726041,0.0008423194,0.0009961537,0.04314318],"genre_scores_gemma":[0.7470256,0.002961269,0.2397901,0.0007948857,0.000401905,0.0004411948,0.00075875,0.00009968374,0.007726598],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005364472,"threshold_uncertainty_score":0.01633739,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1898747386","doi":"","title":"Only-knowing meets nonmonotonic modal logic","year":2012,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Non-monotonic logic; Autoepistemic logic; Default logic; Rotation formalisms in three dimensions; Multimodal logic; Dynamic logic (digital electronics); Modal logic; Axiom; Circumscription; Normal modal logic; Computer science; Default; Accessibility relation; Artificial intelligence; Theoretical computer science; Modal operator; Modal; Description logic; Mathematics","authors":[{"name":"Gerhard Lakemeyer","is_ca":false},{"name":"Hector J. Levesque","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04601614073732518,"gpt":0.3090084260364157,"spread":0.2629922852990905,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00158033,0.0005559304,0.0006741526,0.0008926041,0.001665078,0.00247685,0.0009211865,0.001448822,0.004397208],"category_scores_gemma":[0.002180936,0.0004196149,0.0007651803,0.0006909733,0.003256346,0.007912167,0.002068753,0.002564615,0.0006975719],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002066178,"about_ca_system_score_gemma":0.001032571,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001447844,"about_ca_topic_score_gemma":0.001445908,"domain_scores_codex":[0.9981482,0.0004480064,0.0001574518,0.0004993608,0.0005117875,0.0002352585],"domain_scores_gemma":[0.9980897,0.001013672,0.000135879,0.0002292044,0.0004059365,0.0001255709],"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.00001660509,0.00001143936,0.00008396842,0.00003754587,0.000006794177,0.0001372495,0.0001890266,0.0004902394,0.0006388486,0.9923837,0.0007857717,0.005218844],"study_design_scores_gemma":[0.00001094575,0.00001207589,0.00008705767,0.00000926812,0.000009623242,0.0001524734,0.00006197198,0.006856318,0.000843179,0.982736,0.009210306,0.00001072766],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.07372421,0.002759533,0.6590946,0.008726518,0.0004696572,0.0002311285,0.0009116514,0.001075367,0.2530074],"genre_scores_gemma":[0.8724671,0.001073371,0.1063556,0.001298783,0.0005524714,0.0001728382,0.0004692475,0.000102953,0.01750752],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.004397208,"threshold_uncertainty_score":0.01499128,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2222911679","doi":"","title":"Diagnostic problem solving via planning with ontic and epistemic goals","year":2014,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"AI-based Problem Solving and Planning","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":"University of Toronto","funders":"","keywords":"Ontic; Planner; Computer science; Artificial intelligence; Medical diagnosis; Automated planning and scheduling; Machine learning; Epistemology","authors":[{"name":"Jorge A. Baier","is_ca":false},{"name":"Brent Mombourquette","is_ca":true},{"name":"Sheila A. McIlraith","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01924517497698003,"gpt":0.2657287045236372,"spread":0.2464835295466571,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003271331,0.0009633955,0.0004155704,0.0009899597,0.001188545,0.002409072,0.00144512,0.001332515,0.003052598],"category_scores_gemma":[0.01191024,0.0006188148,0.001478237,0.000866598,0.004131958,0.003321885,0.003436562,0.002097554,0.0003604472],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001800764,"about_ca_system_score_gemma":0.003324808,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005732595,"about_ca_topic_score_gemma":0.008564661,"domain_scores_codex":[0.9971631,0.001357764,0.0002251784,0.0004295916,0.0006121076,0.0002122545],"domain_scores_gemma":[0.9927968,0.005656261,0.0004238722,0.0005957366,0.000349063,0.0001782926],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001715921,0.0001470964,0.001197937,0.0003312489,0.00006883569,0.0005714475,0.0009420907,0.2570606,0.002085819,0.6652254,0.002846556,0.06935137],"study_design_scores_gemma":[0.00005568966,0.00004351313,0.0001893857,0.00005331655,0.00003647118,0.000122428,0.0001566186,0.389502,0.002935155,0.6008232,0.006060586,0.00002159952],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01613091,0.0001869726,0.9721665,0.001200691,0.0000301524,0.0001942988,0.0001504612,0.0007370641,0.009203053],"genre_scores_gemma":[0.3082298,0.000296905,0.6879664,0.00021353,0.00004229949,0.0002830397,0.0003796987,0.00009300321,0.002495386],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005732595,"threshold_uncertainty_score":0.01730061,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2200473356","doi":"","title":"Assertion absorption in object queries over knowledge bases","year":2012,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Assertion; Computer science; Knowledge base; Object (grammar); Information retrieval; Knowledge-based systems; Base (topology); Knowledge extraction; Absorption (acoustics); Theoretical computer science; Artificial intelligence; Programming language; Mathematics","authors":[{"name":"Jiewen Wu","is_ca":true},{"name":"Alexander K. Hudek","is_ca":true},{"name":"David Toman","is_ca":true},{"name":"Grant Weddell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04915225042878439,"gpt":0.331647011578306,"spread":0.2824947611495215,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007016993,0.0009554742,0.001413889,0.002494576,0.001212566,0.003419942,0.003073902,0.001358091,0.003538209],"category_scores_gemma":[0.02094439,0.00106794,0.001544417,0.003859704,0.001970631,0.01048348,0.005156611,0.002404496,0.001205292],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001081479,"about_ca_system_score_gemma":0.001748591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002854725,"about_ca_topic_score_gemma":0.003152846,"domain_scores_codex":[0.9910415,0.002583932,0.0007455343,0.0009794515,0.004050437,0.0005990388],"domain_scores_gemma":[0.9784838,0.01511876,0.001131154,0.003514722,0.001484389,0.0002672242],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00165646,0.001198457,0.004146304,0.0008849173,0.0002596516,0.001089418,0.003435662,0.07554571,0.05221026,0.238403,0.01384835,0.6073217],"study_design_scores_gemma":[0.0001802056,0.0002995619,0.0009985704,0.00009975323,0.0001836794,0.0008215848,0.0008700893,0.7468145,0.06053079,0.1702525,0.01883756,0.0001110538],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02658323,0.0002397941,0.9676906,0.0003761139,0.00001994308,0.0001730367,0.0001185282,0.00264876,0.002150129],"genre_scores_gemma":[0.3118336,0.0003763345,0.6815204,0.0004112147,0.0001002496,0.0003184661,0.0008277443,0.000642471,0.003969454],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007016993,"threshold_uncertainty_score":0.03710979,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2899509916","doi":"","title":"Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus.","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"","keywords":"Iterated function; Belief revision; Computer science; Calculus (dental); Situation calculus; Theoretical computer science; Mathematics; Artificial intelligence; Medicine","authors":[{"name":"Toryn Q. Klassen","is_ca":true},{"name":"Sheila A. McIlraith","is_ca":true},{"name":"Hector J. Levesque","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.151396291895283,"gpt":0.3716772708593377,"spread":0.2202809789640546,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009245238,0.0009388765,0.0009664577,0.002242462,0.00231194,0.008289666,0.002857887,0.00355426,0.009088459],"category_scores_gemma":[0.04329071,0.001529871,0.002889626,0.001288003,0.00565509,0.01509073,0.00475339,0.0059732,0.001227505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003044092,"about_ca_system_score_gemma":0.002055062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003523191,"about_ca_topic_score_gemma":0.004457579,"domain_scores_codex":[0.9923838,0.003236491,0.0007658555,0.001009285,0.001946198,0.0006584186],"domain_scores_gemma":[0.9825691,0.01292339,0.000800814,0.001531479,0.001525093,0.0006501433],"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.00009899439,0.00004212874,0.0003494753,0.00007301149,0.00004426348,0.0001992565,0.0007122982,0.007990809,0.0007480371,0.9801208,0.0006219003,0.008998906],"study_design_scores_gemma":[0.00002997,0.00001981,0.0000880093,0.00002926511,0.00003188018,0.00005702432,0.00009659885,0.02965307,0.0005888016,0.9680296,0.00135653,0.0000193744],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02928418,0.0005459496,0.9356049,0.001817368,0.0001337537,0.0001786422,0.0002855381,0.0007015255,0.03144822],"genre_scores_gemma":[0.6891655,0.0002721909,0.3041564,0.0003379333,0.000126972,0.0002530987,0.0003287614,0.0001608064,0.005198381],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009245238,"threshold_uncertainty_score":0.04889405,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2573027291","doi":"","title":"Negation without negation in probabilistic logic programming","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","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 British Columbia","funders":"","keywords":"Negation; Probabilistic logic; Computer science; Conditional probability; Mathematics; Joint probability distribution; Algorithm; Theoretical computer science; Artificial intelligence; Algebra over a field; Programming language; Pure mathematics; Statistics","authors":[{"name":"David Buchman","is_ca":true},{"name":"David Poole","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03987223338670914,"gpt":0.302820400739416,"spread":0.2629481673527069,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005881141,0.0008057285,0.0007584514,0.001214431,0.001167894,0.004594932,0.001759933,0.001289467,0.002634957],"category_scores_gemma":[0.01247358,0.000843832,0.001669877,0.002089291,0.006527189,0.009865355,0.00351965,0.003280993,0.0006140841],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00238573,"about_ca_system_score_gemma":0.001640794,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00320504,"about_ca_topic_score_gemma":0.002356375,"domain_scores_codex":[0.9939996,0.002369297,0.0005244677,0.001032541,0.001713774,0.0003603583],"domain_scores_gemma":[0.9938592,0.004323519,0.0003809023,0.0006559708,0.0005849188,0.000195472],"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.00002120884,0.0000118697,0.0001655849,0.00006339541,0.00001385912,0.00007989992,0.0002057405,0.009056987,0.0003460066,0.9744091,0.0005630359,0.01506335],"study_design_scores_gemma":[0.000008491836,0.000009766841,0.00003342581,0.00002801279,0.00001387428,0.00005697896,0.00002670464,0.02554754,0.0004679066,0.968491,0.005304464,0.00001171667],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009032471,0.0005683709,0.978573,0.001193614,0.00008272046,0.00006127117,0.0001324697,0.0003138938,0.0100421],"genre_scores_gemma":[0.3934025,0.001481914,0.5959812,0.0009824489,0.0003304183,0.0004325784,0.0004449221,0.0002431944,0.006700828],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005881141,"threshold_uncertainty_score":0.03110284,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1510506302","doi":"","title":"Ontologies for dates and duration","year":2010,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Semantic Web and Ontologies","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 Toronto","funders":"","keywords":"Duration (music); Timeline; Computer science; Ontology; Metric (unit); Mathematics; Statistics","authors":[{"name":"Michael Grüninger","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04243871134609954,"gpt":0.3232519904105558,"spread":0.2808132790644562,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003743242,0.0009716945,0.0008827102,0.005648413,0.003605105,0.006335159,0.002068256,0.002395624,0.007678384],"category_scores_gemma":[0.008750838,0.0007716277,0.002401098,0.006226141,0.004457932,0.01842462,0.003702515,0.004484153,0.002073157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003527809,"about_ca_system_score_gemma":0.003724054,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01251826,"about_ca_topic_score_gemma":0.00734533,"domain_scores_codex":[0.9960597,0.001165217,0.0006437661,0.0007749906,0.001071021,0.0002852804],"domain_scores_gemma":[0.9953232,0.001950006,0.0006470776,0.0009663673,0.0008125167,0.0003007295],"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.000006358522,0.000005955799,0.00008287284,0.00005151162,0.000005515756,0.00004056062,0.0002938543,0.0006861558,0.0001064449,0.9876495,0.002979499,0.008091722],"study_design_scores_gemma":[0.000008793957,0.000006379183,0.0002521573,0.0001549175,0.00002230398,0.000249843,0.0003512238,0.003658053,0.0002528781,0.7016283,0.2933905,0.00002472954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005517242,0.005499758,0.8560578,0.005816428,0.001488305,0.0002485068,0.003850287,0.001296243,0.1202254],"genre_scores_gemma":[0.1965161,0.01332661,0.7403111,0.002913226,0.001873405,0.001063056,0.007559848,0.0006359791,0.03580057],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01251826,"threshold_uncertainty_score":0.0256868,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2571905942","doi":"","title":"Infinite paths in the situation calculus: axiomatization and properties","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Formal Methods in Verification","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":"York University","funders":"","keywords":"Correctness; sort; Situation calculus; Formalism (music); Computer science; Calculus (dental); Futures contract; Natural deduction; Theoretical computer science; Mathematics; Algorithm; Artificial intelligence; Programming language","authors":[{"name":"Shakil M. Khan","is_ca":true},{"name":"Yves Lespérance","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06647694693038328,"gpt":0.3155171339005637,"spread":0.2490401869701805,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005792333,0.0008591416,0.0007247601,0.00163308,0.002049226,0.003485986,0.002335525,0.001770956,0.003374672],"category_scores_gemma":[0.006659875,0.001050414,0.002545706,0.001837475,0.008384068,0.01074877,0.004069279,0.006369244,0.0009735692],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001688164,"about_ca_system_score_gemma":0.002390961,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003810745,"about_ca_topic_score_gemma":0.00252734,"domain_scores_codex":[0.9955368,0.001582937,0.0004493481,0.0006574171,0.001429071,0.000344492],"domain_scores_gemma":[0.9959591,0.002377386,0.0002626736,0.0007222688,0.0005090476,0.0001695159],"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.00000729689,0.00000861961,0.00007428283,0.00003093376,0.000007433092,0.0000914671,0.0003392656,0.001997312,0.000368854,0.9927061,0.0004406898,0.003927726],"study_design_scores_gemma":[0.00001583415,0.00001263037,0.00006465983,0.0000268914,0.00001533897,0.000109832,0.0000792262,0.009960395,0.0007236456,0.9748635,0.01411133,0.00001671055],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006487214,0.0005577317,0.9808967,0.0009386158,0.000139732,0.0001075006,0.0001929111,0.0004726416,0.01020688],"genre_scores_gemma":[0.2306898,0.001454754,0.7597437,0.0005998954,0.0002588557,0.0006704397,0.0006761057,0.0002572319,0.005649229],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005792333,"threshold_uncertainty_score":0.03063315,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2572760676","doi":"","title":"Using metric temporal logic to specify scheduling problems","year":2016,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Constraint Satisfaction and Optimization","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 Toronto","funders":"","keywords":"Temporal logic; Computer science; Linear temporal logic; Formalism (music); Theoretical computer science; Scheduling (production processes); Programming language; Artificial intelligence; Mathematics; Mathematical optimization","authors":[{"name":"R. Luo","is_ca":true},{"name":"Richard Valenzano","is_ca":true},{"name":"Yi Li","is_ca":true},{"name":"J. Christopher Beck","is_ca":true},{"name":"Sheila A. McIlraith","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.09561138242305982,"gpt":0.3375175428627435,"spread":0.2419061604396837,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003208916,0.001185894,0.0006175024,0.001210444,0.0008435718,0.002430701,0.001898107,0.001200379,0.003814222],"category_scores_gemma":[0.009225682,0.0006567699,0.001750178,0.00200574,0.002038092,0.00545599,0.002425005,0.002739132,0.0006524956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002263006,"about_ca_system_score_gemma":0.002693155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006107187,"about_ca_topic_score_gemma":0.00911334,"domain_scores_codex":[0.9967982,0.001316624,0.000417105,0.0003819638,0.0008368875,0.0002492717],"domain_scores_gemma":[0.9965484,0.002096358,0.0003752403,0.0003854412,0.0004212086,0.0001732842],"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.00004216281,0.00004100258,0.0003015823,0.0001575118,0.00003021813,0.0002841587,0.0002835666,0.0922858,0.002069881,0.8772606,0.002066452,0.02517714],"study_design_scores_gemma":[0.00004985682,0.00004506173,0.0000833821,0.00004945359,0.00002511768,0.0001437507,0.00009709535,0.3518891,0.002383001,0.6239746,0.02123154,0.00002810499],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003506731,0.0001342254,0.9910548,0.0005167511,0.00004821362,0.00008610152,0.0002889977,0.0004160178,0.003948216],"genre_scores_gemma":[0.1160393,0.0004341868,0.8791179,0.000398226,0.00009456288,0.0004431068,0.0007991198,0.0001822514,0.002491406],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006107187,"threshold_uncertainty_score":0.01697057,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2898989991","doi":"","title":"On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Feature (linguistics); Polynomial; Theoretical computer science; Mathematics; Artificial intelligence; Algebra over a field; Algorithm; Pure mathematics; Linguistics","authors":[{"name":"Stephanie McIntyre","is_ca":true},{"name":"Alexander Borgida","is_ca":false},{"name":"David Toman","is_ca":true},{"name":"Grant Weddell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0403847077313735,"gpt":0.3263807146401066,"spread":0.2859960069087331,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004751651,0.0009081275,0.001253321,0.00254619,0.002038446,0.003257859,0.002640819,0.001498517,0.009350593],"category_scores_gemma":[0.01679032,0.0008121205,0.00194761,0.004255438,0.005120339,0.01200537,0.005355198,0.004674575,0.001469267],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002630333,"about_ca_system_score_gemma":0.001419015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004853464,"about_ca_topic_score_gemma":0.008284888,"domain_scores_codex":[0.9971834,0.001151225,0.0001942709,0.0004960504,0.0006880538,0.00028707],"domain_scores_gemma":[0.9909032,0.006929001,0.0004271748,0.0008212814,0.0006237433,0.0002956226],"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.0001037676,0.00007493408,0.0004059913,0.0001630162,0.00003214295,0.0001928305,0.0002970126,0.01113579,0.0005437689,0.9451388,0.003617231,0.03829472],"study_design_scores_gemma":[0.00001852914,0.00001731064,0.0001289186,0.00005400891,0.00002554109,0.00007391709,0.00007742036,0.03245026,0.0003736784,0.9612562,0.005509495,0.00001469303],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01123996,0.002484574,0.9531718,0.002083379,0.000198545,0.00009994156,0.0003649548,0.0005044981,0.02985224],"genre_scores_gemma":[0.3631054,0.003915649,0.611569,0.001334008,0.0008129094,0.000353506,0.0008847702,0.0003410764,0.01768378],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009350593,"threshold_uncertainty_score":0.03128088,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1513254282","doi":"","title":"Towards a logic of feature-based semantic science theories","year":2010,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Semantic Web and Ontologies","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 British Columbia","funders":"","keywords":"Computer science; Feature (linguistics); Artificial intelligence; Epistemology","authors":[{"name":"David Poole","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02836111487639027,"gpt":0.3179121078937459,"spread":0.2895509930173557,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01470944,0.0009967022,0.001277083,0.004849633,0.002840961,0.007312962,0.00329336,0.003339556,0.003544876],"category_scores_gemma":[0.01597993,0.000956237,0.00306215,0.003444284,0.01259317,0.01752138,0.005567474,0.007566478,0.0008956844],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004815478,"about_ca_system_score_gemma":0.002550782,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002837681,"about_ca_topic_score_gemma":0.002521883,"domain_scores_codex":[0.9913493,0.004285401,0.0006382905,0.001134947,0.002143369,0.0004486574],"domain_scores_gemma":[0.9905046,0.005638912,0.0006332995,0.001388786,0.001432676,0.0004018196],"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.000004036793,0.000004810058,0.00005533184,0.00001442292,0.000006620166,0.00002322046,0.0001065004,0.0007466173,0.00003399957,0.9966935,0.0004001936,0.001910897],"study_design_scores_gemma":[0.000003709419,0.000003490041,0.00002017887,0.00001157852,0.000003618393,0.00001311943,0.00002250257,0.004653404,0.00004958984,0.9924844,0.002730329,0.000004143372],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006537406,0.001087164,0.9553636,0.008741252,0.0002623012,0.0001107482,0.000359984,0.0002432047,0.02729431],"genre_scores_gemma":[0.315393,0.001199588,0.6700627,0.003728409,0.0007901519,0.0006950047,0.0006689219,0.0001874493,0.007274855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01470944,"threshold_uncertainty_score":0.07779187,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3092634028","doi":"","title":"On limited conjunctions in polynomial feature logics, with applications in obda — Extended abstract","year":2018,"lang":"en","type":"article","venue":"Principles of Knowledge Representation and Reasoning","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Feature (linguistics); Computer science; Polynomial; Algebra over a field; Theoretical computer science; Mathematics; Artificial intelligence; Pure mathematics; Linguistics; Philosophy","authors":[{"name":"Stephanie McIntyre","is_ca":true},{"name":"Alexander Borgida","is_ca":false},{"name":"David Toman","is_ca":true},{"name":"Grant Weddell","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02879964874048106,"gpt":0.2945712786650068,"spread":0.2657716299245257,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00451897,0.0008765461,0.001468509,0.002785835,0.001922147,0.003822342,0.00275863,0.001422663,0.00946645],"category_scores_gemma":[0.01418431,0.0008261978,0.002450192,0.005770206,0.004510882,0.01243336,0.005795153,0.004588494,0.001249439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001886512,"about_ca_system_score_gemma":0.00109206,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003553906,"about_ca_topic_score_gemma":0.005185921,"domain_scores_codex":[0.9973667,0.001110959,0.0001790129,0.0004626822,0.0006135156,0.0002671315],"domain_scores_gemma":[0.9907539,0.006814525,0.0004248407,0.0009303449,0.0007644165,0.0003119869],"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.000151546,0.0001178781,0.0005137443,0.0001718943,0.00003825932,0.0002033392,0.0003255725,0.0140077,0.000810268,0.9249741,0.003942417,0.05474333],"study_design_scores_gemma":[0.00001905819,0.00002353376,0.0001425464,0.00004977553,0.00002983629,0.00007624998,0.00007167642,0.06669836,0.0004443084,0.9277053,0.004718645,0.00002083954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01558639,0.001338291,0.9617923,0.001658147,0.000255015,0.00007088618,0.0002563324,0.0003626108,0.01868006],"genre_scores_gemma":[0.4003399,0.002906233,0.5789085,0.0009489218,0.001339696,0.0002693506,0.0006586062,0.0003590103,0.01426976],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00946645,"threshold_uncertainty_score":0.03166842,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}