Guarantees and limits of preprocessing in constraint satisfaction and reasoning

&
Artificial Intelligence 216 (C):1-19 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.06.006

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Experimental evaluation of preprocessing algorithms for constraint satisfaction problems.Rina Dechter & Itay Meiri - 1994 - Artificial Intelligence 68 (2):211-241.
The Constraint Satisfaction Problem and Universal Algebra.Libor Barto - 2015 - Bulletin of Symbolic Logic 21 (3):319-337.
The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - Annals of Pure and Applied Logic 161 (3):447-457.
The Emergence of Analogy. Analogical Reasoning as a Constraint Satisfaction Process.Jan van Dormael - 1990 - Philosophica 46 (2):65-76.
Bidirectional reasoning in decision making by constraint satisfaction.Keith J. Holyoak & Dan Simon - 1999 - Journal of Experimental Psychology: General 128 (1):3.
A Compactness Theorem For Infinite Constraint Satisfaction.Robert Cowen - 1998 - Reports on Mathematical Logic:97-107.
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.
Coherence: The price is right.Paul Thagard - 2012 - Southern Journal of Philosophy 50 (1):42-49.
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.
Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.
Evolution of meaningful information generation through the evolution of life (Biosemiotics Gatherings 2003).Christophe Menant - manuscript
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.
A Minimality Constraint on Grounding.Jonas Werner - 2020 - Erkenntnis 85 (5):1153-1168.
Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring.Marcel Jackson & Belinda Trotta - 2013 - Studia Logica 101 (1):65-94.
Sensorimotor process with constraint satisfaction. Grounding of meaning (EUCogII 2009).Christophe Menant - manuscript

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,623,074)

6 months
3 (#973,855)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Tree clustering for constraint networks.Rina Dechter & Judea Pearl - 1989 - Artificial Intelligence 38 (3):353-366.
On the hardness of approximate reasoning.Dan Roth - 1996 - Artificial Intelligence 82 (1-2):273-302.

View all 9 references / Add more references