×

zbMATH — the first resource for mathematics

Sattar, Abdul

Compute Distance To:
Author ID: sattar.abdul Recent zbMATH articles by "Sattar, Abdul"
Published as: Sattar, A.; Sattar, Abdul
Documents Indexed: 47 Publications since 1999, including 4 Books

Publications by Year

Citations contained in zbMATH

18 Publications have been cited 86 times in 72 Documents Cited by Year
Gram-positive and Gram-negative protein subcellular localization by incorporating evolutionary-based descriptors into Chou’s general PseAAC. Zbl 1405.92092
Dehzangi, Abdollah; Heffernan, Rhys; Sharma, Alok; Lyons, James; Paliwal, Kuldip; Sattar, Abdul
18
2015
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242
Cai, Shaowei; Su, Kaile; Sattar, Abdul
18
2011
NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098
Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul
8
2013
A two level local search for MAX-SAT problems with hard and soft constraints. Zbl 1032.68753
Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia
6
2002
A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014
Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul
5
2009
Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485
Pham, Duc Nghia; Thornton, John; Sattar, Abdul
5
2008
Variable forgetting in reasoning about knowledge. Zbl 1192.68677
Su, K.; Sattar, A.; Lv, G.; Zhang, Y.
4
2009
Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566
Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul
4
2008
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Zbl 06988147
Riahi, Vahid; Newton, M. A. Hakim; Su, Kaile; Sattar, Abdul
3
2019
Joule heating effects on a microplolar fluid past a stretching sheet with variable electric conductivity. Zbl 1150.76550
Ferdows, M.; Ota, M.; Sattar, A.; Alam, M.
3
2005
On point-duration networks for temporal reasoning. Zbl 0999.68203
Navarrete, I.; Sattar, A.; Wetprasit, R.; Marin, R.
3
2002
Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050
Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia
2
2005
A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154
Thornton, J.; Beaumont, M.; Sattar, A.; Maher, Michael
2
2004
PSSM-Suc: accurately predicting succinylation using position specific scoring matrix into bigram for feature extraction. Zbl 1381.92002
Dehzangi, 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.68277
Zhuang, Zhiqiang; Delgrande, James; Nayak, Abhaya; Sattar, Abdul
1
2016
Levels of modality for BDI logic. Zbl 1248.68469
Blee, Jeff; Billington, David; Governatori, Guido; Sattar, Abdul
1
2011
Actions made explicit in BDI. Zbl 1052.68751
Padmanabhan, Vineet; Governatori, Guido; Sattar, Abdul
1
2001
Representation and reasoning with multi-point events. Zbl 0954.68138
Wetprasit, Rattana; Sattar, Abdul; Khatib, Lina
1
2000
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Zbl 06988147
Riahi, Vahid; Newton, M. A. Hakim; Su, Kaile; Sattar, Abdul
3
2019
PSSM-Suc: accurately predicting succinylation using position specific scoring matrix into bigram for feature extraction. Zbl 1381.92002
Dehzangi, 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.68277
Zhuang, 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.92092
Dehzangi, Abdollah; Heffernan, Rhys; Sharma, Alok; Lyons, James; Paliwal, Kuldip; Sattar, Abdul
18
2015
NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098
Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul
8
2013
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Zbl 1225.68242
Cai, Shaowei; Su, Kaile; Sattar, Abdul
18
2011
Levels of modality for BDI logic. Zbl 1248.68469
Blee, Jeff; Billington, David; Governatori, Guido; Sattar, Abdul
1
2011
A defeasible logic for modelling policy-based intentions and motivational attitudes. Zbl 1171.03014
Governatori, Guido; Padmanabhan, Vineet; Rotolo, Antonino; Sattar, Abdul
5
2009
Variable forgetting in reasoning about knowledge. Zbl 1192.68677
Su, K.; Sattar, A.; Lv, G.; Zhang, Y.
4
2009
Modelling and solving temporal reasoning as propositional satisfiability. Zbl 1184.68485
Pham, Duc Nghia; Thornton, John; Sattar, Abdul
5
2008
Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566
Pham, 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.76550
Ferdows, M.; Ota, M.; Sattar, A.; Alam, M.
3
2005
Neighbourhood clause weight redistribution in local search for SAT. Zbl 1153.68050
Ishtaiwi, Abdelraouf; Thornton, John; Sattar, Abdul; Pham, Duc Nghia
2
2005
A local search approach to modelling and solving interval algebra problems. Zbl 1085.68154
Thornton, 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.68753
Thornton, John; Bain, Stuart; Sattar, Abdul; Pham, Duc Nghia
6
2002
On point-duration networks for temporal reasoning. Zbl 0999.68203
Navarrete, I.; Sattar, A.; Wetprasit, R.; Marin, R.
3
2002
Actions made explicit in BDI. Zbl 1052.68751
Padmanabhan, Vineet; Governatori, Guido; Sattar, Abdul
1
2001
Representation and reasoning with multi-point events. Zbl 0954.68138
Wetprasit, Rattana; Sattar, Abdul; Khatib, Lina
1
2000
all top 5

Cited by 187 Authors

8 Cai, Shaowei
6 Sattar, Abdul
5 Governatori, Guido
5 Su, Kaile
4 Luo, Chuan
4 Yin, Minghao
3 Adel’shin, A. V.
3 Chou, Kuochen
3 Oliveri, Francesco
3 Riahi, Vahid
3 Rotolo, Antonino
3 Scannapieco, Simone
2 Afify, Ahmed Afify
2 Aranda-Corral, Gonzalo A.
2 Borrego-Díaz, Joaquín
2 Cristani, Matteo
2 Du, Pufeng
2 Ferdows, Mohammad
2 Hao, Jin-Kao
2 Hoos, Holger H.
2 Jiang, Hua
2 Jiao, Ya-Sen
2 Kolokolov, Aleksandr Aleksandrovich
2 Li, Chu Min
2 Li, Chumin
2 Liang, Yunyun
2 Navarrete, Isabel
2 Newton, M. A. Hakim
2 Schockaert, Steven
2 Wu, Jun
2 Wu, Qinghua
2 Xiao, Xuan
2 Zhang, Shengli
2 Zhou, Junping
1 Abramé, André
1 Ahmad, Jamal
1 Alam, Md. Mahmud
1 Alonso-Jiménez, José Antonio
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 Bian, Yong-Tao
1 Billington, David
1 Blee, Jeff
1 Botoeva, Elena
1 Cao, Junzhe
1 Cao, Tianjie
1 Cardenas-Viedma, M. Antonia
1 Chen, Cheng
1 Chen, Jian-er
1 Chen, Jiejiang
1 Chen, Xiaolin
1 Cheng, Xiang
1 Chiong, Raymond
1 Chu, Yi
1 De Cock, Martine
1 Dehzangi, Abdollah
1 Eldabe, Nabil T. M.
1 Fan, Xiaocong
1 Fang, Chao
1 Fang, Liangda
1 Fang, Zhiwen
1 Félix, Paulo
1 Fernández-Lebrón, M. Magdalena
1 Fichte, Johannes Klaus
1 Fu, Haoyue
1 Galán-Páez, Juan
1 Gerevini, Alfonso Emilio
1 Glover, Fred W.
1 Gu, Hong
1 Guo, Wensheng
1 Habet, Djamal
1 Hayat, Maqsood
1 He, Kun
1 Hoque, Md Tamjidul
1 Hou, Wenying
1 Hu, Shuli
1 Huang, Wenxuan
1 Hung, William N. N.
1 Hussain, Waqar
1 Iqbal, Sumaiya
1 Janssen, Jeroen
1 Jia, Cangzhi
1 Jia, Jianhua
1 Jiang, Lu
1 José Hidalgo-Doblado, M.
1 Ju, Zhe
1 Katzgraber, Helmut G.
1 Khan, Md. Shakhaoath
1 Khan, Sher Afzal
1 Khan, Yaser Daanial
1 KhudaBukhsh, Ashiqur R.
1 Konev, Boris
1 Kramer, Richard L.
...and 87 more Authors

Citations by Year