MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Logic, Reasoning, and Knowledge
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

835 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
835 travaux dans la cohorte · sur 4 299 418page 9 sur 17

Les étiquettes couvrent 0 des 835 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 835 des 835 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le mode candidate est l'union; le consensus est l'intersection.

affsans résuménon étiqueté
The Logic of Fiction
John Woods, Peter Alward
2002· book-chapter· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affsans résuménon étiqueté
Solving Modular Model Expansion: Case Studies
Shahab Tasharrofi, Xiongnan Wu, Eugenia Ternovska
2013· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
4
citations
affsans résuménon étiqueté
Logics in Artificial Intelligence
Heinrich Wansing, Carsten Lutz
2008· book· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+open_scienceconsensus · aucune
4
citations
affnon étiqueté
Iterated Belief Change and the Levi Identity
Abhaya Nayak, Randy Goebel, Mehmet A. Orgun, Tam Pham
2005· article· en· DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)· Computer Science
prédiction distillée:candidate · scholarly_communicationconsensus · aucune
4
citations
affsans résuménon étiqueté
Extending Datalog with Declarative Updates
Mengchi Liu
2000· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
4
citations
affnon étiqueté
A note on logics of essence and accident
David Gilbert, Giorgio Venturi
2018· article· en· Logic Journal of IGPL· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
4
citations
affsans résuménon étiqueté
Two Approaches to Efficient Open-World Reasoning
Giuseppe De Giacomo, Hector J. Levesque
2000· book-chapter· en· Computer Science
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · insufficient_payload
3
citations
affsans résuménon étiqueté
Relational Topology
G. Schmidt, Michael Winter
2018· book· en· Lecture notes in mathematics· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affsans résuménon étiqueté
An Infinite-Valued Semantics for Logic Programs with Negation
Panos Rondogiannis, William W. Wadge
2002· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
3
citations
affsans résuménon étiqueté
Remarks on the Modal Logic of Henry Bradford Smith
Mary C. MacLeod, Peter Κ. Schotch
2000· article· en· Journal of Philosophical Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Measuring and Computing Database Inconsistency via Repairs
Leopoldo Bertossi
2018· preprint· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communication+open_scienceconsensus · aucune
3
citations
affnon étiqueté
Situation Calculus Game Structures and GDL
Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce
2022· article· en· Minerva Access (University of Melbourne)· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affvenuenon étiqueté
A Dialectical Tier Within Reason
Amy Ohler
2004· article· en· Informal Logic· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
3
citations
affsans résuménon étiqueté
Lookahead in Smodels Compared to Local Consistencies in CSP
Jia-Huai You, Guohua Liu, Li Yan Yuan, Curtis Onuczko
2005· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
affnon étiqueté
Belief change and base dependence
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
2014· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Weak conditional logics of normality
James P. Delgrande
2003· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Tight Logic Programs
Esra Erdem, Vladimir Lifschitz
2003· preprint· en· ArXiv.org· Computer Science
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · aucune
3
citations
affnon étiqueté
Two Values, Three Values, Many Values, No Values
Charles G. Morgan
2003· book-chapter· en· Studies in fuzziness and soft computing· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · metaepi_narrow
3
citations
affnon étiqueté
The strength of replacement in weak arithmetic
Stephen Cook, Neil Thapen
2006· article· en· ACM Transactions on Computational Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affnon étiqueté
Online agent supervision in the situation calculus
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016· article· en· IRIS Research product catalog (Sapienza University of Rome)· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
affsans résuménon étiqueté
Constructing Camin-Sokal Phylogenies Via Answer Set Programming
Jonathan Kavanagh, David G. M. Mitchell, Eugenia Ternovska, Ján Maňuch, Arvind Gupta
2006· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
3
citations
fundno affnon étiqueté
An Algebra of Combined Constraint Solving
Eugenia Ternovska
2018· article· en· EPiC series in computing· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations
venueno affnon étiqueté
Formal Logic for Informal Logicians
David Sherry
2008· article· en· Informal Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
3
citations
aboutno affnon étiqueté
Planning under uncertainty as G<scp>OLOG</scp>programs
Jorge A. Baier, Javier A. Pinto
2003· article· en· Journal of Experimental & Theoretical Artificial Intelligence· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
3
citations

En coulisses: Sélection · Constats · À propos