- 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
|
|
Solving connected row convex constraints by variable elimination.Yuanlin Zhang & Satyanarayana Marisetti - 2009 - Artificial Intelligence 173 (12-13):1204-1219.details
|
|
Properties of tree convex constraints.Yuanlin Zhang & Eugene C. Freuder - 2008 - Artificial Intelligence 172 (12-13):1605-1612.details
|
|
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
|
|
A theory of conflict resolution in planning.Qiang Yang - 1992 - Artificial Intelligence 58 (1-3):361-392.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 generic arc-consistency algorithm and its specializations.Pascal Van Hentenryck, Yves Deville & Choh-Man Teng - 1992 - Artificial Intelligence 57 (2-3):291-321.details
|
|
A gentle introduction to Numerica.Pascal Van Hentenryck - 1998 - Artificial Intelligence 103 (1-2):209-235.details
|
|
No more “Partial” and “Full Looking Ahead”.Edward Tsang - 1998 - Artificial Intelligence 98 (1-2):351-361.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
|
|
Asynchronous aggregation and consistency in distributed constraint satisfaction.Marius-Călin Silaghi & Boi Faltings - 2005 - Artificial Intelligence 161 (1-2):25-53.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
|
|
Arc consistency for factorable relations.Mark Perlin - 1992 - Artificial Intelligence 53 (2-3):329-342.details
|
|
Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics.Bernard Nudel - 1983 - Artificial Intelligence 21 (1-2):135-178.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 as information maximization.A. Nait Abdallah & M. H. van Emden - 2013 - Artificial Intelligence 197 (C):25-38.details
|
|
Qualitative reasoning about relative direction of oriented points.Till Mossakowski & Reinhard Moratz - 2012 - Artificial Intelligence 180-181 (C):34-45.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
|
|
Fuzzy rrDFCSP and planning.Ian Miguel & Qiang Shen - 2003 - Artificial Intelligence 148 (1-2):11-52.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
|
|
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
|
|
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
|
|
Variable-Centered Consistency in Model RB.Liang Li, Tian Liu & Ke Xu - 2013 - Minds and Machines 23 (1):95-103.details
|
|
Multi-agent oriented constraint satisfaction.Jiming Liu, Han Jing & Y. Y. Tang - 2002 - Artificial Intelligence 136 (1):101-144.details
|
|
Logic and AI in China: An Introduction. [REVIEW]Fenrong Liu & Kaile Su - 2013 - Minds and Machines 23 (1):1-4.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
|
|
Planning parallel actions.A. R. Lingard & E. B. Richards - 1998 - Artificial Intelligence 99 (2):261-324.details
|
|
Towards breaking more composition symmetries in partial symmetry breaking.Jimmy H. M. Lee & Zichen Zhu - 2017 - Artificial Intelligence 252 (C):51-82.details
|
|
Problem solving by searching for models with a theorem prover.Shie-Jue Lee & David A. Plaisted - 1994 - Artificial Intelligence 69 (1-2):205-233.details
|
|
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems.Jimmy H. M. Lee & Allen Z. Zhong - 2023 - Artificial Intelligence 323 (C):103974.details
|
|
STR3: A path-optimal filtering algorithm for table constraints.Christophe Lecoutre, Chavalit Likitvivatanavong & Roland H. C. Yap - 2015 - Artificial Intelligence 220 (C):1-27.details
|
|
Accelerating filtering techniques for numeric CSPs.Yahia Lebbah & Olivier Lhomme - 2002 - Artificial Intelligence 139 (1):109-132.details
|
|
Solving weighted CSP by maintaining arc consistency.Javier Larrosa & Thomas Schiex - 2004 - Artificial Intelligence 159 (1-2):1-26.details
|
|
Localized planning with action-based constraints.Amy L. Lansky - 1998 - Artificial Intelligence 98 (1-2):49-136.details
|
|
Effective solution of qualitative interval constraint problems.Peter B. Ladkin & Alexander Reinefeld - 1992 - Artificial Intelligence 57 (1):105-124.details
|
|