- Augmenting tractable fragments of abstract argumentation.Wolfgang Dvořák, Sebastian Ordyniak & Stefan Szeider - 2012 - Artificial Intelligence 186 (C):157-173.details
|
|
Relativization makes contradictions harder for Resolution.Stefan Dantchev & Barnaby Martin - 2014 - Annals of Pure and Applied Logic 165 (3):837-857.details
|
|
Forbidden Induced Subgraphs and the Łoś–Tarski Theorem.Yijia Chen & Jörg Flum - 2024 - Journal of Symbolic Logic 89 (2):516-548.details
|
|
Descriptive Complexity, Computational Tractability, and the Logical and Cognitive Foundations of Mathematics.Markus Pantsar - 2020 - Minds and Machines 31 (1):75-98.details
|
|
Cognitive and Computational Complexity: Considerations from Mathematical Problem Solving.Markus Pantsar - 2019 - Erkenntnis 86 (4):961-997.details
|
|
Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.details
|
|
Online, computable and punctual structure theory.Matthew Askes & Rod Downey - 2023 - Logic Journal of the IGPL 31 (6):1251-1293.details
|
|
Rational analysis, intractability, and the prospects of ‘as if’-explanations.Iris van Rooij, Johan Kwisthout, Todd Wareham & Cory Wright - 2018 - Synthese 195 (2):491-510.details
|
|
Intractability and the use of heuristics in psychological explanations.Iris Rooij, Cory Wright & Todd Wareham - 2012 - Synthese 187 (2):471-487.details
|
|
(2 other versions)Descriptive complexity theories.Joerg Flum - 2003 - Theoria 18 (1):47-58.details
|
|
On the computational complexity of ethics: moral tractability for minds and machines.Jakob Stenseke - 2024 - Artificial Intelligence Review 57 (105):90.details
|
|
(2 other versions)Descriptive Complexity Theories.Joerg Flum - 2010 - Theoria 18 (1):47-58.details
|
|
Demons of Ecological Rationality.Maria Otworowska, Mark Blokpoel, Marieke Sweers, Todd Wareham & Iris van Rooij - 2018 - Cognitive Science 42 (3):1057-1066.details
|
|
The Tractable Cognition Thesis.Iris Van Rooij - 2008 - Cognitive Science 32 (6):939-984.details
|
|
Bayesian Intractability Is Not an Ailment That Approximation Can Cure.Johan Kwisthout, Todd Wareham & Iris van Rooij - 2011 - Cognitive Science 35 (5):779-784.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.Iris van de Pol, Iris van Rooij & Jakub Szymanik - 2018 - Journal of Logic, Language and Information 27 (3):255-294.details
|
|
Backdoors to tractable answer set programming.Johannes Klaus Fichte & Stefan Szeider - 2015 - Artificial Intelligence 220 (C):64-103.details
|
|
Guarantees and limits of preprocessing in constraint satisfaction and reasoning.Serge Gaspers & Stefan Szeider - 2014 - Artificial Intelligence 216 (C):1-19.details
|
|
Complexity Level Analysis Revisited: What Can 30 Years of Hindsight Tell Us about How the Brain Might Represent Visual Information?John K. Tsotsos - 2017 - Frontiers in Psychology 8.details
|
|
Similarity as tractable transformation.Moritz Müller, Iris van Rooij & Todd Wareham - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society.details
|
|
Identifying sources of intractability in cognitive models: An illustration using analogical structure mapping.Iris van Rooij, Patricia Evans, Moritz Müller, Jason Gedge & Todd Wareham - 2008 - In B. C. Love, K. McRae & V. M. Sloutsky (eds.), Proceedings of the 30th Annual Conference of the Cognitive Science Society. Cognitive Science Society.details
|
|