Results for 'Constraint Satisfaction'

1000+ found
Order:
  1.  25
    Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.Marcel Jackson & Belinda Trotta - 2013 - Studia Logica 101 (1):65-94.
    We observe a number of connections between recent developments in the study of constraint satisfaction problems, irredundant axiomatisation and the study of topological quasivarieties. Several restricted forms of a conjecture of Clark, Davey, Jackson and Pitkethly are solved: for example we show that if, for a finite relational structure M, the class of M-colourable structures has no finite axiomatisation in first order logic, then there is no set (even infinite) of first order sentences characterising the continuously M-colourable structures (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Stratified constraint satisfaction networks in synergetic multi-agent simulations of language evolution.Alexander Mehler - 2006 - In A. Loula, R. Gudwin & J. Queiroz (eds.), Artificial Cognition Systems. Idea Group Publishers. pp. 140--174.
     
    Export citation  
     
    Bookmark  
  3.  3
    Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.
  4.  7
    The constraint satisfaction problem and universal algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
    This paper gives a brief survey of current research on the complexity of the constraint satisfaction problem over fixed constraint languages.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Random constraint satisfaction: Easy generation of hard (satisfiable) instances.Ke Xu, Frédéric Boussemart, Fred Hemery & Christophe Lecoutre - 2007 - Artificial Intelligence 171 (8-9):514-534.
  6.  1
    Constraint satisfaction from a deductive viewpoint.W. Bibel - 1988 - Artificial Intelligence 35 (3):401-413.
  7. Constraint satisfaction over connected row-convex constraints.Yves Deville, Olivier Barette & Pascal Van Hentenryck - 1999 - Artificial Intelligence 109 (1-2):243-271.
  8. Qualitative constraint satisfaction problems: An extended framework with landmarks.Sanjiang Li, Weiming Liu & Shengsheng Wang - 2013 - Artificial Intelligence 201 (C):32-58.
  9.  1
    Decomposing constraint satisfaction problems using database techniques.Marc Gyssens, Peter G. Jeavons & David A. Cohen - 1994 - Artificial Intelligence 66 (1):57-89.
  10. Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination.Martin C. Cooper, Peter G. Jeavons & András Z. Salamon - 2010 - Artificial Intelligence 174 (9-10):570-584.
  11.  1
    Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.
  12.  2
    Information Processing and Constraint Satisfaction in Wason’s Selection Task.Emmanuel Genot - 2012 - In Jesus M. Larrazabal (ed.), Cognition, reasoning, emotion, Action. CogSc-12. Proceedings of the ILCLI International Workshop on Cognitive Science. pp. 153-162.
    In Wason’s Selection Task, subjects: process information from the instructions and build a mental representation of the problem, then: select a course of action to solve the problem,under the constraints imposed by the instructions. We analyze both aspects as part of a constraint satisfaction problem without assuming Wason’s ‘logical’ solution to be the correct one. We show that outcome of step may induce mutually inconsistent constraints, causing subjects to select at step solutions that violate some of them. Our (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  36
    Analogical Mapping by Constraint Satisfaction.Keith J. Holyoak & Paul Thagard - 1989 - Cognitive Science 13 (3):295-355.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   249 citations  
  14. ACME (Analogical Mapping by Constraint Satisfaction) as analogy model, 134 ARCS model and, 134 connectionist mapping networks in, 134. [REVIEW]Ambr See - 2005 - In K. Holyoak & B. Morrison (eds.), The Cambridge Handbook of Thinking and Reasoning. Cambridge University Press.
  15.  1
    Constraint satisfaction problem with bilevel constraint: application to interpretation of over-segmented images.A. Deruyver & Y. Hodé - 1997 - Artificial Intelligence 93 (1-2):321-335.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  34
    Coherence as Constraint Satisfaction.Paul Thagard & Karsten Verbeurgt - 1998 - Cognitive Science 22 (1):1-24.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  17. Conditional inference and constraint satisfaction: Reconciling mental models and the probabilistic approach?Mike Oaksford & Chater & Nick - 2010 - In Mike Oaksford & Nick Chater (eds.), Cognition and Conditionals: Probability and Logic in Human Thinking. Oxford University Press.
     
    Export citation  
     
    Bookmark  
  18. Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.
  19.  1
    Analog retrieval by constraint satisfaction.Paul Thagard, Keith J. Holyoak, Greg Nelson & David Gochfeld - 1990 - Artificial Intelligence 46 (3):259-310.
  20.  1
    Compiling constraint satisfaction problems.Rainer Weigel & Boi Faltings - 1999 - Artificial Intelligence 115 (2):257-287.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  37
    Interactive Activation and Mutual Constraint Satisfaction in Perception and Cognition.James L. McClelland, Daniel Mirman, Donald J. Bolger & Pranav Khaitan - 2014 - Cognitive Science 38 (6):1139-1189.
    In a seminal 1977 article, Rumelhart argued that perception required the simultaneous use of multiple sources of information, allowing perceivers to optimally interpret sensory information at many levels of representation in real time as information arrives. Building on Rumelhart's arguments, we present the Interactive Activation hypothesis—the idea that the mechanism used in perception and comprehension to achieve these feats exploits an interactive activation process implemented through the bidirectional propagation of activation among simple processing units. We then examine the interactive activation (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  22.  17
    Cognitive dissonance reduction as constraint satisfaction.Thomas R. Shultz & Mark R. Lepper - 1996 - Psychological Review 103 (2):219-240.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  23.  19
    The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
    We investigate the complexity of finding solutions to infinite recursive constraint satisfaction problems. We show that, in general, the problem of finding a solution to an infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through a recursive tree. We also identify natural classes of infinite recursive constraint satisfaction problems where the problem of finding a solution to the infinite recursive constraint satisfaction problem is equivalent to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. A linear constraint satisfaction approach to cost-based abduction.Eugene Santos - 1994 - Artificial Intelligence 65 (1):1-27.
  25. Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP.Minh Binh Do & Subbarao Kambhampati - 2001 - Artificial Intelligence 132 (2):151-182.
  26. The complexity of soft constraint satisfaction.David A. Cohen, Martin C. Cooper, Peter G. Jeavons & Andrei A. Krokhin - 2006 - Artificial Intelligence 170 (11):983-1016.
  27. Fast parallel constraint satisfaction.Lefteris M. Kirousis - 1993 - Artificial Intelligence 64 (1):147-160.
  28. The complexity of constraint satisfaction revisited.Alan K. Mackworth & Eugene C. Freuder - 1993 - Artificial Intelligence 59 (1-2):57-62.
  29. Exploiting symmetries within constraint satisfaction search☆☆This paper is an extended and updated version of [16], presented at the IJCAI-99 conference. [REVIEW]Pedro Meseguer & Carme Torras - 2001 - Artificial Intelligence 129 (1-2):133-163.
  30.  3
    Backjump-based backtracking for constraint satisfaction problems.Rina Dechter & Daniel Frost - 2002 - Artificial Intelligence 136 (2):147-188.
  31.  1
    Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction.John Hooker - 2000 - Wiley.
    A pioneering look at the fundamental role of logic in optimizationand constraint satisfaction While recent efforts to combine optimization and constraintsatisfaction have received considerable attention, little has beensaid about using logic in optimization as the key to unifying thetwo fields. Logic-Based Methods for Optimization develops for thefirst time a comprehensive conceptual framework for integratingoptimization and constraint satisfaction, then goes a step furtherand shows how extending logical inference to optimization allowsfor more powerful as well as flexible modeling (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  16
    Coherence: Beyond constraint satisfaction.Gareth Gabrys & Alan Lesgold - 1989 - Behavioral and Brain Sciences 12 (3):475-475.
  33.  2
    The complexity of constraint satisfaction problems for small relation algebras.M. Cristani & R. Hirsch - 2004 - Artificial Intelligence 156 (2):177-196.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Local consistency in parallel constraint satisfaction networks.Simon Kasif & Arthur L. Delcher - 1994 - Artificial Intelligence 69 (1-2):307-327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  1
    Multi-agent oriented constraint satisfaction.Jiming Liu, Han Jing & Y. Y. Tang - 2002 - Artificial Intelligence 136 (1):101-144.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  3
    Solving quantified constraint satisfaction problems.Ian P. Gent, Peter Nightingale, Andrew Rowley & Kostas Stergiou - 2008 - Artificial Intelligence 172 (6-7):738-771.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  2
    The logic of constraint satisfaction.Alan K. Mackworth - 1992 - Artificial Intelligence 58 (1-3):3-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  1
    Domain permutation reduction for constraint satisfaction problems.Martin J. Green & David A. Cohen - 2008 - Artificial Intelligence 172 (8-9):1094-1118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Secure distributed constraint satisfaction: reaching agreement without revealing private information.Makoto Yokoo, Koutarou Suzuki & Katsutoshi Hirayama - 2005 - Artificial Intelligence 161 (1-2):229-245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  6
    State transitions in constraint satisfaction networks.John K. Kruschke - 1989 - Behavioral and Brain Sciences 12 (3):407-408.
  41.  15
    Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures.Libor Barto, Michael Kompatscher, Miroslav Olšák, Trung Van Pham & Michael Pinsker - 2019 - Journal of Mathematical Logic 19 (2):1950010.
    There exist two conjectures for constraint satisfaction problems of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain nontrivial linear identity modulo outer embeddings. The second conjecture, challenging the approach via model-complete cores by reflections, states that tractability is equivalent to the linear identities satisfied by its polymorphisms clone, together with the natural (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems.Alan K. Mackworth & Eugene C. Freuder - 1985 - Artificial Intelligence 25 (1):65-74.
  43.  27
    Architectures and Ethics for Robots Constraint Satisfaction as a Unitary Design Framework.Alan K. Mackworth - 2011 - In M. Anderson S. Anderson (ed.), Machine Ethics. Cambridge Univ. Press. pp. 30--1.
  44. Motivation, decision making, and consciousness: From psychodynamics to subliminal priming and emotional constraint satisfaction.Drew Westen, Joel Weinberger & Rebekah Bradley - 2007 - In Philip David Zelazo, Morris Moscovitch & Evan Thompson (eds.), Cambridge Handbook of Consciousness. Cambridge: Cambridge University Press.
  45. Thagard. P.(1989). Analogical mapping by constraint satisfaction: a computational theory.K. Holyoak - 1996 - Cognitive Science 13.
     
    Export citation  
     
    Bookmark  
  46.  19
    Branch and bound algorithms to solve semiring constraint satisfaction problems.Louise Leenen & Aditya Ghose - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 991--997.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  61
    Forming impressions from stereotypes, traits, and behaviors: A parallel-constraint-satisfaction theory.Ziva Kunda & Paul Thagard - 1996 - Psychological Review 103 (2):284-308.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  48. Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.
  49. Modeling sequential information integration with parallel constraint satisfaction.Katja Mehlhorn & Georg Jahn - 2009 - In N. A. Taatgen & H. van Rijn (eds.), Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 2469--2474.
  50.  24
    Bidirectional reasoning in decision making by constraint satisfaction.Keith J. Holyoak & Dan Simon - 1999 - Journal of Experimental Psychology: General 128 (1):3.
1 — 50 / 1000