- 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
|
|
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
|
|
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.details
|
|
A geometric constraint engine.Glenn A. Kramer - 1992 - Artificial Intelligence 58 (1-3):327-360.details
|
|
On the parallel complexity of discrete relaxation in constraint satisfaction networks.Simon Kasif - 1990 - Artificial Intelligence 45 (3):275-286.details
|
|
Local consistency in parallel constraint satisfaction networks.Simon Kasif & Arthur L. Delcher - 1994 - Artificial Intelligence 69 (1-2):307-327.details
|
|
Hybrid backtracking bounded by tree-decomposition of constraint networks.Philippe Jégou & Cyril Terrioux - 2003 - Artificial Intelligence 146 (1):43-75.details
|
|
Tractable constraints on ordered domains.Peter G. Jeavons & Martin C. Cooper - 1995 - Artificial Intelligence 79 (2):327-339.details
|
|
Constraints, consistency and closure.Peter Jeavons, David Cohen & Martin C. Cooper - 1998 - Artificial Intelligence 101 (1-2):251-265.details
|
|
A new approach to cyclic ordering of 2D orientations using ternary relation algebras.Amar Isli & Anthony G. Cohn - 2000 - Artificial Intelligence 122 (1-2):137-187.details
|
|
Increasing tree search efficiency for constraint satisfaction problems.Robert M. Haralick & Gordon L. Elliott - 1980 - Artificial Intelligence 14 (3):263-313.details
|
|
Comments on Mohr and Henderson's path consistency algorithm.Ching-Chih Han & Chia-Hoang Lee - 1988 - Artificial Intelligence 36 (1):125-130.details
|
|
Decomposing constraint satisfaction problems using database techniques.Marc Gyssens, Peter G. Jeavons & David A. Cohen - 1994 - Artificial Intelligence 66 (1):57-89.details
|
|
Some fundamental properties of local constraint propagation.Hans-Werner Güsgen & Joachim Hertzberg - 1988 - Artificial Intelligence 36 (2):237-247.details
|
|
The combinatorics of object recognition in cluttered environments using constrained search.W. Eric L. Grimson - 1990 - Artificial Intelligence 44 (1-2):121-165.details
|
|
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.details
|
|
Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.details
|
|
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.details
|
|
Complexity results and algorithms for possibilistic influence diagrams.Laurent Garcia & Régis Sabbadin - 2008 - Artificial Intelligence 172 (8-9):1018-1044.details
|
|
Model-based computing: Developing flexible machine control software.Markus P. J. Fromherz, Vijay A. Saraswat & Daniel G. Bobrow - 1999 - Artificial Intelligence 114 (1-2):157-202.details
|
|
Propagation algorithms for lexicographic ordering constraints.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2006 - Artificial Intelligence 170 (10):803-834.details
|
|
Filtering algorithms for the multiset ordering constraint.Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel & Toby Walsh - 2009 - Artificial Intelligence 173 (2):299-328.details
|
|
Partial constraint satisfaction.Eugene C. Freuder & Richard J. Wallace - 1992 - Artificial Intelligence 58 (1-3):21-70.details
|
|
Introduction: Special Issue on Distributed Constraint Satisfaction.Boi Faltings & Makoto Yokoo - 2005 - Artificial Intelligence 161 (1-2):1-5.details
|
|
Arc-consistency for continuous variables.Boi Faltings - 1994 - Artificial Intelligence 65 (2):363-376.details
|
|
Twenty-one large tractable subclasses of Allen's algebra.Thomas Drakengren & Peter Jonsson - 1997 - Artificial Intelligence 93 (1-2):297-319.details
|
|
Thick set inversion.B. Desrochers & L. Jaulin - 2017 - Artificial Intelligence 249:1-18.details
|
|
Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects.Aline Deruyver, Yann Hodé & Luc Brun - 2009 - Artificial Intelligence 173 (14):1245-1265.details
|
|
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.details
|
|
From local to global consistency.Rina Dechter - 1992 - Artificial Intelligence 55 (1):87-107.details
|
|
Backjump-based backtracking for constraint satisfaction problems.Rina Dechter & Daniel Frost - 2002 - Artificial Intelligence 136 (2):147-188.details
|
|
Constraint propagation with interval labels.Ernest Davis - 1987 - Artificial Intelligence 32 (3):281-331.details
|
|
The Arthur Prior memorial conference, Christchurch, 1989.B. J. Copeland & D. R. Murdoch - 1991 - Journal of Symbolic Logic 56 (1):372-382.details
|
|
Fundamental properties of neighbourhood substitution in constraint satisfaction problems.Martin C. Cooper - 1997 - Artificial Intelligence 90 (1-2):1-24.details
|
|
Characterising tractable constraints.Martin C. Cooper, David A. Cohen & Peter G. Jeavons - 1994 - Artificial Intelligence 65 (2):347-361.details
|
|
An optimal k-consistency algorithm.Martin C. Cooper - 1989 - Artificial Intelligence 41 (1):89-95.details
|
|
Arc consistency: parallelism and domain dependence.Paul R. Cooper & Michael J. Swain - 1992 - Artificial Intelligence 58 (1-3):207-235.details
|
|
Computational theory for interpreting handwritten text in constrained domains.Edward Cohen - 1994 - Artificial Intelligence 68 (1):1-31.details
|
|
A Lagrangian reconstruction of GENET.Kenneth M. F. Choi, Jimmy H. M. Lee & Peter J. Stuckey - 2000 - Artificial Intelligence 123 (1-2):1-39.details
|
|
Disjunctions, independence, refinements.Mathias Broxvall, Peter Jonsson & Jochen Renz - 2002 - Artificial Intelligence 140 (1-2):153-173.details
|
|