MétaCan
ENFR
Menu
Cohort builder

4,299,418 works, Canadian by any of four routes.

Every filter state is a URL; the URL is the query; the query is citable via /q/⟨hash⟩. The page, the API and the export parse the same parameters.

Export CSVExport JSONAPI query

The current cohort, streamed from the database: every work column, the machine labels, the provisional scores, and the per-row validation status. Exports are capped at 100,000 rows. Mints a permanent /q/ link for this exact query. The same filters always produce the same link, whoever asks.

Search term
Author
Year range
→
Sort
Language
Type
Field
Venue
Topic
Logic, Reasoning, and Knowledge
Retraction
Abstract
Evidence source
Study design
Label agreement
Label status

Direct Codex and Gemma labels are unvalidated and sparse. Distilled predictions cover the full frame and are also unvalidated. Choose the evidence source explicitly; absence of a direct label is never a negative label.

affaffiliation
fundfunder
venuejournal
aboutaboutness

The four routes compose: require the funder route and exclude affiliation to get the funder-only stratum no affiliation-based frame ever sees.

835 results · 1 filter active ·
Results by year
20002025
Publication date
Categories
Machine labels · sparse coverage
Evidence
Language
Type
Citations
An unlabeled work is unknown, not a negative. Label coverage is reported on every query.
835 works in the cohort · of 4,299,418page 13 of 17

Labels cover 0 of 835 works in this cohort. The rest are unlabeled, which is not a negative label: the label table is sparse today and grows as labeling rounds land.

Distilled predictions cover 835 of 835 works in this cohort. Predictions are machine_predicted_unvalidated teacher distillation outputs. Candidate is the union; consensus is the intersection.

afffundunlabeled
Epistemic Logic of Likelihood and Belief
James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco
2022· article· en· Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
venueno affunlabeled
Quelle logique pour la complexité?
Yves Jamont JR Duplan
2016· article· fr· Nouvelles perspectives en sciences sociales· Computer Science
distilled prediction:candidate · metaepi_narrow+sts+insufficient_payloadconsensus · sts
0
citations
affvenueunlabeled
Whither Consequence?
John E. Woods
2011· article· en· Informal Logic· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
BUNDER’S PARADOX
Michael Caie
2019· article· en· The Review of Symbolic Logic· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
A Logical Semantics for PDDL+
Vitaliy Batusov, Mikhail Soutchanski
2021· article· en· Proceedings of the International Conference on Automated Planning and Scheduling· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Weakening is external to <i>only</i>
Luis Alonso‐Ovalle, Aron Hirsch
2024· article· en· Proceedings from Semantics and Linguistic Theory· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communicationconsensus · none
0
citations
affunlabeled
Exceptions in Ontologies
Christophe Jouis, Julien Bourdaillet, Bassel Habib, Jean‐Gabriel Ganascia
2010· book-chapter· en· IGI Global eBooks· Computer Science
distilled prediction:candidate · metaepi_narrowconsensus · none
0
citations
aboutno affunlabeled
Proleptic objects as complex-NPs
John Gluckman
2024· article· en· The Linguistic Review· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
affunlabeled
Consciousness as a Trigger to Adaptation
Massimo Cossentino, Luca Sabatucci, John Mylopoulos
2023· article· en· Journal of Artificial Intelligence and Consciousness· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affunlabeled
Logics of spatial isolation
Can Başķent, David Gilbert, Giorgio Venturi
2025· article· en· Journal of Logic and Computation· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
Preface
Alan Jeffrey
2001· article· en· Electronic Notes in Theoretical Computer Science· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
Session details: Semantics
Michael Mislove
2015· article· en· ACM SIGLOG News· Computer Science
distilled prediction:candidate · insufficient_payloadconsensus · none
0
citations
fundvenueno affunlabeled
Classical Distributive Restriction Categories
Robin Cockett, Jean-Simon Pacaud Lemay
2024· article· en· Theory and applications of categories· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
afffundno abstractunlabeled
Abnormality and randomness
Eric Neufeld
2011· article· en· International Journal of Approximate Reasoning· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Preliminary Concepts
William M. Farmer
2023· book-chapter· en· Computer science foundations and applied logic· Computer Science
distilled prediction:candidate · metaepi_narrow+scholarly_communication+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Filters-based revision
Maria Andrikopoulou, Theofanis Aravanis, James P. Delgrande, Panagis Karazeris, Pavlos Peppas
2025· article· en· Annals of Mathematics and Artificial Intelligence· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
affno abstractunlabeled
Towards Reflective Normative Agents
Nathan Lloyd, Peter R. Lewis
2024· book-chapter· en· Springer proceedings in complexity· Computer Science
distilled prediction:candidate · metaepi_narrow+insufficient_payloadconsensus · none
0
citations
affno abstractunlabeled
Preface
Rudolf Berghammer, Bernhard Möller, Michael Winter
2014· article· en· Journal of Logical and Algebraic Methods in Programming· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
aboutno affunlabeled
Verifying one hundred prisoners and a lightbulb
Hans van Ditmarsch, Jan van Eijck, William Ka Kei Wu
2010· article· en· HAL (Le Centre pour la Communication Scientifique Directe)· Computer Science
distilled prediction:candidate · noneconsensus · none
0
citations
← previousnext →

How this was built: Screen · Findings · About