default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAbdul Sattar 0001
Person information
- affiliation: Griffith University, Brisbane, Queensland, Australia
Other persons with the same name
- Abdul Sattar 0002 — Bridgewater State College, Bridgewater, Massachusetts, USA
- Abdul Sattar 0003 — Supélec, Ecole Supérieur d'Electricité, France
- Abdul Sattar 0004 — German Center for Neurodegenerative Diseases, Göttingen, Germany (and 1 more)
- Abdul Sattar 0005
![[0000-0001-5248-6741]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-5248-6741")
— Khwaja Fareed University of Engineering & Information Technology, Department of Computer Science, Rahim Yar Khan, Pakistan (and 1 more) - Abdul Sattar 0006 — RMIT University, Melbourne, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j87]Tanzima Azad, M. A. Hakim Newton, Jarrod Trevathan, Abdul Sattar:
Hierarchical Decentralized Edge Interoperability. IEEE Internet Things J. 11(8): 13948-13960 (2024)- [j86]Julia Rahman, M. A. Hakim Newton, Mohammed Eunus Ali, Abdul Sattar:
Distance plus attention for binding affinity prediction. J. Cheminformatics 16(1): 52 (2024) - [c202]Amir Rafiee, Hugh Breakey, Yong Wu, Abdul Sattar:
Government's Response to Ethical Dilemmas in Autonomous Vehicle Accidents: An Australian Policy Evaluation. ICAART (3) 2024: 1152-1161 - 2023
- [j85]M. M. Mohamed Mufassirin, M. A. Hakim Newton, Julia Rahman, Abdul Sattar:
Multi-S3P: Protein Secondary Structure Prediction With Specialized Multi-Network and Self-Attention-Based Deep Learning Model. IEEE Access 11: 57083-57096 (2023) - [j84]M. M. Mohamed Mufassirin, M. A. Hakim Newton, Abdul Sattar:
Artificial intelligence for template-free protein structure prediction: a comprehensive review. Artif. Intell. Rev. 56(8): 7665-7732 (2023) - [j83]Julia Rahman, M. A. Hakim Newton, Md. Al Mehedi Hasan, Abdul Sattar:
Real-to-bin conversion for protein residue distances. Comput. Biol. Chem. 104: 107834 (2023) - [j82]Majid Namazi, M. A. Hakim Newton, Conrad Sanderson, Abdul Sattar:
Solving travelling thief problems using coordination based methods. J. Heuristics 29(4-6): 487-544 (2023) - [j81]Thanh Trung Huynh, Chi Thang Duong, Thanh Tam Nguyen, Tong Van Vinh, Abdul Sattar, Hongzhi Yin, Quoc Viet Hung Nguyen:
Network Alignment With Holistic Embeddings. IEEE Trans. Knowl. Data Eng. 35(2): 1881-1894 (2023) - [c201]Basim Azam, Brijesh K. Verma, Deepthi Praveenlal Kuttichira, Abdul Sattar:
A Novel Graph-based Framework for Explainable Image Classification: Features That Matter. DICTA 2023: 145-151 - [c200]Deepthi Praveenlal Kuttichira, Basim Azam, Brijesh K. Verma, Ashfaqur Rahman, Lipo Wang, Abdul Sattar:
Neural Network Feature Explanation Using Neuron Activation Rate Based Bipartite Graph. IVCNZ 2023: 1-6 - [i19]Majid Namazi, M. A. Hakim Newton, Conrad Sanderson, Abdul Sattar:
Solving Travelling Thief Problems using Coordination Based Methods. CoRR abs/2310.07156 (2023) - 2022
- [j80]Rianon Zaman, M. A. Hakim Newton, Fereshteh Mataeimoghadam, Abdul Sattar:
Constraint Guided Neighbor Generation for Protein Structure Prediction. IEEE Access 10: 54991-55001 (2022) - [j79]M. A. Hakim Newton, Fereshteh Mataeimoghadam, Rianon Zaman, Abdul Sattar:
Secondary structure specific simpler prediction models for protein backbone angles. BMC Bioinform. 23(1): 6 (2022) - [j78]M. A. Hakim Newton, Julia Rahman, Rianon Zaman, Abdul Sattar:
Enhancing protein contact map prediction accuracy via ensembles of inter-residue distance predictors. Comput. Biol. Chem. 99: 107700 (2022) - [j77]M. A. Hakim Newton, Rianon Zaman, Fereshteh Mataeimoghadam, Julia Rahman, Abdul Sattar:
Constraint Guided Beta-Sheet Refinement for Protein Structure Prediction. Comput. Biol. Chem. 101: 107773 (2022) - [j76]Julia Rahman, M. A. Hakim Newton, Md. Al Mehedi Hasan, Abdul Sattar:
A stacked meta-ensemble for protein inter-residue distance prediction. Comput. Biol. Medicine 148: 105824 (2022) - [j75]Md. Khaled Ben Islam, M. A. Hakim Newton, Julia Rahman, Jarrod Trevathan, Abdul Sattar:
Long range multi-step water quality forecasting using iterative ensembling. Eng. Appl. Artif. Intell. 114: 105166 (2022) - [j74]Jarrod Trevathan, Wayne Read, Abdul Sattar:
Implementation and Calibration of an IoT Light Attenuation Turbidity Sensor. Internet Things 19: 100576 (2022) - [j73]Blake Rawlins, Jarrod Trevathan, Abdul Sattar:
Embedded fog models for remote aquatic environmental monitoring. Internet Things 20: 100621 (2022) - [c199]Rianon Zaman, M. A. Hakim Newton, Fereshteh Mataeimoghadam, Abdul Sattar:
Tailoring Contact Based Scoring Functions for Protein Structure Prediction. AI 2022: 155-168 - [c198]Thanh Trung Huynh, Duong Chi Thang, Thanh Tam Nguyen, Van Vinh Tong, Abdul Sattar, Hongzhi Yin, Quoc Viet Hung Nguyen:
Network Alignment with Holistic Embeddings (Extended Abstract). ICDE 2022: 1509-1510 - [i18]Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar:
Deontic Meta-Rules. CoRR abs/2209.12655 (2022) - 2021
- [j72]M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar:
Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. 54(7): 5347-5411 (2021) - [j71]Vahid Riahi, M. A. Hakim Newton, Abdul Sattar:
A scatter search algorithm for time-dependent prize-collecting arc routing problems. Comput. Oper. Res. 134: 105392 (2021) - [j70]Vahid Riahi, M. A. Hakim Newton, Abdul Sattar:
Constraint based local search for flowshops with sequence-dependent setup times. Eng. Appl. Artif. Intell. 102: 104264 (2021) - [j69]Jarrod Trevathan, Simon Schmidtke, Wayne Read, Tony Sharp, Abdul Sattar:
An IoT General-Purpose Sensor Board for Enabling Remote Aquatic Environmental Monitoring. Internet Things 16: 100429 (2021) - [j68]Abdul Karim, Matthew Lee, Thomas Balle, Abdul Sattar:
CardioTox net: a robust predictor for hERG channel blockade based on deep learning meta-feature ensembles. J. Cheminformatics 13(1): 60 (2021) - [c197]Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar:
Computing Defeasible Meta-logic. JELIA 2021: 69-84 - [c196]Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani:
Computing Private International Law. JURIX 2021: 181-190 - [c195]Fereshteh Mataeimoghadam, M. A. Hakim Newton, Rianon Zaman, Abdul Sattar:
Improving Protein Backbone Angle Prediction Using Hidden Markov Models in Deep Learning. PRICAI (1) 2021: 239-251 - 2020
- [j67]Nasser R. Sabar, Ayad Turky, Andy Song, Abdul Sattar:
An evolutionary hyper-heuristic to optimise deep belief networks for image reconstruction. Appl. Soft Comput. 97(Part B): 105510 (2020) - [j66]Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su:
Dropout with Tabu Strategy for Regularizing Deep Neural Networks. Comput. J. 63(7): 1031-1038 (2020) - [j65]Thanh Trung Huynh, Nguyen Thanh Toan, Van Vinh Tong, Thanh Dat Hoang, Duong Chi Thang, Nguyen Quoc Viet Hung, Abdul Sattar:
A comparative study on network alignment techniques. Expert Syst. Appl. 140 (2020) - [c194]Jarrod Trevathan, Wayne Read, Abdul Sattar, Simon Schmidtke, Tony Sharp:
The Virtual Sensor Concept : Separating Sensor Software from the Hardware. IEEE SENSORS 2020: 1-4 - [c193]Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar:
Surrogate Assisted Optimisation for Travelling Thief Problems. SOCS 2020: 111-115 - [i17]Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar:
Surrogate Assisted Optimisation for Travelling Thief Problems. CoRR abs/2005.06695 (2020)
2010 – 2019
- 2019
- [j64]Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar:
Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Comput. Oper. Res. 102: 102-120 (2019) - [j63]Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar:
Tailoring customer order scheduling search algorithms. Comput. Oper. Res. 108: 155-165 (2019) - [j62]M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar:
Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. Comput. Oper. Res. 109: 64-76 (2019) - [j61]M. A. Hakim Newton, Vahid Riahi, Abdul Sattar:
Makespan preserving flowshop reengineering via blocking constraints. Comput. Oper. Res. 112 (2019) - [j60]Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar:
Constraint guided search for aircraft sequencing. Expert Syst. Appl. 118: 440-458 (2019) - [j59]Avinash Mishra, Megan Cross, Andreas Hofmann, Mark J. Coster, Abdul Karim, Abdul Sattar:
Identification of a Novel Scaffold for Inhibition of Dipeptidyl Peptidase-4. J. Comput. Biol. 26(12): 1470-1486 (2019) - [c192]Abdul Karim, Jaspreet Singh, Avinash Mishra, Abdollah Dehzangi, M. A. Hakim Newton, Abdul Sattar:
Toxicity Prediction by Multimodal Deep Learning. PKAW 2019: 142-152 - [c191]Vahid Riahi, M. A. Hakim Newton, Abdul Sattar:
Exploiting Setup Time Constraints in Local Search for Flowshop Scheduling. PRICAI (2) 2019: 379-392 - [c190]Thanh Trung Huynh, Van Vinh Tong, Chi Thang Duong, Huynh Quyet Thang, Quoc Viet Hung Nguyen, Abdul Sattar:
Network Alignment by Representation Learning on Structure and Attribute. PRICAI (2) 2019: 698-711 - [c189]Majid Namazi, M. A. Hakim Newton, Abdul Sattar, Conrad Sanderson:
A Profit Guided Coordination Heuristic for Travelling Thief Problems. SOCS 2019: 140-144 - [i16]Abdul Karim, Avinash Mishra, M. A. Hakim Newton, Abdul Sattar:
Efficient Toxicity Prediction via Simple Features Using Shallow Neural Networks and Decision Trees. CoRR abs/1901.09240 (2019) - [i15]Abdul Karim, Jaspreet Singh, Avinash Mishra, Abdollah Dehzangi, M. A. Hakim Newton, Abdul Sattar:
Toxicity Prediction by Multimodal Deep Learning. CoRR abs/1907.08333 (2019) - [i14]Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar:
A Cooperative Coordination Solver for Travelling Thief Problems. CoRR abs/1911.03124 (2019) - 2018
- [c188]Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar:
Local Search for Flowshops with Setup Times and Blocking Constraints. ICAPS 2018: 199-207 - [c187]Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar:
Diversified Late Acceptance Search. Australasian Conference on Artificial Intelligence 2018: 299-311 - [c186]Vahid Riahi, M. A. Hakim Newton, Abdul Sattar:
Constraint-Guided Local Search for Single Mixed-Operation Runway. Australasian Conference on Artificial Intelligence 2018: 329-341 - [c185]Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar:
Precision without Precisions: Handling uncertainty with a single predictive model. ALIFE 2018: 129-136 - [c184]Vahid Riahi, Md. Masbaul Alam, M. A. Hakim Newton, Abdul Sattar:
Mixed Neighbourhood Local Search for Customer Order Scheduling Problem. PRICAI (1) 2018: 296-309 - [i13]Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar:
Diversified Late Acceptance Search. CoRR abs/1806.09328 (2018) - [i12]Abdul Karim, Avinash Mishra, M. A. Hakim Newton, Abdul Sattar:
Machine Learning Interpretability: A Science rather than a tool. CoRR abs/1807.06722 (2018) - [i11]Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su:
Dropout with Tabu Strategy for Regularizing Deep Neural Networks. CoRR abs/1808.09907 (2018) - 2017
- [j58]Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar:
Constraint-directed search for all-interval series. Constraints An Int. J. 22(3): 403-431 (2017) - [j57]Vahid Riahi, Mostafa Khorramizadeh, M. A. Hakim Newton, Abdul Sattar:
Scatter search for mixed blocking flowshop scheduling. Expert Syst. Appl. 79: 20-32 (2017) - [j56]Md. Masbaul Alam, M. A. Hakim Newton, Abdul Sattar:
Constraint-based search for optimal Golomb rulers. J. Heuristics 23(6): 501-532 (2017) - [j55]Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar:
Encoding Domain Transitions for Constraint-Based Planning. J. Artif. Intell. Res. 58: 905-966 (2017) - [c183]Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar:
Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI 2017: 351-360 - [c182]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. Australasian Conference on Artificial Intelligence 2017: 353-364 - [c181]Nasser R. Sabar, Ayad Turky, Andy Song, Abdul Sattar:
Optimising Deep Belief Networks by hyper-heuristic approach. CEC 2017: 2738-2745 - [c180]Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar:
Dynamic thresholds for self-organizing predictive cells. ECAL 2017: 114-121 - [c179]Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar:
Visualisation of Compliant Declarative Business Processes. EDOC 2017: 89-94 - [c178]Zahra ShahabiKargar, Sankalp Khanna, Abdul Sattar, James Lind:
Improved Prediction of Procedure Duration for Elective Surgery. HIC 2017: 133-138 - [c177]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
A Unifying Framework for Probabilistic Belief Revision. IJCAI 2017: 1370-1376 - [c176]Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song:
Evolutionary Learning Based Iterated Local Search for Google Machine Reassignment Problems. SEAL 2017: 409-421 - [c175]Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song:
Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem. SEAL 2017: 706-715 - 2016
- [j54]Rhys Heffernan, Abdollah Dehzangi, James G. Lyons, Kuldip K. Paliwal, Alok Sharma, Jihua Wang, Abdul Sattar, Yaoqi Zhou, Yuedong Yang:
Highly accurate sequence-based prediction of half-sphere exposures of amino acid residues in proteins. Bioinform. 32(6): 843-849 (2016) - [j53]Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar:
Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. Comput. Biol. Chem. 61: 162-177 (2016) - [j52]Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen:
A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. 10(2): 233-245 (2016) - [j51]Mahmood A. Rashid, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar:
An Enhanced Genetic Algorithm for Ab Initio Protein Structure Prediction. IEEE Trans. Evol. Comput. 20(4): 627-644 (2016) - [j50]Luca Anselma, Luca Piovesan, Abdul Sattar, Bela Stantic, Paolo Terenziani:
A Comprehensive Approach to 'Now' in Temporal Relational Databases: Semantics and Representation. IEEE Trans. Knowl. Data Eng. 28(10): 2538-2551 (2016) - [c174]Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song:
Parallel Late Acceptance Hill-Climbing Algorithm for the Google Machine Reassignment Problem. Australasian Conference on Artificial Intelligence 2016: 163-174 - [c173]Yi Fan, Chengqian Li, Zongjie Ma, Lian Wen, Abdul Sattar, Kaile Su:
Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. Australasian Conference on Artificial Intelligence 2016: 255-267 - [c172]Majid Namazi, Nina Ghanbari Ghooshchi, M. A. Hakim Newton, Abdul Sattar:
Assignment Precipitation in Fail First Search. Australasian Conference on Artificial Intelligence 2016: 281-287 - [c171]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. ECAI 2016: 671-679 - [c170]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. ICTAI 2016: 686-690 - [c169]Tadiparthi V. R. Himabindu, Vineet Padmanabhan, Arun K. Pujari, Abdul Sattar:
Prediction with Confidence in Item Based Collaborative Filtering. PRICAI 2016: 125-138 - [c168]Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar:
Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. PRICAI 2016: 283-294 - [i10]Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar:
A New Approach for Revising Logic Programs. CoRR abs/1603.09465 (2016) - [i9]Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar:
Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. CoRR abs/1607.06113 (2016) - 2015
- [j49]Lukas Folkman, Yuedong Yang, Zhixiu Li, Bela Stantic, Abdul Sattar, Matthew E. Mort, David N. Cooper, Yunlong Liu, Yaoqi Zhou:
DDIG-in: detecting disease-causing genetic variations due to frameshifting indels and nonsense mutations employing sequence and structural properties at nucleotide and protein levels. Bioinform. 31(10): 1599-1606 (2015) - [j48]Abdollah Dehzangi, Sohrab Sohrabi, Rhys Heffernan, Alok Sharma, James G. Lyons, Kuldip K. Paliwal, Abdul Sattar:
Gram-positive and gram-negative subcellular localization using rotation forest and physicochemical-based features. BMC Bioinform. 16(S-4): S1 (2015) - [j47]Abdollah Dehzangi, Alok Sharma, James G. Lyons, Kuldip K. Paliwal, Abdul Sattar:
A mixture of physicochemical and evolutionary-based feature extraction approaches for protein fold recognition. Int. J. Data Min. Bioinform. 11(1): 115-138 (2015) - [c167]Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar:
Transition Constraints for Parallel Planning. AAAI 2015: 3268-3274 - [c166]Luca Anselma, Luca Piovesan, Abdul Sattar, Bela Stantic, Paolo Terenziani:
A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases. AIME 2015: 327-331 - [c165]Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar:
Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence. Australasian Conference on Artificial Intelligence 2015: 109-122 - [c164]Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar:
Constraint-Based Local Search for Golomb Rulers. CPAIOR 2015: 322-331 - [c163]Kushal Ahmed, Lian Wen, Abdul Sattar, Reza Farid:
Semantic Network Model: A Reasoning Engine for Software Requirements. ICECCS 2015: 194-197 - [c162]Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar:
Probabilistic Belief Contraction Using Argumentation. IJCAI 2015: 2854-2860 - [c161]Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar:
On the KL Divergence of Probability Mixtures for Belief Contraction. KI 2015: 249-255 - [i8]Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar:
Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. CoRR abs/1509.05870 (2015) - [i7]Mahmood A. Rashid, Firas Khatib, Abdul Sattar:
Protein preliminaries and structure prediction fundamentals for computer scientists. CoRR abs/1510.02775 (2015) - 2014
- [j46]Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar:
How Good Are Simplified Models for Protein Structure Prediction? Adv. Bioinformatics 2014: 867179:1-867179:9 (2014) - [j45]Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Abdul Sattar:
A Parallel Framework for Multipoint Spiral Search in ab Initio Protein Structure Prediction. Adv. Bioinformatics 2014: 985968:1-985968:17 (2014) - [j44]Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar:
Proposing a highly accurate protein structural class predictor using segmentation-based features. BMC Genom. 15(S-1): S2 (2014) - [j43]Lukas Folkman, Bela Stantic, Abdul Sattar:
Towards sequence-based prediction of mutation-induced stability changes in unseen non-homologous proteins. BMC Genom. 15(S-1): S4 (2014) - [j42]James G. Lyons, Abdollah Dehzangi, Rhys Heffernan, Alok Sharma, Kuldip K. Paliwal, Abdul Sattar, Yaoqi Zhou, Yuedong Yang:
Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto-encoder deep neural network. J. Comput. Chem. 35(28): 2040-2046 (2014) - [j41]Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar:
A Segmentation-Based Method to Extract Structural and Evolutionary Features for Protein Fold Recognition. IEEE ACM Trans. Comput. Biol. Bioinform. 11(3): 510-519 (2014) - [c160]Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar:
Formalisation of the integration of behavior trees. ASE 2014: 779-784 - [c159]Mahmood A. Rashid, Md. Masbaul Alam Polash, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar:
Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction. PRICAI 2014: 143-156 - [c158]Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar:
Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs. PRICAI 2014: 333-344 - [c157]Kinzang Chhogyal, Abhaya C. Nayak, Rolf Schwitter, Abdul Sattar:
Probabilistic Belief Revision via Imaging. PRICAI 2014: 694-707 - [c156]Zahra ShahabiKargar, Sankalp Khanna, Norm Good, Abdul Sattar, James Lind, John O'Dwyer:
Predicting Procedure Duration to Improve Scheduling of Elective Surgery. PRICAI 2014: 998-1009 - [i6]Mahmood A. Rashid, Md. Tamjidul Hoque, Abdul Sattar:
Association Rules Mining Based Clinical Observations. CoRR abs/1401.2571 (2014) - [i5]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. CoRR abs/1401.3472 (2014) - [i4]Kushal Ahmed, Toby Myers, Lian Wen, Abdul Sattar:
Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. CoRR abs/1401.5198 (2014) - [i3]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR abs/1402.0584 (2014) - 2013
- [j40]Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Swakkhar Shatabda, Duc Nghia Pham, Abdul Sattar:
Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. BMC Bioinform. 14(S-2): S16 (2013) - [j39]Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar:
The road not taken: retreat and diverge in local search for simplified protein structure prediction. BMC Bioinform. 14(S-2): S19 (2013) - [j38]Lukas Folkman, Bela Stantic, Abdul Sattar:
Sequence-only evolutionary and predicted structural features for the prediction of stability changes in protein mutants. BMC Bioinform. 14(S-2): S6 (2013) - [j37]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. 46: 687-716 (2013) - [j36]Paolo Terenziani, Bela Stantic, Alessio Bottrighi, Abdul Sattar:
An intensional approach for periodic data in relational databases. J. Intell. Inf. Syst. 41(2): 151-186 (2013) - [j35]Luca Anselma, Bela Stantic, Paolo Terenziani, Abdul Sattar:
Querying now-relative data. J. Intell. Inf. Syst. 41(2): 285-311 (2013) - [c155]Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar:
Mixed Heuristic Local Search for Protein Structure Prediction. AAAI 2013: 876-882 - [c154]Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar:
Simplified Lattice Models for Protein Structure Prediction: How Good Are They? AAAI 2013: 1639-1640 - [c153]Abdollah Dehzangi, Abdul Sattar:
Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition. ACIIDS (1) 2013: 335-344 - [c152]Abdollah Dehzangi, Abdul Sattar:
Protein Fold Recognition Using Segmentation-Based Feature Extraction Model. ACIIDS (1) 2013: 345-354 - [c151]Abdollah Dehzangi, Kuldip K. Paliwal, Alok Sharma, James G. Lyons, Abdul Sattar:
Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models. Australasian Conference on Artificial Intelligence 2013: 32-43 - [c150]Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar:
Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction. Australasian Conference on Artificial Intelligence 2013: 44-55 - [c149]Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar:
Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. Australasian Conference on Artificial Intelligence 2013: 166-177 - [c148]Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar:
A Hybrid Local Search for Simplified Protein Structure Prediction. BIOINFORMATICS 2013: 158-163 - [c147]Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Abdul Sattar:
A local search embedded genetic algorithm for simplified protein structure prediction. IEEE Congress on Evolutionary Computation 2013: 1091-1098 - [c146]Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Abdul Sattar:
An efficient encoding for simplified protein structure prediction using genetic algorithms. IEEE Congress on Evolutionary Computation 2013: 1217-1224 - [c145]Roozbeh Derakhshan, Abdul Sattar, Bela Stantic:
A new operator for efficient stream-relation join processing in data streaming engines. CIKM 2013: 793-798 - [c144]M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar:
Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. CP 2013: 832-847 - [c143]Vineet Padmanabhan, Prabhu Kiran, Abdul Sattar:
Group Recommender Systems - Some Experimental Results. ICAART (2) 2013: 370-376 - [c142]Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton:
Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. IJCAI 2013: 524-530 - [c141]Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar:
Enhancing Protein Fold Prediction Accuracy Using Evolutionary and Structural Features. PRIB 2013: 196-207 - [c140]Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar:
Exploring Potential Discriminatory Information Embedded in PSSM to Enhance Protein Structural Class Prediction Accuracy. PRIB 2013: 208-219 - [c139]Huu-Phuoc Duong, Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar, Anh Duc Duong:
Trap escape for local search by backtracking and conflict reverse. SCAI 2013: 85-94 - [c138]Mahmood A. Rashid, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar:
Collaborative Parallel Local Search for Simplified Protein Structure Prediction. TrustCom/ISPA/IUCC 2013: 966-973 - [e4]Sankalp Khanna, Christian Guttmann, Abdul Sattar, David P. Hansen, Fernando Koch:
Proceedings of the Third Australasian Workshop on Artificial Intelligence in Health (AIH 2013) and the Fourth International Workshop on Collaborative Agents - Research and Development (CARE 2013) co-located with the 26th Australasian Joint Conference on Artificial Intelligence (AI 2013), Dunedin, New Zealand, December 3, 2013. CEUR Workshop Proceedings 1098, CEUR-WS.org 2013 [contents] - [i2]Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar:
A Hybrid Local Search for Simplified Protein Structure Prediction. CoRR abs/1310.8583 (2013) - [i1]Mahmood A. Rashid, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar:
Mixing Energy Models in Genetic Algorithms for On-Lattice Protein Structure Prediction. CoRR abs/1311.3840 (2013) - 2012
- [j34]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh:
AI@NICTA. AI Mag. 33(3): 115- (2012) - [j33]Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi, Abdul Sattar:
An implicit approach to deal with periodically repeated medical data. Artif. Intell. Medicine 55(3): 149-162 (2012) - [j32]Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu:
A complete first-order temporal BDI logic for forest multi-agent systems. Knowl. Based Syst. 27: 343-351 (2012) - [j31]Peter Darcy, Bela Stantic, Abdul Sattar:
X-CleLo: intelligent deterministic RFID data and event transformer. Pers. Ubiquitous Comput. 16(3): 259-269 (2012) - [c137]Shaowei Cai, Kaile Su, Abdul Sattar:
Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2012: 441-447 - [c136]Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar:
Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI 2012: 542-548 - [c135]Subhasis Thakur, Guido Governatori, Abdul Sattar:
On modeling punishment in multi-agent systems. AAMAS 2012: 1375-1376 - [c134]Justin Terry, Bela Stantic, Abdul Sattar:
Indexing RFID data using the VG-curve. ADC 2012: 117-126 - [c133]Pavel Kalinov, Abdul Sattar, Bela Stantic:
Towards Real Intelligent Web Exploration. APWeb 2012: 411-422 - [c132]Mahmood A. Rashid, Md. Tamjidul Hoque, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar:
A New Genetic Algorithm for Simplified Protein Structure Prediction. Australasian Conference on Artificial Intelligence 2012: 107-119 - [c131]Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar:
A Method to Avoid Duplicative Flipping in Local Search for SAT. Australasian Conference on Artificial Intelligence 2012: 218-229 - [c130]Swakkhar Shatabda, Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar:
Memory-based local search for simplified protein structure prediction. BCB 2012: 345-352 - [c129]Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar:
Random-walk: a stagnation recovery technique for simplified protein structure prediction. BCB 2012: 620-622 - [c128]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar:
Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction. BIOINFORMATICS 2012: 188-194 - [c127]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar:
Refining Genetic Algorithm twin removal for high-resolution protein structure prediction. IEEE Congress on Evolutionary Computation 2012: 1-8 - [c126]Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar:
A Study of Local Minimum Avoidance Heuristics for SAT. ECAI 2012: 300-305 - 2011
- [j30]Shaowei Cai, Kaile Su, Abdul Sattar:
Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175(9-10): 1672-1696 (2011) - [j29]Peter Darcy, Bela Stantic, Abdul Sattar:
An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. Intell. Data Anal. 15(6): 931-954 (2011) - [j28]Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar:
Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. 9(4): 221-222 (2011) - [j27]Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
Levels of modality for BDI Logic. J. Appl. Log. 9(4): 250-273 (2011) - [j26]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar:
Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model. IEEE ACM Trans. Comput. Biol. Bioinform. 8(1): 234-245 (2011) - [c125]Peter Darcy, Bela Stantic, Abdul Sattar:
A Novel Integrated Classifier for Handling Data Warehouse Anomalies. ADBIS 2011: 98-110 - [c124]Justin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar:
Variable Granularity Space Filling Curve for Indexing Multidimensional Data. ADBIS 2011: 111-124 - [c123]Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar:
A Triangular Decomposition Access Method for Temporal Data - TD-tree. ADC 2011: 113-122 - [c122]Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher:
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP 2011: 645-659 - [c121]Muhammad Arshad Awan, Abdul Sattar, Cheong Ghil Kim, Chung-Pyo Hong, Shin-Dug Kim:
Semantic Search and Retrieval System for Learning Objects. ICITCS 2011: 129-143 - [c120]Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu:
Incorporating Temporal Planning Within a BDI Architecture. IICAI 2011: 1618-1636 - [c119]Vineet Padmanabhan, Guido Governatori, Abdul Sattar:
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI 2011: 63-74 - 2010
- [j25]Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar:
Advanced indexing technique for temporal data. Comput. Sci. Inf. Syst. 7(4): 679-703 (2010) - [j24]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar, Vicky M. Avery:
DFS-generated pathways in GA crossover for protein structure prediction. Neurocomputing 73(13-15): 2308-2316 (2010) - [c118]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar:
Trust Management Scheme for Mobile Ad-Hoc Networks. CIT 2010: 896-901 - [c117]Peter Darcy, Bela Stantic, Abdul Sattar:
Applying a neural network to recover missed RFID readings. ACSC 2010: 133-142 - [c116]Peter Darcy, Bela Stantic, Abdul Sattar:
Correcting Missing Data Anomalies with Clausal Defeasible Logic. ADBIS 2010: 149-163 - [c115]Bela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar:
Indexing Temporal Data with Virtual Structure. ADBIS 2010: 591-594 - [c114]Pavel Kalinov, Bela Stantic, Abdul Sattar:
Building a dynamic classifier for large text data collections. ADC 2010: 113-122 - [c113]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar:
Trust Formalization in Mobile Ad-Hoc Networks. AINA Workshops 2010: 351-356 - [c112]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar:
Genetic algorithm feature-based resampling for protein structure prediction. IEEE Congress on Evolutionary Computation 2010: 1-8 - [c111]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar:
A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. EUC 2010: 484-491 - [c110]Peter Darcy, Bela Stantic, Abdul Sattar:
X-CleLo: Intelligent Deterministic RFID Data Transformer. IWRT 2010: 59-68 - [c109]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar:
A trust management architecture for hierarchical wireless sensor networks. LCN 2010: 264-267 - [c108]Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi, Guido Governatori:
Towards an implicit treatment of periodically-repeated medical data. MedInfo 2010: 1131-1135 - [c107]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Abdul Sattar, Vijay Varadharajan:
A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. MobiQuitous 2010: 186-197 - [c106]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar:
A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. NSS 2010: 275-280 - [c105]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
Partial Weighted MaxSAT for Optimal Planning. PRICAI 2010: 231-243 - [c104]Sankalp Khanna, Timothy William Cleaver, Abdul Sattar, David P. Hansen, Bela Stantic:
Multiagent Based Scheduling of Elective Surgery. PRIMA 2010: 74-89 - [c103]Sankalp Khanna, Abdul Sattar, Justin R. Boyle, David P. Hansen, Bela Stantic:
An Intelligent Approach to Surgery Scheduling. PRIMA 2010: 535-550 - [c102]Pavel Kalinov, Bela Stantic, Abdul Sattar:
Let's Trust Users It is Their Search. Web Intelligence 2010: 176-179
2000 – 2009
- 2009
- [j23]Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar:
A defeasible logic for modelling policy-based intentions and motivational attitudes. Log. J. IGPL 17(3): 227-265 (2009) - [j22]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang:
Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. 35: 677-716 (2009) - [j21]Tamjidul Hoque, Madhu Chetty, Abdul Sattar:
Extended HP Model for Protein Structure Prediction. J. Comput. Biol. 16(1): 85-103 (2009) - [j20]Bela Stantic, Abdul Sattar, Paolo Terenziani:
The POINT approach to represent now in bitemporal databases. J. Intell. Inf. Syst. 32(3): 297-323 (2009) - [j19]Ji Ma, Mehmet A. Orgun, Abdul Sattar:
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. IEEE Trans. Syst. Man Cybern. Part B 39(4): 889-900 (2009) - [c101]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009 - [c100]Ji Ma, Mehmet A. Orgun, Abdul Sattar:
Theories of Trust for Communication Protocols. ATC 2009: 236-248 - [c99]Sankalp Khanna, Abdul Sattar, David P. Hansen, Bela Stantic:
An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. IAT 2009: 339-346 - [c98]Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi:
Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops 2009: 474-477 - [c97]Ho-Pun Lam, Subhasis Thakur, Guido Governatori, Abdul Sattar:
A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic. RuleML Challenge 2009 - [p1]Tamjidul Hoque, Madhu Chetty, Abdul Sattar:
Genetic Algorithm inAb Initio Protein Structure Prediction Using Low Resolution Model: A Review. Biomedical Data and Applications 2009: 317-342 - 2008
- [j18]Duc Nghia Pham, John Thornton, Abdul Sattar:
Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008) - [j17]Owen Bourne, Abdul Sattar, Scott D. Goodwin:
A Constraint-Based Autonomous 3D Camera System. Constraints An Int. J. 13(1-2): 180-205 (2008) - [j16]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. 4(2-4): 149-172 (2008) - [c96]Kaile Su, Abdul Sattar:
An Extended Interpreted System Model for Epistemic Logics. AAAI 2008: 554-559 - [c95]Duc Nghia Pham, John Thornton, Abdul Sattar:
Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478 - [c94]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar:
A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303 - [c93]Bela Stantic, Paolo Terenziani, Abdul Sattar:
Coping efficiently with now-relative medical data. AMIA 2008 - [c92]Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen:
Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633 - [c91]Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650 - [c90]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar:
DFS Based Partial Pathways in GA for Protein Structure Prediction. PRIB 2008: 41-53 - [c89]Timothy William Cleaver, Abdul Sattar:
Quantifying Commitment. PRICAI 2008: 54-65 - 2007
- [j15]Kaile Su, Abdul Sattar, Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007) - [c88]Timothy William Cleaver, Abdul Sattar:
Intention Guided Belief Revision. AAAI 2007: 36-41 - [c87]Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501 - [c86]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar:
Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222 - [c85]Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar:
Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693 - [c84]Tamjidul Hoque, Madhu Chetty, Abdul Sattar:
Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. IEEE Congress on Evolutionary Computation 2007: 4138-4145 - [c83]Duc Nghia Pham, John Thornton, Abdul Sattar:
Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364 - [c82]Jeff Blee, David Billington, Abdul Sattar:
Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415 - 2006
- [j14]Mark Reynolds, Abdul Sattar:
Editors' introduction. J. Appl. Log. 4(2): 117-118 (2006) - [j13]Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng:
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. 21(6): 932-943 (2006) - [c81]Bela Stantic, Guido Governatori, Abdul Sattar:
Handling of current time in native XML databases. ADC 2006: 175-182 - [c80]Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222 - [c79]Timothy William Cleaver, Abdul Sattar, Raihana Ferdous:
User defined monitoring strategies for BDI agent programs. AAMAS 2006: 1055-1057 - [c78]Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78 - [c77]Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang:
LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence 2006: 1101-1105 - [c76]Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham:
Adaptive Clause Weight Redistribution. CP 2006: 229-243 - [c75]Duc Nghia Pham, John Thornton, Abdul Sattar:
Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436 - [c74]Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378 - [e3]Abdul Sattar, Byeong-Ho Kang:
AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings. Lecture Notes in Computer Science 4304, Springer 2006, ISBN 3-540-49787-0 [contents] - 2005
- [c73]Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. AAAI 2005: 190-195 - [c72]Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar:
Old Resolution Meets Modern SLS. AAAI 2005: 354-359 - [c71]Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460 - [c70]Kewen Wang, Abdul Sattar, Kaile Su:
A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688 - [c69]Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin:
Handling Over-Constrained Problems in Distributed Multi-agent Systems. Canadian AI 2005: 13-24 - [c68]Owen Bourne, Abdul Sattar:
Applying Constraint Weighting to Autonomous Camera Control. AIIDE 2005: 3-8 - [c67]Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen:
A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156 - [c66]Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv:
Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130 - [c65]Timothy William Cleaver, Abdul Sattar, Kewen Wang:
Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence 2005: 60-69 - [c64]Stuart Bain, John Thornton, Abdul Sattar:
A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence 2005: 1068-1074 - [c63]Stuart Bain, John Thornton, Abdul Sattar:
Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736 - [c62]Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776 - [c61]Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori:
Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582 - [c60]Timothy William Cleaver, Abdul Sattar, Kewen Wang:
Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72 - [c59]Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171 - 2004
- [j12]Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel:
Iterated Belief Change. Comput. Intell. 20(1): 37-55 (2004) - [j11]John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004) - [c58]Richard A. Hagen, Scott D. Goodwin, Abdul Sattar:
Code Improvements for Model Elimination Based Reasoning Systems. ACSC 2004: 233-240 - [c57]Owen Bourne, Abdul Sattar:
Applying Constraint Satisfaction Techniques to 3D Camera Control. Australian Conference on Artificial Intelligence 2004: 658-669 - [c56]Stuart Bain, John Thornton, Abdul Sattar:
Evolving algorithms for constraint satisfaction. IEEE Congress on Evolutionary Computation 2004: 265-272 - [c55]Owen Bourne, Abdul Sattar:
Applying Constraint Satisfaction Techniques to 3D Camera Control. CP 2004: 811 - [c54]Bela Stantic, Justin Terry, Abdul Sattar:
Logical Query Transformation in Bitemporal Databases. Databases and Applications 2004: 7-12 - [c53]Lingzhong Zhou, John Thornton, Abdul Sattar:
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS 2004: 20-26 - [c52]Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher:
Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143 - [c51]Stuart Bain, John Thornton, Abdul Sattar:
Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153 - 2003
- [j10]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
Extending Dual Arc Consistency. Int. J. Pattern Recognit. Artif. Intell. 17(5): 781-815 (2003) - [c50]Richard A. Hagen, Abdul Sattar:
Improving Search in a Hypothetical Reasoning System. ACSC 2003: 45-53 - [c49]Anbulagan, John Thornton, Abdul Sattar:
Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111 - [c48]Lingzhong Zhou, John Thornton, Abdul Sattar:
Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439 - [c47]Isabel Navarrete, Abdul Sattar, Roque Marín:
Deciding consistency of a point-duration network with metric constraints. TIME 2003: 147-154 - [c46]Bela Stantic, John Thornton, Abdul Sattar:
A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180 - 2002
- [j9]Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín:
On point-duration networks for temporal reasoning. Artif. Intell. 140(1/2): 39-70 (2002) - [c45]Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar:
An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 579-590 - [c44]John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham:
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence 2002: 603-614 - [c43]Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723 - [c42]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
Extending Dual Arc Consistency. FLAIRS 2002: 192-197 - [c41]Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
On Fibring Semantics for BDI Logics. JELIA 2002: 198-210 - [c40]John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
Applying Local Search to Temporal Reasoning. TIME 2002: 94-99 - [e2]Mitsuru Ishizuka, Abdul Sattar:
PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings. Lecture Notes in Computer Science 2417, Springer 2002, ISBN 3-540-44038-0 [contents] - 2001
- [j8]M. R. K. Krishna Rao, Abdul Sattar:
Polynomial-time learnability of logic programs with local variables from entailment. Theor. Comput. Sci. 268(2): 179-198 (2001) - [c39]Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton:
Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49 - [c38]Vineet Padmanabhan, Guido Governatori, Abdul Sattar:
Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401 - [c37]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS 2001: 350-354 - 2000
- [j7]Rattana Wetprasit, Abdul Sattar, Lina Khatib:
Representation and Reasoning with Multi-Point Events. Constraints An Int. J. 5(3): 211-249 (2000) - [j6]Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Handling side-effects and cuts with selective recomputation in parallel Prolog. Future Gener. Comput. Syst. 17(3): 227-245 (2000) - [j5]Zhonghua Yang, Chengzheng Sun, Yuan Miao, Abdul Sattar, Yanyan Yang:
Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Int. J. Found. Comput. Sci. 11(1): 153-166 (2000) - [c36]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
A Constraint Directed Model for Partial Constraint Satisfaction Problems. AI 2000: 26-39 - [c35]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton:
On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536 - [c34]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar:
Dual Encoding Using Constraint Coverings. PRICAI 2000: 457-468 - [c33]Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami:
Temporal Reasoning: A Three Way Analysis. TIME 2000: 183-189
1990 – 1999
- 1999
- [j4]Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar:
Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999) - [c32]Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar:
INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence 1999: 291-303 - [c31]M. R. K. Krishna Rao, Abdul Sattar:
Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471 - [c30]John Thornton, Abdul Sattar:
On the Behavior and Application of Constraint Weighting. CP 1999: 446-460 - [c29]Arun K. Pujari, Abdul Sattar:
A New Framework for Reasoning about Points, Intervals and Durations. IJCAI 1999: 1259-1267 - [c28]Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang:
A New Look At Multimedia Synchronization in Distributed Environments. ISPAN 1999: 322-327 - 1998
- [c27]John Thornton, Abdul Sattar:
Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998: 367-372 - [c26]Rattana Wetprasit, Abdul Sattar:
Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI 1998: 656-663 - [c25]M. R. K. Krishna Rao, Abdul Sattar:
Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157 - [c24]Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Exploring Regional Locality in Distributed Shared Memory. ASIAN 1998: 142-156 - [c23]Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang:
Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN 1998: 157-168 - [c22]Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar:
Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS 1998: 572-581 - [c21]Jane You, Abdul Sattar, Ljubo Vlavic:
Parallel Vision Computing on a Network of Workstation Clusters. MVA 1998: 140-143 - [c20]Rattana Wetprasit, Abdul Sattar, Matthew Beaumont:
An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998: 317-328 - [c19]John Thornton, Abdul Sattar:
Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388 - [c18]M. R. K. Krishna Rao, Abdul Sattar:
Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493 - [c17]Rattana Wetprasit, Abdul Sattar:
Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME 1998: 69-73 - 1997
- [j3]Abdul Sattar, Randy Goebel:
Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Gener. Comput. 15(2): 163-186 (1997) - [c16]Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar:
Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN 1997: 98-109 - [c15]Rattana Wetprasit, Abdul Sattar, Lina Khatib:
A Generalized Framework for Reasoning with Multi-Point Events. ASIAN 1997: 121-135 - [c14]John Thornton, Abdul Sattar:
Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66 - [c13]Jane You, Suresh Hungenahally, Abdul Sattar:
Fractional Discrimination for Texture Image Segmentation. ICIP (1) 1997: 220-223 - [c12]Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410 - [c11]Zhiyi Huang, Chengzheng Sun, Abdul Sattar:
Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997: 275-289 - [e1]Abdul Sattar:
Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Lecture Notes in Computer Science 1342, Springer 1997, ISBN 3-540-63797-4 [contents] - 1996
- [c10]Rattana Wetprasit, Abdul Sattar, Lina Khatib:
Reasoning with Multi-Point Events. AI 1996: 26-40 - [c9]John Thornton, Abdul Sattar:
An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358 - [c8]Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar:
Changing Conditional Belief Unconditionally. TARK 1996: 119-135 - [c7]Rattana Wetprasit, Abdul Sattar, Lina Khatib:
Reasoning with Sequences of Point Events. TIME 1996: 36-38 - 1995
- [c6]Abdul Sattar, Aditya Ghose, Randy Goebel:
Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995: 253-264 - 1994
- [j2]Pushkar Piggott, Abdul Sattar:
Reinforcement learning of iterative behaviour with multiple sensors. Appl. Intell. 4(4): 351-365 (1994) - [c5]Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel:
Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994: 113-120 - 1993
- [c4]Alex Young, Abdul Sattar:
Nonmonotonic inheritance reasoning in classifiers. ANNES 1993: 160-162 - [c3]Ian Moore, Abdul Sattar:
A mineral deposit modelling and assessment expert system. ANNES 1993: 270-273 - 1991
- [j1]Abdul Sattar, Randy Goebel:
Using crucial literals to select better theories. Comput. Intell. 7: 11-22 (1991) - [c2]Abdul Sattar, Randy Goebel:
Meta-reasoning: An Incremental Compilation Approach. ICDE 1991: 140-149 - 1990
- [c1]Abdul Sattar, Randy Goebel:
On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) 1990: 23-31
Coauthor Index
Md. Masbaul Alam
aka: Md. Masbaul Alam Polash
aka: Md. Masbaul Alam Polash
Tamjidul Hoque
aka: Md. Tamjidul Hoque
aka: Md. Tamjidul Hoque
M. A. Hakim Newton
aka: Muhammad Abdul Hakim Newton
aka: Muhammad Abdul Hakim Newton
[j87] [j86] [j85] [j84] [j83] [j82] [i19] [j80] [j79] [j78] [j77] [j76] [j75] [c199] [j72] [j71] [j70] [c195] [c193] [i17] [j64] [j63] [j62] [j61] [j60] [c192] [c191] [c189] [i16] [i15] [i14] [c188] [c187] [c186] [c184] [i13] [i12] [j58] [j57] [j56] [j55] [c172] [c167] [c164] [j46] [j45] [c160] [c159] [c158] [j40] [j39] [c155] [c154] [c150] [c148] [c147] [c146] [c144] [c142] [c138] [i2] [i1] [c132] [c130] [c129] [c122]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
