- Multi-agent path finding with mutex propagation.Han Zhang, Jiaoyang Li, Pavel Surynek, T. K. Satish Kumar & Sven Koenig - 2022 - Artificial Intelligence 311 (C):103766.details
|
|
|
Domain filtering consistencies for non-binary constraints.Christian Bessiere, Kostas Stergiou & Toby Walsh - 2008 - Artificial Intelligence 172 (6-7):800-822.details
|
|
|
Domain permutation reduction for constraint satisfaction problems.Martin J. Green & David A. Cohen - 2008 - Artificial Intelligence 172 (8-9):1094-1118.details
|
|
|
Fuzzy rrDFCSP and planning.Ian Miguel & Qiang Shen - 2003 - Artificial Intelligence 148 (1-2):11-52.details
|
|
|
Network-based heuristics for constraint-satisfaction problems.Rina Dechter & Judea Pearl - 1987 - Artificial Intelligence 34 (1):1-38.details
|
|
|
Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.details
|
|
|
Arc consistency for factorable relations.Mark Perlin - 1992 - Artificial Intelligence 53 (2-3):329-342.details
|
|
|
A theory of conflict resolution in planning.Qiang Yang - 1992 - Artificial Intelligence 58 (1-3):361-392.details
|
|
|
An optimal backtrack algorithm for tree-structured constraint satisfaction problems.Roberto J. Bayardo & Daniel P. Miranker - 1994 - Artificial Intelligence 71 (1):159-181.details
|
|
|
Binary vs. non-binary constraints☆☆This paper includes results that first appeared in [1,4,23]. This research has been supported in part by the Canadian Government through their NSERC and IRIS programs, and by the EPSRC Advanced Research Fellowship program. [REVIEW]Fahiem Bacchus, Xinguang Chen, Peter van Beek & Toby Walsh - 2002 - Artificial Intelligence 140 (1-2):1-37.details
|
|
|
A probabilistic approach to solving crossword puzzles.Michael L. Littman, Greg A. Keim & Noam Shazeer - 2002 - Artificial Intelligence 134 (1-2):23-55.details
|
|
|
Qualitative reasoning about relative direction of oriented points.Till Mossakowski & Reinhard Moratz - 2012 - Artificial Intelligence 180-181 (C):34-45.details
|
|
|
Solving connected row convex constraints by variable elimination.Yuanlin Zhang & Satyanarayana Marisetti - 2009 - Artificial Intelligence 173 (12-13):1204-1219.details
|
|
|
A spectrum of compromise aggregation operators for multi-attribute decision making.Xudong Luo & Nicholas R. Jennings - 2007 - Artificial Intelligence 171 (2-3):161-184.details
|
|
|
Asynchronous aggregation and consistency in distributed constraint satisfaction.Marius-Călin Silaghi & Boi Faltings - 2005 - Artificial Intelligence 161 (1-2):25-53.details
|
|
|
Fuzzy constraint networks for signal pattern recognition.P. Félix, S. Barro & R. Marín - 2003 - Artificial Intelligence 148 (1-2):103-140.details
|
|
|
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments.Xudong Luo, Nicholas R. Jennings, Nigel Shadbolt, Ho-Fung Leung & Jimmy Ho-man Lee - 2003 - Artificial Intelligence 148 (1-2):53-102.details
|
|
|
Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition.Rina Dechter - 1990 - Artificial Intelligence 41 (3):273-312.details
|
|
|
Experimental evaluation of preprocessing algorithms for constraint satisfaction problems.Rina Dechter & Itay Meiri - 1994 - Artificial Intelligence 68 (2):211-241.details
|
|
|
Qualitative representation of positional information.Eliseo Clementini, Paolino Di Felice & Daniel Hernández - 1997 - Artificial Intelligence 95 (2):317-356.details
|
|
|
Local search with constraint propagation and conflict-based heuristics.Narendra Jussien & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):21-45.details
|
|
|
On point-duration networks for temporal reasoning.I. Navarrete, A. Sattar, R. Wetprasit & R. Marin - 2002 - Artificial Intelligence 140 (1-2):39-70.details
|
|
|
Constraint propagation techniques for the disjunctive scheduling problem.Ulrich Dorndorf, Erwin Pesch & Toàn Phan-Huy - 2000 - Artificial Intelligence 122 (1-2):189-240.details
|
|
|
No more “Partial” and “Full Looking Ahead”.Edward Tsang - 1998 - Artificial Intelligence 98 (1-2):351-361.details
|
|
|
Learning to improve constraint-based scheduling.Monte Zweben, Eugene Davis, Brian Daun, Ellen Drascher, Michael Deale & Megan Eskey - 1992 - Artificial Intelligence 58 (1-3):271-296.details
|
|
|
Properties of tree convex constraints.Yuanlin Zhang & Eugene C. Freuder - 2008 - Artificial Intelligence 172 (12-13):1605-1612.details
|
|
|
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.details
|
|
|
Qualitative reasoning with directional relations.D. Wolter & J. H. Lee - 2010 - Artificial Intelligence 174 (18):1498-1507.details
|
|
|
Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving.Richard J. Wallace & Eugene C. Freuder - 2005 - Artificial Intelligence 161 (1-2):209-227.details
|
|
|
Reasoning about qualitative temporal information.Peter van Beek - 1992 - Artificial Intelligence 58 (1-3):297-326.details
|
|
|
Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.details
|
|
|
A gentle introduction to Numerica.Pascal Van Hentenryck - 1998 - Artificial Intelligence 103 (1-2):209-235.details
|
|
|
A generic arc-consistency algorithm and its specializations.Pascal Van Hentenryck, Yves Deville & Choh-Man Teng - 1992 - Artificial Intelligence 57 (2-3):291-321.details
|
|
|
Investigating production system representations for non-combinatorial match.Milind Tambe & Paul S. Rosenbloom - 1994 - Artificial Intelligence 68 (1):155-199.details
|
|
|
Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.details
|
|
|
Backtracking algorithms for disjunctions of temporal constraints.Kostas Stergiou & Manolis Koubarakis - 2000 - Artificial Intelligence 120 (1):81-117.details
|
|
|
Parsing as non-Horn deduction.Edward P. Stabler - 1993 - Artificial Intelligence 63 (1-2):225-264.details
|
|
|
The increasing cost tree search for optimal multi-agent pathfinding.Guni Sharon, Roni Stern, Meir Goldenberg & Ariel Felner - 2013 - Artificial Intelligence 195 (C):470-495.details
|
|
|
A Probabilistic Constraints Approach to Language Acquisition and Processing.Mark S. Seidenberg & Maryellen C. MacDonald - 1999 - Cognitive Science 23 (4):569-588.details
|
|
|
Spatial relation learning for explainable image classification and annotation in critical applications.Régis Pierrard, Jean-Philippe Poli & Céline Hudelot - 2021 - Artificial Intelligence 292 (C):103434.details
|
|
|
Modelling and solving temporal reasoning as propositional satisfiability.Duc Nghia Pham, John Thornton & Abdul Sattar - 2008 - Artificial Intelligence 172 (15):1752-1782.details
|
|
|
Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics.Bernard Nudel - 1983 - Artificial Intelligence 21 (1-2):135-178.details
|
|
|
Constraint propagation as information maximization.A. Nait Abdallah & M. H. van Emden - 2013 - Artificial Intelligence 197 (C):25-38.details
|
|
|
A condensed semantics for qualitative spatial reasoning about oriented straight line segments.Reinhard Moratz, Dominik Lücke & Till Mossakowski - 2011 - Artificial Intelligence 175 (16-17):2099-2127.details
|
|
|
Constraint relaxation may be perfect.Ugo Montanari & Francesca Rossi - 1991 - Artificial Intelligence 48 (2):143-170.details
|
|
|
Arc and path consistency revisited.Roger Mohr & Thomas C. Henderson - 1986 - Artificial Intelligence 28 (2):225-233.details
|
|
|
Combining qualitative and quantitative constraints in temporal reasoning.Itay Meiri - 1996 - Artificial Intelligence 87 (1-2):343-385.details
|
|
|
The logic of constraint satisfaction.Alan K. Mackworth - 1992 - Artificial Intelligence 58 (1-3):3-20.details
|
|
|
The complexity of constraint satisfaction revisited.Alan K. Mackworth & Eugene C. Freuder - 1993 - Artificial Intelligence 59 (1-2):57-62.details
|
|
|
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.details
|
|
