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 5 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.

afffundsans résuménon étiqueté
Deep Inference and Probabilistic Coherence Spaces
Richard Blute, Prakash Panangaden, Sergey Slavnov
2010· article· en· Applied Categorical Structures· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
14
citations
affsans résuménon étiqueté
Causation in terms of production
Holger Andreas, Mario Günther
2019· article· en· Philosophical Studies· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
13
citations
affnon étiqueté
Towards an axiom system for default logic
Gerhard Lakemeyer, Hector J. Levesque
2006· article· en· RWTH Publications (RWTH Aachen)· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
13
citations
affsans résuménon étiqueté
Deontic Logic in Computer Science
Dag Elgesem, Jan Broersen
2012· book· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+sts+scholarly_communication+open_scienceconsensus · aucune
13
citations
affnon étiqueté
What Does Consciousness Bring to CTS
Daniel M. Dubois, Pierre Poirier, Roger Nkambou
2007· article· en· National Conference on Artificial Intelligence· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
13
citations
affsans résuménon étiqueté
How to progress a database III
Stavros Vassos, Hector J. Levesque
2012· article· en· Artificial Intelligence· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
12
citations
affnon étiqueté
RELEVANCE LOGICS AND RELATION ALGEBRAS
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
2009· article· en· The Review of Symbolic Logic· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
12
citations
affnon étiqueté
Epistemic Plan Recognition
Maayan Shvo, Toryn Q. Klassen, Shirin Sohrabi, Sheila A. McIlraith
2020· article· en· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
12
citations
affnon étiqueté
Trust-sensitive belief revision
Aaron Hunter, Richard Booth
2015· article· en· ORCA Online Research @Cardiff (Cardiff University)· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
12
citations
affnon étiqueté
Logics of temporal-epistemic actions
Bryan Renne, Joshua Sack, Audrey Yap
2015· article· en· Synthese· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
12
citations
affnon étiqueté
Towards a Formal Pragmatics of Discourse
Daniel Vanderveken
2013· article· en· International Review of Pragmatics· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
12
citations
affvenuenon étiqueté
Inference Claims
David Hitchcock
2011· article· en· Informal Logic· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
12
citations
affsans résuménon étiqueté
plp: A Generic Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
2001· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
12
citations
affsans résuménon étiqueté
Speculative Abductive Reasoning for Hierarchical Agent Systems
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
2010· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
12
citations
affsans résuménon étiqueté
Strong-Cyclic Planning when Fairness is Not a Valid Assumption.
Alberto Rivas, Sheila A. McIlraith
2016· article· en· International Joint Conference on Artificial Intelligence· Computer Science
prédiction distillée:candidate · metaepi_narrow+insufficient_payloadconsensus · insufficient_payload
11
citations
affsans résuménon étiqueté
Revising beliefs on the basis of evidence
James P. Delgrande
2011· article· en· International Journal of Approximate Reasoning· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
11
citations
affnon étiqueté
How to progress beliefs in continuous domains
Vaishak Belle, Hector J. Levesque
2014· article· en· Edinburgh Research Explorer (University of Edinburgh)· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
11
citations
affnon étiqueté
Generalized multi-context systems
Shahab Tasharrofi, Eugenia Ternovska
2014· article· en· Principles of Knowledge Representation and Reasoning· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
11
citations
afffundnon étiqueté
Causal Theories of Actions Revisited
Fangzhen Lin, Mikhail Soutchanski
2011· article· en· Proceedings of the AAAI Conference on Artificial Intelligence· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
11
citations
affsans résuménon étiqueté
Expressive power and abstraction in Essence
David G. M. Mitchell, Eugenia Ternovska
2008· article· en· Constraints· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
11
citations
affsans résuménon étiqueté
Remarks on the Scott–Lindenbaum Theorem
Gillman Payette, Peter Κ. Schotch
2013· article· en· Studia Logica· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
10
citations
affsans résuménon étiqueté
Reactivity in a Logic-Based Robot Programming Framework
Yves Lespérance, Kenneth Tam, Michael Jenkin
2000· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
10
citations
affnon étiqueté
An Exponential Time/Space Speedup For Resolution
Philipp Hertel, Toniann Pitassi
2007· article· en· Electronic colloquium on computational complexity· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
10
citations
affnon étiqueté
Loop formulas for description logic programs
Yisong Wang, Jia-Huai You, Li Yan Yuan, Yi-Dong Shen
2010· article· en· Theory and Practice of Logic Programming· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Information Sharing Agents in a Peer Data Exchange System
Leopoldo Bertossi, Loreto Bravo
2008· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+open_scienceconsensus · aucune
10
citations
affnon étiqueté
Parallel belief revision
James P. Delgrande
2008· article· en· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
10
citations
affvenuenon étiqueté
Pollock on Practical Reasoning
David Hitchcock
2001· article· en· Informal Logic· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
9
citations

En coulisses: Sélection · Constats · À propos