Edit Profile (opens in new tab) Sattar, Abdul Compute Distance To: Compute Author ID: sattar.abdul Published as: Sattar, Abdul; Sattar, A. Documents Indexed: 45 Publications since 1999 4 Contributions as Editor Co-Authors: 64 Co-Authors with 43 Joint Publications 728 Co-Co-Authors all top 5 Co-Authors 0 single-authored 8 Newton, M. A. Hakim 7 Governatori, Guido 6 Su, Kaile 5 Riahi, Vahid 4 Padmanabhan, Vineet 4 Pham, Duc Nghia 3 Goodwin, Scott D. 3 Polash, Md Masbaul Alam 2 Bain, Stuart 2 Beaumont, Matthew 2 Cai, Shaowei 2 Chen, Qingliang 2 Dehzangi, Abdollah 2 Maher, Michael J. 2 Sharma, Alok 2 Sun, Chengzheng 2 Wetprasit, Rattana 2 Zhou, Lingzhong 1 Alam, Md. Mahmud 1 Anbulagan, Anbu 1 Bhatti, Muhammad Yousaf 1 Billington, David 1 Blee, Jeff 1 Bourne, Owen 1 Chen, Aixiang 1 Cleaver, Timothy William 1 Cristani, Matteo 1 Delgrande, James P. 1 Ferdows, Mohammad 1 Ghanbari Ghooshchi, Nina 1 Ghose, Aditya K. 1 Gretton, Charles 1 Heffernan, Rhys 1 Huang, Xiaowei 1 Huang, Zhiyi 1 Ishizuka, Mitsuru 1 Ishtaiwi, Abdelraouf 1 Javed, Sana 1 Kang, Byeong Ho 1 Khatib, Lina 1 Kravchuk, Olena 1 Lal, Sunil Pranit 1 Liu, Chuchang 1 López, Yosvany 1 Luo, Chuan 1 Luo, Xiangyu 1 Lyons, James E. 1 Miao, Yuan 1 Michaelson, Jacob 1 Nagarajan, Sivakumar 1 Namazi, Majid 1 Navarrete, Isabel 1 Nayak, Abhaya C. 1 Oliveri, Francesco 1 Orgun, Mehmet Ali 1 Ota, Masahiro 1 Paliwal, Kuldip K. 1 Pullan, Wayne 1 Rao, M. R. K. Krishna 1 Reynolds, Mark A. 1 Reynolds, Mark Alexander 1 Rotolo, Antonino 1 Sohail, Ayesha 1 Taherzadeh, Ghazaleh 1 Tsunoda, Tatsuhiko 1 Wang, Kewen 1 Yang, Yanyan 1 Yang, Zhonghua 1 Younas, Muhammad 1 Zhang, Yan 1 Zhuang, Zhiqiang all top 5 Serials 5 Computers & Operations Research 3 Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 3 Constraints 3 Journal of Applied Logic 2 Lecture Notes in Computer Science 2 Journal of Theoretical Biology 1 Information Sciences 1 Theoretical Computer Science 1 Journal of Logic and Computation 1 International Journal of Foundations of Computer Science 1 Logic Journal of the IGPL 1 Journal of Computational and Applied Mechanics 1 Advances in Difference Equations 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Frontiers of Computer Science all top 5 Fields 37 Computer science (68-XX) 10 Operations research, mathematical programming (90-XX) 6 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 3 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 98 times in 80 Documents Cited by ▼ Year ▼ Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242Cai, Shaowei; Su, Kaile; Sattar, Abdul 25 2011 Gram-positive and Gram-negative protein subcellular localization by incorporating evolutionary-based descriptors into Chou’s general PseAAC. Zbl 1405.92092Dehzangi, Abdollah; Heffernan, Rhys; Sharma, Alok; Lyons, James; Paliwal, Kuldip; Sattar, Abdul 17 2015 NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul 12 2013 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 8 2009 A two level local search for MAX-SAT problems with hard and soft constraints. Zbl 1032.68753Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia 6 2002 Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485Pham, Duc Nghia; Thornton, John; Sattar, Abdul 6 2008 Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul 4 2008 Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Zbl 1458.90351Riahi, Vahid; Newton, M. A. Hakim; Su, Kaile; Sattar, Abdul 4 2019 Tailoring customer order scheduling search algorithms. Zbl 1458.90350Riahi, Vahid; Newton, M. A. Hakim; Polash, M. M. A.; Sattar, Abdul 4 2019 Joule heating effects on a microplolar fluid past a stretching sheet with variable electric conductivity. Zbl 1150.76550Ferdows, M.; Ota, M.; Sattar, A.; Alam, M. 4 2005 Variable forgetting in reasoning about knowledge. Zbl 1192.68677Su, K.; Sattar, A.; Lv, G.; Zhang, Y. 4 2009 On point-duration networks for temporal reasoning. Zbl 0999.68203Navarrete, I.; Sattar, A.; Wetprasit, R.; Marin, R. 3 2002 Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia 2 2005 A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael 2 2004 Reconsidering AGM-style belief revision in the context of logic programs. Zbl 1403.68277Zhuang, Zhiqiang; Delgrande, James; Nayak, Abhaya; Sattar, Abdul 1 2016 Representation and reasoning with multi-point events. Zbl 0954.68138Wetprasit, Rattana; Sattar, Abdul; Khatib, Lina 1 2000 Actions made explicit in BDI. Zbl 1052.68751Padmanabhan, Vineet; Governatori, Guido; Sattar, Abdul 1 2001 PSSM-Suc: accurately predicting succinylation using position specific scoring matrix into bigram for feature extraction. Zbl 1381.92002Dehzangi, Abdollah; López, Yosvany; Lal, Sunil Pranit; Taherzadeh, Ghazaleh; Michaelson, Jacob; Sattar, Abdul; Tsunoda, Tatsuhiko; Sharma, Alok 1 2017 Analytic approach to explore dynamical osteoporotic bone turnover. Zbl 1458.37100Javed, Sana; Younas, Muhammad; Bhatti, M. Yousaf; Sohail, Ayesha; Sattar, Abdul 1 2019 Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Zbl 1458.90351Riahi, Vahid; Newton, M. A. Hakim; Su, Kaile; Sattar, Abdul 4 2019 Tailoring customer order scheduling search algorithms. Zbl 1458.90350Riahi, Vahid; Newton, M. A. Hakim; Polash, M. M. A.; Sattar, Abdul 4 2019 Analytic approach to explore dynamical osteoporotic bone turnover. Zbl 1458.37100Javed, Sana; Younas, Muhammad; Bhatti, M. Yousaf; Sohail, Ayesha; Sattar, Abdul 1 2019 PSSM-Suc: accurately predicting succinylation using position specific scoring matrix into bigram for feature extraction. Zbl 1381.92002Dehzangi, Abdollah; López, Yosvany; Lal, Sunil Pranit; Taherzadeh, Ghazaleh; Michaelson, Jacob; Sattar, Abdul; Tsunoda, Tatsuhiko; Sharma, Alok 1 2017 Reconsidering AGM-style belief revision in the context of logic programs. Zbl 1403.68277Zhuang, Zhiqiang; Delgrande, James; Nayak, Abhaya; Sattar, Abdul 1 2016 Gram-positive and Gram-negative protein subcellular localization by incorporating evolutionary-based descriptors into Chou’s general PseAAC. Zbl 1405.92092Dehzangi, Abdollah; Heffernan, Rhys; Sharma, Alok; Lyons, James; Paliwal, Kuldip; Sattar, Abdul 17 2015 NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul 12 2013 Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242Cai, Shaowei; Su, Kaile; Sattar, Abdul 25 2011 A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul 8 2009 Variable forgetting in reasoning about knowledge. Zbl 1192.68677Su, K.; Sattar, A.; Lv, G.; Zhang, Y. 4 2009 Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485Pham, Duc Nghia; Thornton, John; Sattar, Abdul 6 2008 Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul 4 2008 Joule heating effects on a microplolar fluid past a stretching sheet with variable electric conductivity. Zbl 1150.76550Ferdows, M.; Ota, M.; Sattar, A.; Alam, M. 4 2005 Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia 2 2005 A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael 2 2004 A two level local search for MAX-SAT problems with hard and soft constraints. Zbl 1032.68753Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia 6 2002 On point-duration networks for temporal reasoning. Zbl 0999.68203Navarrete, I.; Sattar, A.; Wetprasit, R.; Marin, R. 3 2002 Actions made explicit in BDI. Zbl 1052.68751Padmanabhan, Vineet; Governatori, Guido; Sattar, Abdul 1 2001 Representation and reasoning with multi-point events. Zbl 0954.68138Wetprasit, Rattana; Sattar, Abdul; Khatib, Lina 1 2000 all cited Publications top 5 cited Publications all top 5 Cited by 200 Authors 9 Cai, Shaowei 7 Yin, Minghao 6 Sattar, Abdul 5 Governatori, Guido 5 Su, Kaile 4 Li, Chumin 4 Luo, Chuan 4 Oliveri, Francesco 3 Adel’shin, A. V. 3 Chou, Kuochen 3 Cristani, Matteo 3 Riahi, Vahid 3 Rotolo, Antonino 3 Scannapieco, Simone 3 Wang, Yiyuan 3 Zhou, Junping 2 Abramé, André 2 Chen, Jiejiang 2 Glover, Fred W. 2 Habet, Djamal 2 Hao, Jin-Kao 2 Hoos, Holger H. 2 Hu, Shuli 2 Jiang, Hua 2 Kolokolov, Aleksandr Aleksandrovich 2 Li, Ruizhi 2 Liang, Yunyun 2 Navarrete, Isabel 2 Newton, M. A. Hakim 2 Schockaert, Steven 2 Sciavicco, Guido 2 Wu, Jun 2 Wu, Qinghua 2 Xiao, Xuan 2 Zhang, Shengli 1 Ahmad, Jamal 1 Al-Shihabi, Sameh 1 Alviano, Mario 1 An, Ji-Yong 1 Antoniou, Grigoris 1 Bai, Xiaolu 1 Balint, Adrian 1 Barro, Senén 1 Bartolini, Cesare 1 Baryannis, George 1 Batsakis, Sotiris 1 Bertagnon, Alessandro 1 Bian, Yong-Tao 1 Biere, Armin 1 Branson, Luke 1 Camacho, Ariel 1 Cao, Junzhe 1 Cao, Tianjie 1 Cardenas-Viedma, M. Antonia 1 Chen, Cheng 1 Chen, Renxia 1 Chen, Xiaolin 1 Cheng, Xiang 1 Chiong, Raymond 1 Chu, Yi 1 Dai, Jinyu 1 De Cock, Martine 1 Dehzangi, Abdollah 1 Du, Pufeng 1 Fan, Xiaocong 1 Fang, Chao 1 Fang, Zhiwen 1 Félix, Paulo 1 Fichte, Johannes Klaus 1 Fröhlich, Andreas M. 1 Fu, Haoyue 1 Fu, Yan-Rong 1 Gavanelli, Marco 1 Gerevini, Alfonso Emilio 1 Gu, Hong 1 Guo, Wensheng 1 Hayat, Maqsood 1 He, Kun 1 Heule, Marijn J. H. 1 Hoque, Md Tamjidul 1 Hou, Wenying 1 Huang, Wenxuan 1 Hung, William N. N. 1 Hussain, Waqar 1 Iqbal, Sumaiya 1 Janssen, Jeroen 1 Jerez, Silvia 1 Ji, Jia 1 Jia, Cangzhi 1 Jia, Jianhua 1 Jiang, Baoping 1 Jiang, Jianhua 1 Jiang, Lu 1 Jiao, Ya-Sen 1 Ju, Zhe 1 Karimi, Hamid Reza 1 Katzgraber, Helmut G. 1 Khan, Sher Afzal 1 Khan, Yaser Daanial 1 KhudaBukhsh, Ashiqur R. ...and 100 more Authors all top 5 Cited in 27 Serials 18 Journal of Theoretical Biology 14 Artificial Intelligence 10 Computers & Operations Research 3 Prikladnaya Diskretnaya Matematika 2 Information Sciences 2 Journal of Philosophical Logic 2 European Journal of Operational Research 2 Annals of Mathematics and Artificial Intelligence 2 INFORMS Journal on Computing 2 Mathematical Problems in Engineering 2 Journal of Combinatorial Optimization 2 Theory and Practice of Logic Programming 1 Journal of the Franklin Institute 1 Theoretical Computer Science 1 Journal of Computer Science and Technology 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 AI Communications 1 Annals of Operations Research 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Statistical Mechanics: Theory and Experiment 1 Optimization Letters 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 10 Fields 47 Computer science (68-XX) 27 Operations research, mathematical programming (90-XX) 19 Biology and other natural sciences (92-XX) 9 Mathematical logic and foundations (03-XX) 8 Combinatorics (05-XX) 4 Statistics (62-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year