Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
40 | Assef Chmeiss, Lakhdar Sais |
About the use of local consistency in solving CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 104-107, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 438-452, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais |
Light Integration of Path Consistency for Solving CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1, pp. 263-266, 2007, IEEE Computer Society, 0-7695-3015-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Peter B. Ladkin, Roger D. Maddux |
On Binary Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(3), pp. 435-469, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 11th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '99, Chicago, Illinois, USA, November 8-10, 1999, pp. 202-209, 1999, IEEE Computer Society, 0-7695-0456-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(3), pp. 543-561, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 858-862, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Romuald Debruyne, Christian Bessière |
From Restricted Path Consistency to Max-Restricted Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings, pp. 312-326, 1997, Springer. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Nouhad Amaneddine, Jean-François Condotta |
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications - 15th International Conference, AIMSA 2012, Varna, Bulgaria, September 12-15, 2012. Proceedings, pp. 152-161, 2012, Springer, 978-3-642-33184-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 57-62, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Priti Chandra, Arun K. Pujari |
Minimality and Convexity Properties in Spatial CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 589-593, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Jochen Renz, Gérard Ligozat |
Weak Composition for Qualitative Spatial and Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 534-548, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Fabrizio d'Amore, Fabio Iacobini |
On-Line Algorithms for Networks of Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 23rd International Workshop, WG '97, Berlin, Germany, June 18-20, 1997, Proceedings, pp. 144-156, 1997, Springer, 3-540-63757-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà |
Mapping CSP into Many-Valued SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings, pp. 10-15, 2007, Springer, 978-3-540-72787-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
On the Consistency Problem for the INDU Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 203-211, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IIH-MSP ![In: 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), Harbin, China, 15-17 August 2008, Proceedings, pp. 1017-1020, 2008, IEEE Computer Society, 978-0-7695-3278-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 11(1), pp. 31-51, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 92-102, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Haibin Sun, Wenhui Li 0002 |
Spatial Reasoning Based on Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part I, pp. 469-480, 2005, Springer, 3-540-26298-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Haibin Sun, Wenhui Li 0002 |
Heterogeneous Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 836-847, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 20(3), pp. 1807-1816, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
13 | Dengwei Zhao, Shikui Tu, Lei Xu 0001 |
Generalized Weighted Path Consistency for Mastering Atari Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeurIPS ![In: Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023., 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
13 | Yan Yan, Feng Jiang, Xinan Zhang, Tianhai Tian |
Inference of Molecular Regulatory Systems Using Statistical Path-Consistency Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 24(5), pp. 693, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 13th Asian Control Conference, ASCC 2022, Jeju, Korea, May 4-7, 2022, pp. 1977-1982, 2022, IEEE, 978-89-93215-23-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
13 | Dengwei Zhao, Shikui Tu, Lei Xu 0001 |
Efficient Learning for AlphaZero via Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2022, 17-23 July 2022, Baltimore, Maryland, USA., pp. 26971-26981, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Intelligent Computing Theories and Application - 16th International Conference, ICIC 2020, Bari, Italy, October 2-5, 2020, Proceedings, Part II, pp. 45-56, 2020, Springer, 978-3-030-60801-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.12498, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, pp. 2980-2986, 2019, ijcai.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
13 | Ofir Nachum, Yinlam Chow, Mohammad Ghavamzadeh |
Path Consistency Learning in Tsallis Entropy Regularized MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.03501, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Yonggang Zhang, Zhuyuan Cheng |
最大受限路径相容约束传播算法的研究进展 (Research Progress on Max Restricted Path Consistency Constraint Propagation Algorithms). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 45(6A), pp. 41-45, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Shufeng Kong, Sanjiang Li, Michael Sioutis |
Exploring Directional Path-Consistency for Solving Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 61(9), pp. 1338-1350, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
13 | Yinlam Chow, Ofir Nachum, Mohammad Ghavamzadeh |
Path Consistency Learning in Tsallis Entropy Regularized MDPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018, pp. 978-987, 2018, PMLR. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
13 | Shufeng Kong, Sanjiang Li, Michael Sioutis |
Exploring Directional Path-Consistency for Solving Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1708.05522, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
13 | Kostas Stergiou 0001 |
Revisiting restricted path consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 22(3), pp. 377-402, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAC ![In: International Conference on Security, Pattern Analysis, and Cybernetics, SPAC 2017, Shenzhen, China, December 15-17, 2017, pp. 485-490, 2017, IEEE, 978-1-5386-3016-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zhuyuan Cheng, Yonggang Zhang |
Improving on the restricted path consistency constraint propagation algorithms based on the bitwise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAC ![In: International Conference on Security, Pattern Analysis, and Cybernetics, SPAC 2017, Shenzhen, China, December 15-17, 2017, pp. 497-502, 2017, IEEE, 978-1-5386-3016-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 29th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2017, Boston, MA, USA, November 6-8, 2017, pp. 110-117, 2017, IEEE Computer Society, 978-1-5386-3876-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Michael Sioutis, Jean-François Condotta |
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pp. 1262-1268, 2017, ijcai.org, 978-0-9992411-0-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
13 | Zhiguo Long, Michael Sioutis, Sanjiang Li |
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 1202-1208, 2016, IJCAI/AAAI Press, 978-1-57735-770-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
13 | Kostas Stergiou 0001 |
Restricted Path Consistency Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings, pp. 419-428, 2015, Springer, 978-3-319-23218-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Mobile Multimedia ![In: J. Mobile Multimedia 10(1&2), pp. 3-15, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Information Processing ![In: Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings, pp. 278-283, 2014, Springer, 978-3-662-44979-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michael Sioutis, Jean-François Condotta |
Vertex Incremental Path Consistency for Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings, pp. 454-459, 2014, Springer, 978-3-319-07063-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Masahiro Tomono |
Merging of 3D visual maps based on part-map retrieval and path consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pp. 5172-5179, 2013, IEEE, 978-1-4673-6357-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | T. K. Satish Kumar, Liron Cohen 0002, Sven Koenig |
Incorrect Lower Bounds for Path Consistency and More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Proceedings of the Tenth Symposium on Abstraction, Reformulation, and Approximation, SARA 2013, 11-12 July 2013, Leavenworth, Washington, USA., 2013, AAAI, 978-1-57735-630-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 28(1), pp. 98-104, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Jinsong Guo, Zhanshan Li, Hongbo Li 0005 |
Partial Max-restricted Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012, pp. 186-190, 2012, IEEE Computer Society, 978-1-4799-0227-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Lamia Belouaer, Maroua Bouzid, Malek Mouhoub |
Dynamic Path Consistency for Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece, November 7-9, 2012, pp. 1004-1009, 2012, IEEE Computer Society, 978-1-4799-0227-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou 0001, Toby Walsh |
New algorithms for max restricted path consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 16(4), pp. 372-406, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Pavel Surynek |
Exploiting Global Properties in Path-Consistency Applied on SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAI ![In: Eleventh Scandinavian Conference on Artificial Intelligence, SCAI 2011, Trondheim, Norway, May 24th - 26th, 2011, pp. 90-99, 2011, IOS Press, 978-1-60750-753-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Léon Planken, Mathijs de Weerdt, Neil Yorke-Smith |
Incrementally Solving STNs by Enforcing Partial Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010, pp. 129-136, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
13 | Katsuhisa Horimoto, Shigeru Saito |
Co-Expressed Gene Assessment Based on the Path Consistency Algorithm: Operon Detention in Escherichia coli. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11-14 October 2009, pp. 4280-4286, 2009, IEEE, 978-1-4244-2794-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Kostas Stergiou 0001 |
Preprocessing Quantified Constraint Satisfaction Problems with Value Reordering and Directional Arc and Path Consistency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 17(2), pp. 321-337, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Malek Mouhoub |
Dynamic Path Consistency for Interval-based Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applied Informatics ![In: The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria, pp. 393-398, 2003, IASTED/ACTA Press, 0-88986-345-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
13 | Christian Bliek, Djamila Sam-Haroud |
Path Consistency on Triangulated Constraint Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages, pp. 456-461, 1999, Morgan Kaufmann, 1-55860-613-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
13 | Assef Chmeiss, Philippe Jégou |
Efficient Path-Consistency Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 7(2), pp. 121-142, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Moninder Singh |
Path Consistency Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 5(1-2), pp. 127-142, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Christian Bessière |
A Simple Way to Improve Path Consistency Processing in Interval Algebra Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI, Vol. 1 ![In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1., pp. 375-380, 1996, AAAI Press / The MIT Press, 0-262-51091-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
13 | Assef Chmeiss, Philippe Jégou |
Path-Consistency: When Space Misses Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI, Vol. 1 ![In: Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 1., pp. 196-201, 1996, AAAI Press / The MIT Press, 0-262-51091-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
13 | Stuart A. Grant, Barbara M. Smith |
The Arc and Path Consistency Phase Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996, pp. 541-542, 1996, Springer. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Moninder Singh |
Path consistency revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Seventh International Conference on Tools with Artificial Intelligence, ICTAI '95, Herndon, VA, USA, November 5-8, 1995, pp. 318-325, 1995, IEEE Computer Society, 0-8186-7312-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Pierre Berlandier |
A Symbiotic Approach to Arc and Path Consistency Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings, pp. 107-114, 1995, Springer, 3-540-60428-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Philippe Codognet, Giuseppe Nardiello |
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 39-61, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Philippe Codognet, Giuseppe Nardiello |
Path Consistency in clp(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCL ![In: Constraints in Computational Logics, First International Conference, CCL'94, Munich, Germany, September 7-9, 1994, pp. 201-216, 1994, Springer, 3-540-58403-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
13 | Robert A. Morris 0001, William D. Shoaff, Lina Khatib |
Path Consistency in a Network of Non-Convex Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28 - September 3, 1993, pp. 655-661, 1993, Morgan Kaufmann, 1-55860-300-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
13 | Barbara M. Smith |
How to Solve the Zebra Problem, or Path Consistency the Easy Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 10th European Conference on Artificial Intelligence, ECAI 92, Vienna, Austria, August 3-7, 1992. Proceedings., pp. 36-37, 1992, John Wiley and Sons, 9780471936084. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 20(6), pp. 453-473, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Somnuk Keretho, Rasiah Loganantharaj, Venkat N. Gudivada |
Parallel path-consistency algorithms for constraint satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991, pp. 516-517, 1991, IEEE Computer Society, 0-8186-2300-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Yangjun Chen |
Improving Han and Lee's path consistency algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991, pp. 346-350, 1991, IEEE Computer Society, 0-8186-2300-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Ching-Chih Han, Chia-Hoang Lee |
Comments on Mohr and Henderson's Path Consistency Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 36(1), pp. 125-130, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Roger Mohr, Thomas C. Henderson |
Arc and Path Consistency Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 28(2), pp. 225-233, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers, pp. 283-303, 2004, Springer, 3-540-25048-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Lin Xu, Berthe Y. Choueiry |
A New Efficient Algorithm for Solving the Simple Temporal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 212-, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Wenhui Li 0002, Haibin Sun |
New Rules for Hybrid Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2005, 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings, pp. 17-24, 2005, Springer, 3-540-26972-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Krzysztof R. Apt |
The role of commutativity in constraint propagation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(6), pp. 1002-1036, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 23-29, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Silvana Badaloni, Massimiliano Giacomin |
A Fuzzy Extension of Allen's Interval Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 155-165, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Alfonso Gerevini, Jochen Renz |
Combining Topological and Qualitative Size Constraints for Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP98, 4th International Conference, Pisa, Italy, October 26-30, 1998, Proceedings, pp. 220-234, 1998, Springer, 3-540-65224-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
6 | Silvana Badaloni, Marco Falda, Massimiliano Giacomin |
Computational Complexity Study of Fuzzy Qualitative Temporal Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | Marco Falda |
Fuzzy Disjunctive Temporal Problems with Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, UK, 23-26 July, 2007, Proceedings, pp. 1-6, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 235-238, 2007, IEEE, 1-4244-0703-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
6 | T. K. Satish Kumar |
On the Tractability of Smooth Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, pp. 304-319, 2005, Springer, 3-540-26152-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | Haibin Sun, Wenhui Li 0002 |
A Rule System for Heterogeneous Spatial Reasoning in Geographic Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings, pp. 838-847, 2005, Springer, 3-540-28566-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
6 | S. Durga Bhavani, Arun K. Pujari |
EvIA - Evidential Interval Algebra and Heuristic Backtrack-Free Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(3), pp. 193-218, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal CSP, heuristics, consistency checking, evidential reasoning |
6 | Hachemi Bennaceur |
A Comparison between SAT and CSP Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(2), pp. 123-138, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction, satisfiability |
6 | Vladimir Ryabov, André Trudel |
Probabilistic Temporal Interval Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France, pp. 64-67, 2004, IEEE Computer Society, 0-7695-2155-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
6 | Hachemi Bennaceur, Chu Min Li |
Characterizing SAT Problems with the Row Convexity Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings, pp. 720-725, 2002, Springer, 3-540-44120-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
6 | Mathias Broxvall |
The Point Algebra for Branching Time Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI/ÖGAI ![In: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, pp. 106-121, 2001, Springer, 3-540-42612-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
6 | Jeff Richey |
Condition Handling in SQL Persistent Stored Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(3), pp. 98-103, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 43-66, 1995. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IS/KI ![In: Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994, Proceedings, pp. 104-117, 1994, Springer, 3-540-57802-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
6 | Somnuk Keretho, Rasiah Loganantharaj |
Reasoning about networks of temporal relations and its applications to problem solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 47-70, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
backtrack algorithms, temporal constraint propagation, constraint satisfactive problems, Temporal reasoning |