Search results for "path-consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Assef Chmeiss, Lakhdar Sais	About the use of local consistency in solving CSPs.	ICTAI	2000	DBLP DOI BibTeX RDF	constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency
38	Christophe Lecoutre, Stéphane Cardon, Julien Vion	Path Consistency by Dual Consistency.	CP	2007	DBLP DOI BibTeX RDF
36	Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais	Light Integration of Path Consistency for Solving CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
35	Peter B. Ladkin, Roger D. Maddux	On Binary Constraint Problems.	J. ACM	1994	DBLP DOI BibTeX RDF	constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency
33	Romuald Debruyne	A Strong Local Consistency for Constraint Satisfaction.	ICTAI	1999	DBLP DOI BibTeX RDF	constraint satisfaction, local consistency
30	Peter van Beek, Rina Dechter	On the Minimality and Decomposability of Row-Convex Constraint Networks.	J. ACM	1995	DBLP DOI BibTeX RDF	row convexity, constraint satisfaction problems, relations, constraint networks, constraint-based reasoning, path consistency, consecutive ones property
29	Fabrizio Grandoni 0001, Giuseppe F. Italiano	Improved Algorithms for Max-restricted Path Consistency.	CP	2003	DBLP DOI BibTeX RDF
25	Romuald Debruyne, Christian Bessière	From Restricted Path Consistency to Max-Restricted Path Consistency.	CP	1997	DBLP DOI BibTeX RDF
20	Nouhad Amaneddine, Jean-François Condotta	From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.	AIMSA	2012	DBLP DOI BibTeX RDF
20	Amar Isli, Hachemi Bennaceur	Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.	TIME	1996	DBLP DOI BibTeX RDF
20	Priti Chandra, Arun K. Pujari	Minimality and Convexity Properties in Spatial CSPs.	ICTAI	2005	DBLP DOI BibTeX RDF
20	Jochen Renz, Gérard Ligozat	Weak Composition for Qualitative Spatial and Temporal Reasoning.	CP	2005	DBLP DOI BibTeX RDF
19	Fabrizio d'Amore, Fabio Iacobini	On-Line Algorithms for Networks of Temporal Constraints.	WG	1997	DBLP DOI BibTeX RDF
18	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà	Mapping CSP into Many-Valued SAT.	SAT	2007	DBLP DOI BibTeX RDF
18	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	On the Consistency Problem for the INDU Calculus.	TIME	2003	DBLP DOI BibTeX RDF
17	Liguo Deng, Zongmin Ma 0001, Qiang Tong	The Design and Analysis of Constraint Networks for Uncertain Temporal Interval Relations.	IIH-MSP	2008	DBLP DOI BibTeX RDF	Temporal Interval Network, backtracking algorithms, uncertainty of temporal information, uncertain interval relations, path-consistency
17	Sanjiang Li	On Topological Consistency and Realization.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Region Connection Calculus, RCC8 constraint language, Consistency, Qualitative spatial reasoning, Realization, Path-consistency
14	Juan Chen 0008, Dayou Liu, Changhai Zhang, Qi Xie	Combinative Reasoning with RCC5 and Cardinal Direction Relations.	KSEM	2007	DBLP DOI BibTeX RDF
14	Haibin Sun, Wenhui Li 0002	Spatial Reasoning Based on Rules.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
14	Haibin Sun, Wenhui Li 0002	Heterogeneous Spatial Reasoning.	ECSQARU	2005	DBLP DOI BibTeX RDF
13	Jie Xu, Guanxue Yang, Guohai Liu, Hui Liu 0010	Inferring Gene Regulatory Networks via Ensemble Path Consistency Algorithm Based on Conditional Mutual Information.	IEEE ACM Trans. Comput. Biol. Bioinform.	2023	DBLP DOI BibTeX RDF
13	Dengwei Zhao, Shikui Tu, Lei Xu 0001	Generalized Weighted Path Consistency for Mastering Atari Games.	NeurIPS	2023	DBLP BibTeX RDF
13	Yan Yan, Feng Jiang, Xinan Zhang, Tianhai Tian	Inference of Molecular Regulatory Systems Using Statistical Path-Consistency Algorithm.	Entropy	2022	DBLP DOI BibTeX RDF
13	Guanxue Yang, Chunnian Wang, Guanxiao Yang	Inference of Gene Regulatory Networks with Local Lasso Path Consistency Algorithm Based on Conditional Mutual Information.	ASCC	2022	DBLP DOI BibTeX RDF
13	Dengwei Zhao, Shikui Tu, Lei Xu 0001	Efficient Learning for AlphaZero via Path Consistency.	ICML	2022	DBLP BibTeX RDF
13	Yan Yan, Xinan Zhang, Tianhai Tian	Inference Method for Reconstructing Regulatory Networks Using Statistical Path-Consistency Algorithm and Mutual Information.	ICIC (2)	2020	DBLP DOI BibTeX RDF
13	Jianxin Lin, Yingce Xia, Yijun Wang 0002, Tao Qin 0001, Zhibo Chen 0001	Image-to-Image Translation with Multi-Path Consistency Regularization.	CoRR	2019	DBLP BibTeX RDF
13	Jianxin Lin, Yingce Xia, Yijun Wang 0002, Tao Qin 0001, Zhibo Chen 0001	Image-to-Image Translation with Multi-Path Consistency Regularization.	IJCAI	2019	DBLP DOI BibTeX RDF
13	Ofir Nachum, Yinlam Chow, Mohammad Ghavamzadeh	Path Consistency Learning in Tsallis Entropy Regularized MDPs.	CoRR	2018	DBLP BibTeX RDF
13	Yonggang Zhang, Zhuyuan Cheng	最大受限路径相容约束传播算法的研究进展 (Research Progress on Max Restricted Path Consistency Constraint Propagation Algorithms).	计算机科学	2018	DBLP BibTeX RDF
13	Shufeng Kong, Sanjiang Li, Michael Sioutis	Exploring Directional Path-Consistency for Solving Constraint Networks.	Comput. J.	2018	DBLP DOI BibTeX RDF
13	Yinlam Chow, Ofir Nachum, Mohammad Ghavamzadeh	Path Consistency Learning in Tsallis Entropy Regularized MDPs.	ICML	2018	DBLP BibTeX RDF
13	Shufeng Kong, Sanjiang Li, Michael Sioutis	Exploring Directional Path-Consistency for Solving Constraint Networks.	CoRR	2017	DBLP BibTeX RDF
13	Kostas Stergiou 0001	Revisiting restricted path consistency.	Constraints An Int. J.	2017	DBLP DOI BibTeX RDF
13	Yonggang Zhang, Zhuyuan Cheng	The research on the improved light version max restricted path consistency algorithm with the learned value ordering heuristics.	SPAC	2017	DBLP DOI BibTeX RDF
13	Zhuyuan Cheng, Yonggang Zhang	Improving on the restricted path consistency constraint propagation algorithms based on the bitwise.	SPAC	2017	DBLP DOI BibTeX RDF
13	Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta	A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks.	ICTAI	2017	DBLP DOI BibTeX RDF
13	Michael Sioutis, Jean-François Condotta	Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.	IJCAI	2017	DBLP DOI BibTeX RDF
13	Zhiguo Long, Michael Sioutis, Sanjiang Li	Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks.	IJCAI	2016	DBLP BibTeX RDF
13	Kostas Stergiou 0001	Restricted Path Consistency Revisited.	CP	2015	DBLP DOI BibTeX RDF
13	Anh Tuan Dang, Tran Khanh Dang	A Path-Consistency based Algorithm for Anomaly Detection of Spatial Constraints in GeoXACML Policies.	J. Mobile Multimedia	2014	DBLP BibTeX RDF
13	Hanshi Wang, Chenxiao Wang, Lizhen Liu, Chao Du, Jingli Lu	Identification of Co-regulated Gene Network by Using Path Consistency Algorithm Based on Gene Ontology.	Intelligent Information Processing	2014	DBLP DOI BibTeX RDF
13	Michael Sioutis, Jean-François Condotta	Vertex Incremental Path Consistency for Qualitative Constraint Networks.	SETN	2014	DBLP DOI BibTeX RDF
13	Masahiro Tomono	Merging of 3D visual maps based on part-map retrieval and path consistency.	IROS	2013	DBLP DOI BibTeX RDF
13	T. K. Satish Kumar, Liron Cohen 0002, Sven Koenig	Incorrect Lower Bounds for Path Consistency and More.	SARA	2013	DBLP BibTeX RDF
13	Xiujun Zhang, Xing-Ming Zhao, Kun He 0007, Le Lu 0001, Yongwei Cao, Jingdong Liu, Jin-Kao Hao, Zhi-Ping Liu, Luonan Chen	Inferring gene regulatory networks from gene expression data by path consistency algorithm based on conditional mutual information.	Bioinform.	2012	DBLP DOI BibTeX RDF
13	Jinsong Guo, Zhanshan Li, Hongbo Li 0005	Partial Max-restricted Path Consistency.	ICTAI	2012	DBLP DOI BibTeX RDF
13	Lamia Belouaer, Maroua Bouzid, Malek Mouhoub	Dynamic Path Consistency for Spatial Reasoning.	ICTAI	2012	DBLP DOI BibTeX RDF
13	Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou 0001, Toby Walsh	New algorithms for max restricted path consistency.	Constraints An Int. J.	2011	DBLP DOI BibTeX RDF
13	Pavel Surynek	Exploiting Global Properties in Path-Consistency Applied on SAT.	SCAI	2011	DBLP DOI BibTeX RDF
13	Léon Planken, Mathijs de Weerdt, Neil Yorke-Smith	Incrementally Solving STNs by Enforcing Partial Path Consistency.	ICAPS	2010	DBLP BibTeX RDF
13	Katsuhisa Horimoto, Shigeru Saito	Co-Expressed Gene Assessment Based on the Path Consistency Algorithm: Operon Detention in Escherichia coli.	SMC	2009	DBLP DOI BibTeX RDF
13	Kostas Stergiou 0001	Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency.	Int. J. Artif. Intell. Tools	2008	DBLP DOI BibTeX RDF
13	Malek Mouhoub	Dynamic Path Consistency for Interval-based Temporal Reasoning.	Applied Informatics	2003	DBLP BibTeX RDF
13	Christian Bliek, Djamila Sam-Haroud	Path Consistency on Triangulated Constraint Graphs.	IJCAI	1999	DBLP BibTeX RDF
13	Assef Chmeiss, Philippe Jégou	Efficient Path-Consistency Propagation.	Int. J. Artif. Intell. Tools	1998	DBLP DOI BibTeX RDF
13	Moninder Singh	Path Consistency Revisited.	Int. J. Artif. Intell. Tools	1996	DBLP DOI BibTeX RDF
13	Christian Bessière	A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks.	AAAI/IAAI, Vol. 1	1996	DBLP BibTeX RDF
13	Assef Chmeiss, Philippe Jégou	Path-Consistency: When Space Misses Time.	AAAI/IAAI, Vol. 1	1996	DBLP BibTeX RDF
13	Stuart A. Grant, Barbara M. Smith	The Arc and Path Consistency Phase Transitions.	CP	1996	DBLP DOI BibTeX RDF
13	Moninder Singh	Path consistency revisited.	ICTAI	1995	DBLP DOI BibTeX RDF
13	Pierre Berlandier	A Symbiotic Approach to Arc and Path Consistency Checking.	EPIA	1995	DBLP DOI BibTeX RDF
13	Philippe Codognet, Giuseppe Nardiello	Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods	Constraint Programming	1994	DBLP DOI BibTeX RDF
13	Philippe Codognet, Giuseppe Nardiello	Path Consistency in clp(FD).	CCL	1994	DBLP DOI BibTeX RDF
13	Robert A. Morris 0001, William D. Shoaff, Lina Khatib	Path Consistency in a Network of Non-Convex Intervals.	IJCAI	1993	DBLP BibTeX RDF
13	Barbara M. Smith	How to Solve the Zebra Problem, or Path Consistency the Easy Way.	ECAI	1992	DBLP BibTeX RDF
13	Steven Y. Susswein, Thomas C. Henderson, Joseph L. Zachary, Chuck Hansen, Paul A. Hinker, Gary C. Marsden	Parallel path consistency.	Int. J. Parallel Program.	1991	DBLP DOI BibTeX RDF
13	Somnuk Keretho, Rasiah Loganantharaj, Venkat N. Gudivada	Parallel path-consistency algorithms for constraint satisfaction.	ICTAI	1991	DBLP DOI BibTeX RDF
13	Yangjun Chen	Improving Han and Lee's path consistency algorithm.	ICTAI	1991	DBLP DOI BibTeX RDF
13	Ching-Chih Han, Chia-Hoang Lee	Comments on Mohr and Henderson's Path Consistency Algorithm.	Artif. Intell.	1988	DBLP DOI BibTeX RDF
13	Roger Mohr, Thomas C. Henderson	Arc and Path Consistency Revisited.	Artif. Intell.	1986	DBLP DOI BibTeX RDF
12	Alexander Scivos, Bernhard Nebel	The Finest of its Class: The Natural Point-Based Ternary Calculus for Qualitative Spatial Reasoning.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
12	Lin Xu, Berthe Y. Choueiry	A New Efficient Algorithm for Solving the Simple Temporal Problem.	TIME	2003	DBLP DOI BibTeX RDF
10	Wenhui Li 0002, Haibin Sun	New Rules for Hybrid Spatial Reasoning.	IDEAL	2005	DBLP DOI BibTeX RDF
10	Krzysztof R. Apt	The role of commutativity in constraint propagation algorithms.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	constraint propagation, commutativity, generic algorithms
10	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	Reasoning about Generalized Intervals: Horn Representability and Tractability.	TIME	2000	DBLP DOI BibTeX RDF
10	Silvana Badaloni, Massimiliano Giacomin	A Fuzzy Extension of Allen's Interval Algebra.	AI*IA	1999	DBLP DOI BibTeX RDF
10	Alfonso Gerevini, Jochen Renz	Combining Topological and Qualitative Size Constraints for Spatial Reasoning.	CP	1998	DBLP DOI BibTeX RDF
6	Silvana Badaloni, Marco Falda, Massimiliano Giacomin	Computational Complexity Study of Fuzzy Qualitative Temporal Algebra.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
6	Marco Falda	Fuzzy Disjunctive Temporal Problems with Classes.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
6	Daniel J. Hulme, Robin Hirsch, Bernard F. Buxton, R. Beau Lotto	A New Reduction from 3SAT to n-Partite Graphs.	FOCI	2007	DBLP DOI BibTeX RDF
6	T. K. Satish Kumar	On the Tractability of Smooth Constraint Satisfaction Problems.	CPAIOR	2005	DBLP DOI BibTeX RDF
6	Haibin Sun, Wenhui Li 0002	A Rule System for Heterogeneous Spatial Reasoning in Geographic Information System.	DEXA	2005	DBLP DOI BibTeX RDF
6	S. Durga Bhavani, Arun K. Pujari	EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	temporal CSP, heuristics, consistency checking, evidential reasoning
6	Hachemi Bennaceur	A Comparison between SAT and CSP Techniques.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	constraint satisfaction, satisfiability
6	Vladimir Ryabov, André Trudel	Probabilistic Temporal Interval Networks.	TIME	2004	DBLP DOI BibTeX RDF
6	Hachemi Bennaceur, Chu Min Li	Characterizing SAT Problems with the Row Convexity Property.	CP	2002	DBLP DOI BibTeX RDF
6	Mathias Broxvall	The Point Algebra for Branching Time Revisited.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
6	Jeff Richey	Condition Handling in SQL Persistent Stored Modules.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	SQL
6	Bernhard Nebel, Hans-Jürgen Bürckert	Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra.	J. ACM	1995	DBLP DOI BibTeX RDF	constraint satisfaction, temporal reasoning, qualitative reasoning, interval algebra
6	Bernhard Nebel, Hans-Jürgen Bürckert	Managing Qualitative Temporal Information: Expressiveness vs. Complexity.	IS/KI	1994	DBLP DOI BibTeX RDF
6	Somnuk Keretho, Rasiah Loganantharaj	Reasoning about networks of temporal relations and its applications to problem solving.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	backtrack algorithms, temporal constraint propagation, constraint satisfactive problems, Temporal reasoning