{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:38:54Z","timestamp":1740123534711,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,5,24]],"date-time":"2020-05-24T00:00:00Z","timestamp":1590278400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,24]],"date-time":"2020-05-24T00:00:00Z","timestamp":1590278400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s11227-020-03339-2","type":"journal-article","created":{"date-parts":[[2020,5,24]],"date-time":"2020-05-24T10:02:26Z","timestamp":1590314546000},"page":"1667-1692","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Parallelized path-based search for constraint satisfaction in autonomous cognitive agents"],"prefix":"10.1007","volume":"77","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0268-5002","authenticated-orcid":false,"given":"Tanvir","family":"Atahary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tarek M.","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Douglass","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,5,24]]},"reference":[{"key":"3339_CR1","unstructured":"Wray R, Chong R, Phillips J, Rogers S, Walsh B (1994) A survey of cognitive and agent architectures. Retrieved 28 Jan 2007 from http:\/\/ai.eecs.umich.edu\/cogarch0\/"},{"key":"3339_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10462-009-9094-9","volume":"28","author":"HQ Chong","year":"2007","unstructured":"Chong HQ, Tan AH, Ng GW (2007) Integrated cognitive architectures: a survey. Artif Intell Rev 28:103\u2013130","journal-title":"Artif Intell Rev"},{"key":"3339_CR3","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/7688.001.0001","volume-title":"The soar cognitive architecture","author":"JE Laird","year":"2012","unstructured":"Laird JE (2012) The soar cognitive architecture. MIT Press, Cambridge"},{"key":"3339_CR4","volume-title":"The architecture of cognition","author":"JR Anderson","year":"1983","unstructured":"Anderson JR (1983) The architecture of cognition. Harvard University Press, Harvard"},{"key":"3339_CR5","volume-title":"How can the human mind exist in the physical universe?","author":"JR Anderson","year":"1997","unstructured":"Anderson JR (1997) How can the human mind exist in the physical universe?. Oxford University Press, Oxford"},{"issue":"4","key":"3339_CR6","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson JR, Bothell D, Byrne MD, Douglass S, Lebiere C, Qin Y (2004) An integrated theory of the mind. Psychol Rev 111(4):1036\u20131060. https:\/\/doi.org\/10.1037\/0033-295X.111.4.1036","journal-title":"Psychol Rev"},{"key":"3339_CR7","doi-asserted-by":"publisher","first-page":"2132","DOI":"10.1007\/s11227-016-1712-0","volume":"72","author":"T Atahary","year":"2016","unstructured":"Atahary T, Taha T, Douglass S (2016) Parallelized mining of domain knowledge on GPGPU and Xeon Phi clusters. J Supercomput 72:2132. https:\/\/doi.org\/10.1007\/s11227-016-1712-0","journal-title":"J Supercomput"},{"key":"3339_CR8","volume-title":"The power of events: an introduction to complex event processing in distributed enterprise systems","author":"D Luckham","year":"2008","unstructured":"Luckham D (2008) The power of events: an introduction to complex event processing in distributed enterprise systems. Springer, Berlin"},{"key":"3339_CR9","unstructured":"Douglass S, Myers C (2010) Concurrent knowledge activation calculation in large declarative memories. In: Proceedings of the 10th International Conference on Cognitive Modeling, pp 55\u201360"},{"key":"3339_CR10","unstructured":"EsperTech-Esper. http:\/\/www.espertech.com\/esper\/"},{"key":"3339_CR11","volume-title":"Artificial intelligence: a modern approach","author":"S Russell","year":"2009","unstructured":"Russell S, Norvig P (2009) Artificial intelligence: a modern approach, 3rd edn. Prentice Hall, Englewood Cliffs","edition":"3"},{"issue":"3","key":"3339_CR12","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/S0377-2217(98)00364-6","volume":"119","author":"SC Brailsford","year":"1999","unstructured":"Brailsford SC, Potts CN, Smith BM (1999) Constraint satisfaction problems: algorithms and applications. Eur J Oper Res 119(3):557\u2013581. https:\/\/doi.org\/10.1016\/S0377-2217(98)00364-6","journal-title":"Eur J Oper Res"},{"issue":"1","key":"3339_CR13","first-page":"32","volume":"13","author":"V Kumar","year":"1992","unstructured":"Kumar V (1992) Algorithms for constraint satisfaction problems: a survey. AI Mag 13(1):32\u201344","journal-title":"AI Mag"},{"key":"3339_CR14","doi-asserted-by":"crossref","unstructured":"Atahary T, Taha T, Webber F, Douglass S (2015) Knowledge mining for cognitive agents through path based forward checking. In: International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing, pp 5\u201312","DOI":"10.1109\/SNPD.2015.7176169"},{"key":"3339_CR15","unstructured":"Atahary T, Taha T, Douglass S (2017) Knowledge mining with multiple optimizations on a GPGPU for an autonomous cognitive agent. In: IEEE-2017 SAI Computing Conference (SAI), UK, July 18\u201320"},{"key":"3339_CR16","volume-title":"Modeling & simulation-based data engineering: introducing pragmatics into ontologies for net-centric information exchange","author":"BP Zeigler","year":"2000","unstructured":"Zeigler BP, Hammonds PE (2000) Modeling & simulation-based data engineering: introducing pragmatics into ontologies for net-centric information exchange, 1st edn. Academic Press, London","edition":"1"},{"issue":"6","key":"3339_CR17","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides D, Segura S, Ruiz-Cort\u00e9s A (2010) Automated analysis of feature models 20\u00a0years later: a literature review. Inf Syst 35(6):615\u2013636","journal-title":"Inf Syst"},{"key":"3339_CR18","unstructured":"Gent IP, Jefferson C, Miguel I, Moore NCA, Nightingale P, Prosser P, Unsworth C (2011) A preliminary review of literature on parallel constraint solving. In: Workshop on Parallel Methods for Constraint Solving (PMCS\u201911)"},{"issue":"5\u20136","key":"3339_CR19","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1017\/s1471068418000340","volume":"18","author":"I Gent","year":"2018","unstructured":"Gent I, Miguel I, Nightingale P, Mccreesh C, Prosser P, Moore N, Unsworth C (2018) A review of literature on parallel constraint solving. Theory Pract Logic Program 18(5\u20136):725\u2013758. https:\/\/doi.org\/10.1017\/s1471068418000340","journal-title":"Theory Pract Logic Program"},{"key":"3339_CR20","unstructured":"Schulte C (2000) Parallel search made simple. In: Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a Post-Conference Workshop of CP"},{"key":"3339_CR21","unstructured":"Bordeaux L, Hamadi Y, Samulowitz H (2009) Experiments with massively parallel constraint solving. In: Boutilier C (ed) IJCAI, pp 443\u2013448"},{"key":"3339_CR22","first-page":"334","volume-title":"LNCS","author":"F Xie","year":"2010","unstructured":"Xie F, Davenport A (2010) Massively parallel constraint programming for supercomputers: challenges and initial results. In: Lodi A, Milano M, Toth P (eds) LNCS, vol 6140. Springer, Heidelberg, pp 334\u2013338"},{"key":"3339_CR23","doi-asserted-by":"crossref","unstructured":"R\u00e9gin JC, Rezgui M, Malapert A (2014) Improvement of the embarrassingly parallel search for data centers. In: Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pp 622\u2013635; ISBN 319-10428-7","DOI":"10.1007\/978-3-319-10428-7_45"},{"issue":"1","key":"3339_CR24","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s10601-014-9168-4","volume":"20","author":"Y Caniou","year":"2014","unstructured":"Caniou Y, Codognet P, Richoux F, Diaz D, Abreu S (2014) Large-scale parallelism for constraint-based local search: the costas array case study. Constraints 20(1):30\u201356","journal-title":"Constraints"},{"key":"3339_CR25","doi-asserted-by":"publisher","unstructured":"Diaz D, Abreu S, Codognet P (2012) Targeting the cell broadband engine for constraint-based local search. https:\/\/doi.org\/10.1002\/cpe.20oct2012","DOI":"10.1002\/cpe.20oct2012"},{"key":"3339_CR26","doi-asserted-by":"publisher","unstructured":"Diaz D, Abreu S, Codognet P (2010) Parallel constraint-based local search on the Cell\/BE multicore architecture. In: Essaaidi M, Malgeri M, Badica C (eds) Intelligent Distributed Computing IV. Studies in Computational Intelligence, vol 315. Springer, Berlin, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-15211-5_28","DOI":"10.1007\/978-3-642-15211-5_28"},{"key":"3339_CR27","first-page":"264","volume-title":"Local search algorithms on graphics processing units, lecture notes in computer science, vol. 6022","author":"TV Luong","year":"2010","unstructured":"Luong TV, Melab N, Talbi EG (2010) Local search algorithms on graphics processing units, lecture notes in computer science, vol. 6022. Springer, Berlin, pp 264\u2013275"},{"key":"3339_CR28","volume-title":"Handbook of parallel constraint reasoning","author":"P Codognet","year":"2018","unstructured":"Codognet P, Munera D, Diaz D, Abreu S (2018) Parallel local search. In: Hamadi Y, Sais L (eds) Handbook of parallel constraint reasoning. Springer, Cham"},{"key":"3339_CR29","doi-asserted-by":"crossref","unstructured":"Qiao WB, Cr\u00e9put JC (2019) Massive 2-opt and 3-opt moves with high performance GPU local search to large-scale traveling salesman problem. In: Battiti R, Brunato M, Kotsireas I, Pardalos P (eds) Learning and Intelligent Optimization (LION 12 2018), Lecture Notes in Computer Science, vol 11353. Springer, Cham","DOI":"10.1007\/978-3-030-05348-2_8"},{"key":"3339_CR30","doi-asserted-by":"crossref","unstructured":"Liu K, L\u00f6ffler S, Hofstedt P (2019) Parallel stochastic portfolio search for constraint solving. In: 2019 IEEE International Conference on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA\/BDCloud\/SocialCom\/SustainCom), Xiamen, China, pp 697\u2013704","DOI":"10.1109\/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106"},{"key":"3339_CR31","doi-asserted-by":"publisher","unstructured":"Archibald B, Maier P, Stewart R, Trinder P (2020) YewPar: skeletons for exact combinatorial search. In: Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP\u201920). Association for Computing Machinery, New York, pp 292\u2013307. https:\/\/doi.org\/10.1145\/3332466.3374537","DOI":"10.1145\/3332466.3374537"},{"key":"3339_CR32","first-page":"226","volume-title":"LNCS","author":"G Chu","year":"2009","unstructured":"Chu G, Schulte C, Stuckey PJ (2009) Confidence-based work stealing in parallel constraint programming. In: Gent IP (ed) LNCS, vol 5732. Springer, Heidelberg, pp 226\u2013241"},{"key":"3339_CR33","unstructured":"Rolf C (2011) Parallelism in constraint programing, PhD Thesis"},{"key":"3339_CR34","doi-asserted-by":"crossref","unstructured":"Rolf CC, Kuchcinski K (2008) State-copying and recomputation in parallel constraint programming with global constraints. In: Parallel, Distributed and Network-Based Processing. IEEE Computer Society, Washington, DC, USA, pp 311\u2013317","DOI":"10.1109\/PDP.2008.48"},{"key":"3339_CR35","unstructured":"GPU AI for Board Games. http:\/\/developer.nvidia.com\/gpu-ai-board-games. Accessed 10 July 2012"},{"key":"3339_CR36","doi-asserted-by":"publisher","first-page":"1709","DOI":"10.1016\/j.jss.2012.03.056","volume":"85","author":"C Gianpaolo","year":"2012","unstructured":"Gianpaolo C, Alessandro M (2012) Complex event processing with T-REX. J Syst Softw 85:1709\u20131728. https:\/\/doi.org\/10.1016\/j.jss.2012.03.056","journal-title":"J Syst Softw"},{"key":"3339_CR37","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.001.1900283","author":"H Huang","year":"2019","unstructured":"Huang H, Zhao L, Huang H, Guo S (2019) Machine fault detection for intelligent self-driving networks. IEEE Commun Mag. https:\/\/doi.org\/10.1109\/MCOM.001.1900283","journal-title":"IEEE Commun Mag"},{"key":"3339_CR38","unstructured":"Habbas Z, Krajecki M, Singer D (2000) Parallel resolution of CSP with OpenMP. In: Proceedings of the Second European Workshop on OpenMP, Edinburgh, Scotland, pp 1\u20138"},{"issue":"4","key":"3339_CR39","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1142\/S0129626401000749","volume":"11","author":"Z Habbas","year":"2001","unstructured":"Habbas Z, Krajecki M, Singer D (2001) Shared memory im-plementation of Constraint satisfaction problem resolution. Parallel Process Lett 11(4):487\u2013501","journal-title":"Parallel Process Lett"},{"key":"3339_CR40","doi-asserted-by":"crossref","unstructured":"Farhang Y, Meybodi MR, Hatamlou AR (2008) Improving the efficiency of forward checking algorithm for solving constraint satisfaction problems. In: Eighth International Conference on Intelligent Systems Design and Applications","DOI":"10.1109\/ISDA.2008.272"},{"key":"3339_CR41","doi-asserted-by":"publisher","unstructured":"Kimmig R, Meyerhenke H, Strash D (2017) Shared memory parallel subgraph enumeration. In: 2017 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), Lake Buena Vista, FL, 2017, pp 519\u2013529. https:\/\/doi.org\/10.1109\/ipdpsw.2017.133","DOI":"10.1109\/ipdpsw.2017.133"},{"key":"3339_CR42","unstructured":"Bell 47 helicopter https:\/\/en.wikipedia.org\/wiki\/Bell_47"},{"key":"3339_CR43","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Sikorsky_HH-60_Pave_Hawk"},{"key":"3339_CR44","unstructured":"https:\/\/en.wikipedia.org\/wiki\/Raytheon_Sentinel"},{"key":"3339_CR45","unstructured":"Narendra J, Guillaume R, Xavier L (2008) Choco: an open source java constraint programming library In: Workshop on Open-Source Software for Integer and Constraint Programming"},{"key":"3339_CR46","unstructured":"Oakley cluster at Ohio Supercomputer center https:\/\/www.osc.edu\/supercomputing\/computing\/oakley"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03339-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-020-03339-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03339-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,23]],"date-time":"2021-05-23T23:37:35Z","timestamp":1621813055000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-020-03339-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,24]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["3339"],"URL":"https:\/\/doi.org\/10.1007\/s11227-020-03339-2","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2020,5,24]]},"assertion":[{"value":"24 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}