Abdul Sattar - RankMe

321 papers A* 25A 18B 40C 20Misc 16Journal 112Unranked 86

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Efficient drug-target affinity prediction via interaction features and parallel CNN-BiLSTM with attention. Comput. Biol. Chem. Jiffriya Mohamed Abdul Cader, M. A. Hakim Newton, Abdul Sattar
2026	J	`jnl`	Harnessing angular geometry in deep learning for protein-ligand binding affinity prediction. Comput. Methods Programs Biomed. Julia Rahman, M. A. Hakim Newton, Jiffriya Mohamed Abdul Cader, Md. Khaled Ben Islam, Mohammed Eunus Ali, Abdul Sattar
2025	J	`jnl`	AMLNet: A Knowledge-Based Multi-Agent Framework to Generate and Detect Realistic Money Laundering Transactions. CoRR Sabin Huda, Ernest Foo, Zahra Jadidi, M. A. Hakim Newton, Abdul Sattar
2025	—	`conf`	GLIMPSE: A Lightweight SHAP-Based Framework for Interpretable ALS Biomarker Discovery from Gene Expression Data. PRICAI (4) Hima Nikafshan Rad, Abdul Karim, Anne Trinh, M. A. Hakim Newton, Jarrod Trevathan, NYGC ALS Consortium, Abdul Sattar
2025	J	`jnl`	IoT edge network interoperability. Comput. Commun. Tanzima Azad, M. A. Hakim Newton, Jarrod Trevathan, Abdul Sattar
2025	J	`jnl`	Lost in Cultural Translation: Do LLMs Struggle with Math Across Cultural Contexts? CoRR Aabid Karim, Abdul Karim, Bhoomika Lohana, Matt Keon, Jaswinder Singh, Abdul Sattar
2025	J	`jnl`	Syntactic and Semantic Edge Interoperability. J. Internet Serv. Appl. Tanzima Azad, M. A. Hakim Newton, Jarrod Trevathan, Abdul Sattar
2024	J	`jnl`	Distance plus attention for binding affinity prediction. J. Cheminformatics Julia Rahman, M. A. Hakim Newton, Mohammed Eunus Ali, Abdul Sattar
2024	—	`conf`	Efficient Self-Supervised Contrastive Learning with Representation Mixing. BDA Yash Kumar Sharma, Akshay Badola, Vineet Padmanabhan, Wilson Naik, Abdul Sattar
2024	—	`conf`	Government's Response to Ethical Dilemmas in Autonomous Vehicle Accidents: An Australian Policy Evaluation. ICAART (3) Amir Rafiee, Hugh Breakey, Yong Wu, Abdul Sattar
2024	J	`jnl`	Hierarchical Decentralized Edge Interoperability. IEEE Internet Things J. Tanzima Azad, M. A. Hakim Newton, Jarrod Trevathan, Abdul Sattar
2023	Misc	`conf`	A Novel Graph-based Framework for Explainable Image Classification: Features That Matter. DICTA Basim Azam, Brijesh K. Verma, Deepthi Praveenlal Kuttichira, Abdul Sattar
2023	J	`jnl`	Artificial intelligence for template-free protein structure prediction: a comprehensive review. Artif. Intell. Rev. M. M. Mohamed Mufassirin, M. A. Hakim Newton, Abdul Sattar
2023	J	`jnl`	Multi-S3P: Protein Secondary Structure Prediction With Specialized Multi-Network and Self-Attention-Based Deep Learning Model. IEEE Access M. M. Mohamed Mufassirin, M. A. Hakim Newton, Julia Rahman, Abdul Sattar
2023	J	`jnl`	Network Alignment With Holistic Embeddings. IEEE Trans. Knowl. Data Eng. Thanh Trung Huynh, Chi Thang Duong, Thanh Tam Nguyen, Tong Van Vinh, Abdul Sattar, Hongzhi Yin, Quoc Viet Hung Nguyen
2023	Misc	`conf`	Neural Network Feature Explanation Using Neuron Activation Rate Based Bipartite Graph. IVCNZ Deepthi Praveenlal Kuttichira, Basim Azam, Brijesh K. Verma, Ashfaqur Rahman, Lipo Wang, Abdul Sattar
2023	J	`jnl`	Real-to-bin conversion for protein residue distances. Comput. Biol. Chem. Julia Rahman, M. A. Hakim Newton, Md. Al Mehedi Hasan, Abdul Sattar
2023	J	`jnl`	Solving Travelling Thief Problems using Coordination Based Methods. CoRR Majid Namazi, M. A. Hakim Newton, Conrad Sanderson, Abdul Sattar
2023	J	`jnl`	Solving travelling thief problems using coordination based methods. J. Heuristics Majid Namazi, M. A. Hakim Newton, Conrad Sanderson, Abdul Sattar
2022	J	`jnl`	A stacked meta-ensemble for protein inter-residue distance prediction. Comput. Biol. Medicine Julia Rahman, M. A. Hakim Newton, Md. Al Mehedi Hasan, Abdul Sattar
2022	J	`jnl`	Constraint Guided Beta-Sheet Refinement for Protein Structure Prediction. Comput. Biol. Chem. M. A. Hakim Newton, Rianon Zaman, Fereshteh Mataeimoghadam, Julia Rahman, Abdul Sattar
2022	J	`jnl`	Constraint Guided Neighbor Generation for Protein Structure Prediction. IEEE Access Rianon Zaman, M. A. Hakim Newton, Fereshteh Mataeimoghadam, Abdul Sattar
2022	J	`jnl`	Deontic Meta-Rules. CoRR Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
2022	J	`jnl`	Embedded fog models for remote aquatic environmental monitoring. Internet Things Blake Rawlins, Jarrod Trevathan, Abdul Sattar
2022	J	`jnl`	Enhancing protein contact map prediction accuracy via ensembles of inter-residue distance predictors. Comput. Biol. Chem. M. A. Hakim Newton, Julia Rahman, Rianon Zaman, Abdul Sattar
2022	J	`jnl`	Implementation and Calibration of an IoT Light Attenuation Turbidity Sensor. Internet Things Jarrod Trevathan, Wayne Read, Abdul Sattar
2022	J	`jnl`	Long range multi-step water quality forecasting using iterative ensembling. Eng. Appl. Artif. Intell. Md. Khaled Ben Islam, M. A. Hakim Newton, Julia Rahman, Jarrod Trevathan, Abdul Sattar
2022	A*	`conf`	Network Alignment with Holistic Embeddings (Extended Abstract). ICDE Thanh Trung Huynh, Duong Chi Thang, Thanh Tam Nguyen, Van Vinh Tong, Abdul Sattar, Hongzhi Yin, Quoc Viet Hung Nguyen
2022	J	`jnl`	Secondary structure specific simpler prediction models for protein backbone angles. BMC Bioinform. M. A. Hakim Newton, Fereshteh Mataeimoghadam, Rianon Zaman, Abdul Sattar
2022	Misc	`conf`	Tailoring Contact Based Scoring Functions for Protein Structure Prediction. AI Rianon Zaman, M. A. Hakim Newton, Fereshteh Mataeimoghadam, Abdul Sattar
2021	J	`jnl`	A scatter search algorithm for time-dependent prize-collecting arc routing problems. Comput. Oper. Res. Vahid Riahi, M. A. Hakim Newton, Abdul Sattar
2021	J	`jnl`	An IoT General-Purpose Sensor Board for Enabling Remote Aquatic Environmental Monitoring. Internet Things Jarrod Trevathan, Simon Schmidtke, Wayne Read, Tony Sharp, Abdul Sattar
2021	J	`jnl`	CardioTox net: a robust predictor for hERG channel blockade based on deep learning meta-feature ensembles. J. Cheminformatics Abdul Karim, Matthew Lee, Thomas Balle, Abdul Sattar
2021	B	`conf`	Computing Defeasible Meta-logic. JELIA Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar
2021	C	`conf`	Computing Private International Law. JURIX Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani
2021	J	`jnl`	Constraint based local search for flowshops with sequence-dependent setup times. Eng. Appl. Artif. Intell. Vahid Riahi, M. A. Hakim Newton, Abdul Sattar
2021	J	`jnl`	Evaluating logic gate constraints in local search for structured satisfiability problems. Artif. Intell. Rev. M. A. Hakim Newton, Md. Masbaul Alam, Duc Nghia Pham, John Thornton, Kaile Su, Abdul Sattar
2021	—	`conf`	Improving Protein Backbone Angle Prediction Using Hidden Markov Models in Deep Learning. PRICAI (1) Fereshteh Mataeimoghadam, M. A. Hakim Newton, Rianon Zaman, Abdul Sattar
2020	J	`jnl`	A comparative study on network alignment techniques. Expert Syst. Appl. Thanh Trung Huynh, Nguyen Thanh Toan, Van Vinh Tong, Thanh Dat Hoang, Duong Chi Thang, Nguyen Quoc Viet Hung, Abdul Sattar
2020	J	`jnl`	An evolutionary hyper-heuristic to optimise deep belief networks for image reconstruction. Appl. Soft Comput. Nasser R. Sabar, Ayad Turky, Andy Song, Abdul Sattar
2020	J	`jnl`	Dropout with Tabu Strategy for Regularizing Deep Neural Networks. Comput. J. Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2020	B	`conf`	Surrogate Assisted Optimisation for Travelling Thief Problems. SOCS Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar
2020	J	`jnl`	Surrogate Assisted Optimisation for Travelling Thief Problems. CoRR Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar
2020	—	`conf`	The Virtual Sensor Concept : Separating Sensor Software from the Hardware. IEEE SENSORS Jarrod Trevathan, Wayne Read, Abdul Sattar, Simon Schmidtke, Tony Sharp
2019	J	`jnl`	A Cooperative Coordination Solver for Travelling Thief Problems. CoRR Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Abdul Sattar
2019	B	`conf`	A Profit Guided Coordination Heuristic for Travelling Thief Problems. SOCS Majid Namazi, M. A. Hakim Newton, Abdul Sattar, Conrad Sanderson
2019	J	`jnl`	Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. Comput. Oper. Res. Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2019	J	`jnl`	Constraint guided search for aircraft sequencing. Expert Syst. Appl. Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam, Kaile Su, Abdul Sattar
2019	J	`jnl`	Efficient Toxicity Prediction via Simple Features Using Shallow Neural Networks and Decision Trees. CoRR Abdul Karim, Avinash Mishra, M. A. Hakim Newton, Abdul Sattar
2019	—	`conf`	Exploiting Setup Time Constraints in Local Search for Flowshop Scheduling. PRICAI (2) Vahid Riahi, M. A. Hakim Newton, Abdul Sattar
2019	J	`jnl`	Identification of a Novel Scaffold for Inhibition of Dipeptidyl Peptidase-4. J. Comput. Biol. Avinash Mishra, Megan Cross, Andreas Hofmann, Mark J. Coster, Abdul Karim, Abdul Sattar
2019	J	`jnl`	Makespan preserving flowshop reengineering via blocking constraints. Comput. Oper. Res. M. A. Hakim Newton, Vahid Riahi, Abdul Sattar
2019	—	`conf`	Network Alignment by Representation Learning on Structure and Attribute. PRICAI (2) Thanh Trung Huynh, Van Vinh Tong, Chi Thang Duong, Huynh Quyet Thang, Quoc Viet Hung Nguyen, Abdul Sattar
2019	J	`jnl`	Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. Comput. Oper. Res. M. A. Hakim Newton, Vahid Riahi, Kaile Su, Abdul Sattar
2019	J	`jnl`	Tailoring customer order scheduling search algorithms. Comput. Oper. Res. Vahid Riahi, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar
2019	C	`conf`	Toxicity Prediction by Multimodal Deep Learning. PKAW Abdul Karim, Jaspreet Singh, Avinash Mishra, Abdollah Dehzangi, M. A. Hakim Newton, Abdul Sattar
2019	J	`jnl`	Toxicity Prediction by Multimodal Deep Learning. CoRR Abdul Karim, Jaspreet Singh, Avinash Mishra, Abdollah Dehzangi, M. A. Hakim Newton, Abdul Sattar
2018	—	`conf`	Constraint-Guided Local Search for Single Mixed-Operation Runway. Australasian Conference on Artificial Intelligence Vahid Riahi, M. A. Hakim Newton, Abdul Sattar
2018	—	`conf`	Diversified Late Acceptance Search. Australasian Conference on Artificial Intelligence Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar
2018	J	`jnl`	Diversified Late Acceptance Search. CoRR Majid Namazi, Conrad Sanderson, M. A. Hakim Newton, Md. Masbaul Alam Polash, Abdul Sattar
2018	J	`jnl`	Dropout with Tabu Strategy for Regularizing Deep Neural Networks. CoRR Zongjie Ma, Abdul Sattar, Jun Zhou, Qingliang Chen, Kaile Su
2018	A*	`conf`	Local Search for Flowshops with Setup Times and Blocking Constraints. ICAPS Vahid Riahi, M. A. Hakim Newton, Kaile Su, Abdul Sattar
2018	J	`jnl`	Machine Learning Interpretability: A Science rather than a tool. CoRR Abdul Karim, Avinash Mishra, M. A. Hakim Newton, Abdul Sattar
2018	—	`conf`	Mixed Neighbourhood Local Search for Customer Order Scheduling Problem. PRICAI (1) Vahid Riahi, Md. Masbaul Alam, M. A. Hakim Newton, Abdul Sattar
2018	C	`conf`	Precision without Precisions: Handling uncertainty with a single predictive model. ALIFE Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar
2017	A*	`conf`	A Unifying Framework for Probabilistic Belief Revision. IJCAI Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar
2017	J	`jnl`	Constraint-based search for optimal Golomb rulers. J. Heuristics Md. Masbaul Alam, M. A. Hakim Newton, Abdul Sattar
2017	J	`jnl`	Constraint-directed search for all-interval series. Constraints An Int. J. Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar
2017	—	`conf`	Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. Australasian Conference on Artificial Intelligence Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2017	—	`conf`	Dynamic thresholds for self-organizing predictive cells. ECAL Benjamin Cowley, John Thornton, Linda Main, Abdul Sattar
2017	J	`jnl`	Encoding Domain Transitions for Constraint-Based Planning. J. Artif. Intell. Res. Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar
2017	—	`conf`	Evolutionary Learning Based Iterated Local Search for Google Machine Reassignment Problems. SEAL Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song
2017	Misc	`conf`	Improved Prediction of Procedure Duration for Elective Surgery. HIC Zahra ShahabiKargar, Sankalp Khanna, Abdul Sattar, James Lind
2017	—	`conf`	Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem. SEAL Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song
2017	B	`conf`	Optimising Deep Belief Networks by hyper-heuristic approach. CEC Nasser R. Sabar, Ayad Turky, Andy Song, Abdul Sattar
2017	—	`conf`	Quantified Coalition Logic of Knowledge, Belief and Certainty. Canadian AI Qingliang Chen, Xiaowei Huang, Kaile Su, Abdul Sattar
2017	J	`jnl`	Scatter search for mixed blocking flowshop scheduling. Expert Syst. Appl. Vahid Riahi, Mostafa Khorramizadeh, M. A. Hakim Newton, Abdul Sattar
2017	B	`conf`	Visualisation of Compliant Declarative Business Processes. EDOC Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar
2016	J	`jnl`	A Comprehensive Approach to 'Now' in Temporal Relational Databases: Semantics and Representation. IEEE Trans. Knowl. Data Eng. Luca Anselma, Luca Piovesan, Abdul Sattar, Bela Stantic, Paolo Terenziani
2016	J	`jnl`	A New Approach for Revising Logic Programs. CoRR Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar
2016	J	`jnl`	A first-order coalition logic for BDI-agents. Frontiers Comput. Sci. Qingliang Chen, Kaile Su, Abdul Sattar, Xiangyu Luo, Aixiang Chen
2016	J	`jnl`	An Enhanced Genetic Algorithm for Ab Initio Protein Structure Prediction. IEEE Trans. Evol. Comput. Mahmood A. Rashid, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar
2016	—	`conf`	Assignment Precipitation in Fail First Search. Australasian Conference on Artificial Intelligence Majid Namazi, Nina Ghanbari Ghooshchi, M. A. Hakim Newton, Abdul Sattar
2016	J	`jnl`	Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. Comput. Biol. Chem. Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar
2016	J	`jnl`	Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. CoRR Mahmood A. Rashid, Sumaiya Iqbal, Firas Khatib, Md. Tamjidul Hoque, Abdul Sattar
2016	J	`jnl`	Highly accurate sequence-based prediction of half-sphere exposures of amino acid residues in proteins. Bioinform. Rhys Heffernan, Abdollah Dehzangi, James G. Lyons, Kuldip K. Paliwal, Alok Sharma, Jihua Wang, Abdul Sattar, Yaoqi Zhou, Yuedong Yang
2016	—	`conf`	Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. Australasian Conference on Artificial Intelligence Yi Fan, Chengqian Li, Zongjie Ma, Lian Wen, Abdul Sattar, Kaile Su
2016	B	`conf`	Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. PRICAI Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016	—	`conf`	Parallel Late Acceptance Hill-Climbing Algorithm for the Google Machine Reassignment Problem. Australasian Conference on Artificial Intelligence Ayad Turky, Nasser R. Sabar, Abdul Sattar, Andy Song
2016	B	`conf`	Prediction with Confidence in Item Based Collaborative Filtering. PRICAI Tadiparthi V. R. Himabindu, Vineet Padmanabhan, Arun K. Pujari, Abdul Sattar
2016	B	`conf`	Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. ICTAI Zongjie Ma, Yi Fan, Kaile Su, Chengqian Li, Abdul Sattar
2016	A	`conf`	Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. ECAI Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar
2015	B	`conf`	A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases. AIME Luca Anselma, Luca Piovesan, Abdul Sattar, Bela Stantic, Paolo Terenziani
2015	J	`jnl`	A mixture of physicochemical and evolutionary-based feature extraction approaches for protein fold recognition. Int. J. Data Min. Bioinform. Abdollah Dehzangi, Alok Sharma, James G. Lyons, Kuldip K. Paliwal, Abdul Sattar
2015	B	`conf`	Constraint-Based Local Search for Golomb Rulers. CPAIOR Md. Masbaul Alam Polash, M. A. Hakim Newton, Abdul Sattar
2015	J	`jnl`	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. Lukas Folkman, Yuedong Yang, Zhixiu Li, Bela Stantic, Abdul Sattar, Matthew E. Mort, David N. Cooper, Yunlong Liu, Yaoqi Zhou
2015	J	`jnl`	Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. CoRR Yi Fan, Chengqian Li, Zongjie Ma, Ljiljana Brankovic, Vladimir Estivill-Castro, Abdul Sattar
2015	J	`jnl`	Gram-positive and gram-negative subcellular localization using rotation forest and physicochemical-based features. BMC Bioinform. Abdollah Dehzangi, Sohrab Sohrabi, Rhys Heffernan, Alok Sharma, James G. Lyons, Kuldip K. Paliwal, Abdul Sattar
2015	Misc	`conf`	On the KL Divergence of Probability Mixtures for Belief Contraction. KI Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar
2015	A*	`conf`	Probabilistic Belief Contraction Using Argumentation. IJCAI Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar
2015	—	`conf`	Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence. Australasian Conference on Artificial Intelligence Kinzang Chhogyal, Abhaya C. Nayak, Abdul Sattar
2015	J	`jnl`	Protein preliminaries and structure prediction fundamentals for computer scientists. CoRR Mahmood A. Rashid, Firas Khatib, Abdul Sattar
2015	B	`conf`	Semantic Network Model: A Reasoning Engine for Software Requirements. ICECCS Kushal Ahmed, Lian Wen, Abdul Sattar, Reza Farid
2015	A*	`conf`	Transition Constraints for Parallel Planning. AAAI Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar
2014	J	`jnl`	A Parallel Framework for Multipoint Spiral Search in Adv. Bioinformatics Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Abdul Sattar
2014	J	`jnl`	A Segmentation-Based Method to Extract Structural and Evolutionary Features for Protein Fold Recognition. IEEE ACM Trans. Comput. Biol. Bioinform. Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar
2014	B	`conf`	Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction. PRICAI Mahmood A. Rashid, Md. Masbaul Alam Polash, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar
2014	J	`jnl`	Association Rules Mining Based Clinical Observations. CoRR Mahmood A. Rashid, Md. Tamjidul Hoque, Abdul Sattar
2014	B	`conf`	Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs. PRICAI Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar
2014	J	`jnl`	Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. CoRR Kushal Ahmed, Toby Myers, Lian Wen, Abdul Sattar
2014	A*	`conf`	Formalisation of the integration of behavior trees. ASE Kushal Ahmed, M. A. Hakim Newton, Lian Wen, Abdul Sattar
2014	J	`jnl`	How Good Are Simplified Models for Protein Structure Prediction? Adv. Bioinformatics Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar
2014	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. CoRR Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2014	B	`conf`	Predicting Procedure Duration to Improve Scheduling of Elective Surgery. PRICAI Zahra ShahabiKargar, Sankalp Khanna, Norm Good, Abdul Sattar, James Lind, John O'Dwyer
2014	J	`jnl`	Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto-encoder deep neural network. J. Comput. Chem. James G. Lyons, Abdollah Dehzangi, Rhys Heffernan, Alok Sharma, Kuldip K. Paliwal, Abdul Sattar, Yaoqi Zhou, Yuedong Yang
2014	B	`conf`	Probabilistic Belief Revision via Imaging. PRICAI Kinzang Chhogyal, Abhaya C. Nayak, Rolf Schwitter, Abdul Sattar
2014	J	`jnl`	Proposing a highly accurate protein structural class predictor using segmentation-based features. BMC Genom. Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar
2014	J	`jnl`	Towards sequence-based prediction of mutation-induced stability changes in unseen non-homologous proteins. BMC Genom. Lukas Folkman, Bela Stantic, Abdul Sattar
2014	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. CoRR Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2013	—	`conf`	A Hybrid Local Search for Simplified Protein Structure Prediction. BIOINFORMATICS Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
2013	J	`jnl`	A Hybrid Local Search for Simplified Protein Structure Prediction. CoRR Swakkhar Shatabda, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
2013	B	`conf`	A local search embedded genetic algorithm for simplified protein structure prediction. IEEE Congress on Evolutionary Computation Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Abdul Sattar
2013	A	`conf`	A new operator for efficient stream-relation join processing in data streaming engines. CIKM Roozbeh Derakhshan, Abdul Sattar, Bela Stantic
2013	B	`conf`	An efficient encoding for simplified protein structure prediction using genetic algorithms. IEEE Congress on Evolutionary Computation Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Abdul Sattar
2013	J	`jnl`	An intensional approach for periodic data in relational databases. J. Intell. Inf. Syst. Paolo Terenziani, Bela Stantic, Alessio Bottrighi, Abdul Sattar
2013	—	`conf`	Collaborative Parallel Local Search for Simplified Protein Structure Prediction. TrustCom/ISPA/IUCC Mahmood A. Rashid, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar
2013	—	`conf`	Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. Australasian Conference on Artificial Intelligence Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
2013	—	`conf`	Enhancing Protein Fold Prediction Accuracy Using Evolutionary and Structural Features. PRIB Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar
2013	—	`conf`	Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition. ACIIDS (1) Abdollah Dehzangi, Abdul Sattar
2013	—	`conf`	Exploring Potential Discriminatory Information Embedded in PSSM to Enhance Protein Structural Class Prediction Accuracy. PRIB Abdollah Dehzangi, Kuldip K. Paliwal, James G. Lyons, Alok Sharma, Abdul Sattar
2013	—	`conf`	Group Recommender Systems - Some Experimental Results. ICAART (2) Vineet Padmanabhan, Prabhu Kiran, Abdul Sattar
2013	A*	`conf`	Mixed Heuristic Local Search for Protein Structure Prediction. AAAI Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar
2013	J	`jnl`	Mixing Energy Models in Genetic Algorithms for On-Lattice Protein Structure Prediction. CoRR Mahmood A. Rashid, M. A. Hakim Newton, Md. Tamjidul Hoque, Abdul Sattar
2013	—	`conf`	Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction. Australasian Conference on Artificial Intelligence Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar
2013	J	`jnl`	NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar
2013	—	`ed.`	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. AIH+CARE@AUS-AI Sankalp Khanna, Christian Guttmann, Abdul Sattar, David P. Hansen, Fernando Koch
2013	—	`conf`	Protein Fold Recognition Using Segmentation-Based Feature Extraction Model. ACIIDS (1) Abdollah Dehzangi, Abdul Sattar
2013	—	`conf`	Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models. Australasian Conference on Artificial Intelligence Abdollah Dehzangi, Kuldip K. Paliwal, Alok Sharma, James G. Lyons, Abdul Sattar
2013	J	`jnl`	Querying now-relative data. J. Intell. Inf. Syst. Luca Anselma, Bela Stantic, Paolo Terenziani, Abdul Sattar
2013	J	`jnl`	Sequence-only evolutionary and predicted structural features for the prediction of stability changes in protein mutants. BMC Bioinform. Lukas Folkman, Bela Stantic, Abdul Sattar
2013	A*	`conf`	Simplified Lattice Models for Protein Structure Prediction: How Good Are They? AAAI Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar
2013	J	`jnl`	Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. BMC Bioinform. Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Swakkhar Shatabda, Duc Nghia Pham, Abdul Sattar
2013	A	`conf`	Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. CP M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar
2013	J	`jnl`	The road not taken: retreat and diverge in local search for simplified protein structure prediction. BMC Bioinform. Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar
2013	—	`conf`	Trap escape for local search by backtracking and conflict reverse. SCAI Huu-Phuoc Duong, Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar, Anh Duc Duong
2013	A*	`conf`	Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. IJCAI Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton
2012	—	`conf`	A Method to Avoid Duplicative Flipping in Local Search for SAT. Australasian Conference on Artificial Intelligence Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
2012	—	`conf`	A New Genetic Algorithm for Simplified Protein Structure Prediction. Australasian Conference on Artificial Intelligence Mahmood A. Rashid, Md. Tamjidul Hoque, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar
2012	A	`conf`	A Study of Local Minimum Avoidance Heuristics for SAT. ECAI Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar
2012	J	`jnl`	A complete first-order temporal BDI logic for forest multi-agent systems. Knowl. Based Syst. Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu
2012	J	`jnl`	AI@NICTA. AI Mag. 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
2012	J	`jnl`	An implicit approach to deal with periodically repeated medical data. Artif. Intell. Medicine Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi, Abdul Sattar
2012	—	`conf`	Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction. BIOINFORMATICS Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar
2012	Misc	`conf`	Indexing RFID data using the VG-curve. ADC Justin Terry, Bela Stantic, Abdul Sattar
2012	—	`conf`	Memory-based local search for simplified protein structure prediction. BCB Swakkhar Shatabda, Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar
2012	A	`conf`	On modeling punishment in multi-agent systems. AAMAS Subhasis Thakur, Guido Governatori, Abdul Sattar
2012	—	`conf`	Random-walk: a stagnation recovery technique for simplified protein structure prediction. BCB Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar
2012	B	`conf`	Refining Genetic Algorithm twin removal for high-resolution protein structure prediction. IEEE Congress on Evolutionary Computation Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar
2012	C	`conf`	Towards Real Intelligent Web Exploration. APWeb Pavel Kalinov, Abdul Sattar, Bela Stantic
2012	A*	`conf`	Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar
2012	A*	`conf`	Two New Local Search Strategies for Minimum Vertex Cover. AAAI Shaowei Cai, Kaile Su, Abdul Sattar
2012	J	`jnl`	X-CleLo: intelligent deterministic RFID data and event transformer. Pers. Ubiquitous Comput. Peter Darcy, Bela Stantic, Abdul Sattar
2011	C	`conf`	A Novel Integrated Classifier for Handling Data Warehouse Anomalies. ADBIS Peter Darcy, Bela Stantic, Abdul Sattar
2011	Misc	`conf`	A Triangular Decomposition Access Method for Temporal Data - TD-tree. ADC Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar
2011	J	`jnl`	An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. Intell. Data Anal. Peter Darcy, Bela Stantic, Abdul Sattar
2011	—	`conf`	Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI Vineet Padmanabhan, Guido Governatori, Abdul Sattar
2011	—	`conf`	Incorporating Temporal Planning Within a BDI Architecture. IICAI Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu
2011	A	`conf`	Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher
2011	J	`jnl`	Levels of modality for BDI Logic. J. Appl. Log. Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2011	J	`jnl`	Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. Shaowei Cai, Kaile Su, Abdul Sattar
2011	—	`conf`	Semantic Search and Retrieval System for Learning Objects. ICITCS Muhammad Arshad Awan, Abdul Sattar, Cheong Ghil Kim, Chung-Pyo Hong, Shin-Dug Kim
2011	J	`jnl`	Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
2011	J	`jnl`	Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model. IEEE ACM Trans. Comput. Biol. Bioinform. Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar
2011	C	`conf`	Variable Granularity Space Filling Curve for Indexing Multidimensional Data. ADBIS Justin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar
2010	C	`conf`	A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. MobiQuitous Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Abdul Sattar, Vijay Varadharajan
2010	C	`conf`	A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. EUC Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar
2010	B	`conf`	A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. NSS Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar
2010	B	`conf`	A trust management architecture for hierarchical wireless sensor networks. LCN Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar
2010	J	`jnl`	Advanced indexing technique for temporal data. Comput. Sci. Inf. Syst. Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar
2010	B	`conf`	An Intelligent Approach to Surgery Scheduling. PRIMA Sankalp Khanna, Abdul Sattar, Justin R. Boyle, David P. Hansen, Bela Stantic
2010	—	`conf`	Applying a neural network to recover missed RFID readings. ACSC Peter Darcy, Bela Stantic, Abdul Sattar
2010	Misc	`conf`	Building a dynamic classifier for large text data collections. ADC Pavel Kalinov, Bela Stantic, Abdul Sattar
2010	C	`conf`	Correcting Missing Data Anomalies with Clausal Defeasible Logic. ADBIS Peter Darcy, Bela Stantic, Abdul Sattar
2010	J	`jnl`	DFS-generated pathways in GA crossover for protein structure prediction. Neurocomputing Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar, Vicky M. Avery
2010	B	`conf`	Genetic algorithm feature-based resampling for protein structure prediction. IEEE Congress on Evolutionary Computation Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar
2010	C	`conf`	Indexing Temporal Data with Virtual Structure. ADBIS Bela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar
2010	—	`conf`	Let's Trust Users It is Their Search. Web Intelligence Pavel Kalinov, Bela Stantic, Abdul Sattar
2010	B	`conf`	Multiagent Based Scheduling of Elective Surgery. PRIMA Sankalp Khanna, Timothy William Cleaver, Abdul Sattar, David P. Hansen, Bela Stantic
2010	B	`conf`	Partial Weighted MaxSAT for Optimal Planning. PRICAI Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2010	—	`conf`	Towards an implicit treatment of periodically-repeated medical data. MedInfo Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi, Guido Governatori
2010	—	`conf`	Trust Formalization in Mobile Ad-Hoc Networks. AINA Workshops Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar
2010	C	`conf`	Trust Management Scheme for Mobile Ad-Hoc Networks. CIT Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar
2010	—	`conf`	X-CleLo: Intelligent Deterministic RFID Data Transformer. IWRT Peter Darcy, Bela Stantic, Abdul Sattar
2009	—	`conf`	A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic. RuleML Challenge Ho-Pun Lam, Subhasis Thakur, Guido Governatori, Abdul Sattar
2009	J	`jnl`	A defeasible logic for modelling policy-based intentions and motivational attitudes. Log. J. IGPL Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar
2009	—	`conf`	An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. IAT Sankalp Khanna, Abdul Sattar, David P. Hansen, Bela Stantic
2009	J	`jnl`	Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. IEEE Trans. Syst. Man Cybern. Part B Ji Ma, Mehmet A. Orgun, Abdul Sattar
2009	J	`jnl`	Extended HP Model for Protein Structure Prediction. J. Comput. Biol. Tamjidul Hoque, Madhu Chetty, Abdul Sattar
2009	—	`ch.`	Genetic Algorithm in Biomedical Data and Applications Tamjidul Hoque, Madhu Chetty, Abdul Sattar
2009	A*	`conf`	SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2009	—	`conf`	Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi
2009	J	`jnl`	The J. Intell. Inf. Syst. Bela Stantic, Abdul Sattar, Paolo Terenziani
2009	C	`conf`	Theories of Trust for Communication Protocols. ATC Ji Ma, Mehmet A. Orgun, Abdul Sattar
2009	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2008	A*	`conf`	A Compact and Efficient SAT Encoding for Planning. ICAPS Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar
2008	J	`jnl`	A Constraint-Based Autonomous 3D Camera System. Constraints An Int. J. Owen Bourne, Abdul Sattar, Scott D. Goodwin
2008	A*	`conf`	An Extended Interpreted System Model for Epistemic Logics. AAAI Kaile Su, Abdul Sattar
2008	J	`jnl`	Combining Adaptive and Dynamic Local Search for Satisfiability. J. Satisf. Boolean Model. Comput. Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
2008	Misc	`conf`	Coping efficiently with now-relative medical data. AMIA Bela Stantic, Paolo Terenziani, Abdul Sattar
2008	—	`conf`	DFS Based Partial Pathways in GA for Protein Structure Prediction. PRIB Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar
2008	A*	`conf`	Efficiently Exploiting Dependencies in Local Search for SAT. AAAI Duc Nghia Pham, John Thornton, Abdul Sattar
2008	—	`conf`	Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2008	J	`jnl`	Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. Duc Nghia Pham, John Thornton, Abdul Sattar
2008	B	`conf`	Quantifying Commitment. PRICAI Timothy William Cleaver, Abdul Sattar
2008	—	`conf`	Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen
2007	A*	`conf`	A Modal Logic for Beliefs and Pro Attitudes. AAAI Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
2007	—	`conf`	Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
2007	A*	`conf`	Building Structure into Local Search for SAT. IJCAI Duc Nghia Pham, John Thornton, Abdul Sattar
2007	A*	`conf`	Intention Guided Belief Revision. AAAI Timothy William Cleaver, Abdul Sattar
2007	J	`jnl`	Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. Kaile Su, Abdul Sattar, Xiangyu Luo
2007	B	`conf`	Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. IEEE Congress on Evolutionary Computation Tamjidul Hoque, Madhu Chetty, Abdul Sattar
2007	B	`conf`	Reasoning with Levels of Modalities in BDI Logic. PRIMA Jeff Blee, David Billington, Abdul Sattar
2007	—	`conf`	Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar
2006	—	`ed.`	AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings Australian Conference on Artificial Intelligence Abdul Sattar, Byeong-Ho Kang
2006	A	`conf`	Adaptive Clause Weight Redistribution. CP Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
2006	J	`jnl`	Editors' introduction. J. Appl. Log. Mark Reynolds, Abdul Sattar
2006	Misc	`conf`	Handling of current time in native XML databases. ADC Bela Stantic, Guido Governatori, Abdul Sattar
2006	—	`conf`	LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang
2006	C	`conf`	Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
2006	A	`conf`	The interpreted system model of knowledge, belief, desire and intention. AAMAS Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
2006	A	`conf`	Towards an Efficient SAT Encoding for Temporal Reasoning. CP Duc Nghia Pham, John Thornton, Abdul Sattar
2006	A	`conf`	User defined monitoring strategies for BDI agent programs. AAMAS Timothy William Cleaver, Abdul Sattar, Raihana Ferdous
2006	J	`jnl`	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng
2006	—	`conf`	Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
2005	—	`conf`	A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence Stuart Bain, John Thornton, Abdul Sattar
2005	A*	`conf`	A Theory of Forgetting in Logic Programming. AAAI Kewen Wang, Abdul Sattar, Kaile Su
2005	A	`conf`	A computationally grounded logic of knowledge, belief and certainty. AAMAS Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
2005	—	`conf`	Applying Constraint Weighting to Autonomous Camera Control. AIIDE Owen Bourne, Abdul Sattar
2005	A	`conf`	Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
2005	A*	`conf`	Computationally Grounded Model of BDI-Agents. IJCAI Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
2005	A	`conf`	Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP Stuart Bain, John Thornton, Abdul Sattar
2005	—	`conf`	Handling Over-Constrained Problems in Distributed Multi-agent Systems. Canadian AI Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin
2005	—	`conf`	Merging and Aligning Ontologies in dl-Programs. RuleML Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar
2005	A	`conf`	Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
2005	A*	`conf`	Observation-based Model for BDI-Agents. AAAI Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
2005	A*	`conf`	Old Resolution Meets Modern SLS. AAAI Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
2005	B	`conf`	Reasoning about Success and Failure in Intentional Agents. PRIMA Timothy William Cleaver, Abdul Sattar, Kewen Wang
2005	—	`conf`	Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence Timothy William Cleaver, Abdul Sattar, Kewen Wang
2005	A*	`conf`	SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
2004	J	`jnl`	A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
2004	—	`conf`	Applying Constraint Satisfaction Techniques to 3D Camera Control. Australian Conference on Artificial Intelligence Owen Bourne, Abdul Sattar
2004	A	`conf`	Applying Constraint Satisfaction Techniques to 3D Camera Control. CP Owen Bourne, Abdul Sattar
2004	—	`conf`	Code Improvements for Model Elimination Based Reasoning Systems. ACSC Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
2004	Misc	`conf`	Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Lingzhong Zhou, John Thornton, Abdul Sattar
2004	B	`conf`	Evolving algorithms for constraint satisfaction. IEEE Congress on Evolutionary Computation Stuart Bain, John Thornton, Abdul Sattar
2004	J	`jnl`	Iterated Belief Change. Comput. Intell. Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel
2004	—	`conf`	Logical Query Transformation in Bitemporal Databases. Databases and Applications Bela Stantic, Justin Terry, Abdul Sattar
2004	B	`conf`	Methods of Automatic Algorithm Generation. PRICAI Stuart Bain, John Thornton, Abdul Sattar
2004	B	`conf`	Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
2003	C	`conf`	A Novel Approach to Model NOW in Temporal Databases. TIME Bela Stantic, John Thornton, Abdul Sattar
2003	C	`conf`	Deciding consistency of a point-duration network with metric constraints. TIME Isabel Navarrete, Abdul Sattar, Roque Marín
2003	—	`conf`	Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence Lingzhong Zhou, John Thornton, Abdul Sattar
2003	—	`conf`	Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence Anbulagan, John Thornton, Abdul Sattar
2003	J	`jnl`	Extending Dual Arc Consistency. Int. J. Pattern Recognit. Artif. Intell. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
2003	—	`conf`	Improving Search in a Hypothetical Reasoning System. ACSC Richard A. Hagen, Abdul Sattar
2002	—	`conf`	A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence Guido Governatori, Vineet Padmanabhan, Abdul Sattar
2002	—	`conf`	A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
2002	—	`conf`	An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar
2002	C	`conf`	Applying Local Search to Temporal Reasoning. TIME John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
2002	Misc	`conf`	Extending Dual Arc Consistency. FLAIRS Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
2002	B	`conf`	On Fibring Semantics for BDI Logics. JELIA Guido Governatori, Vineet Padmanabhan, Abdul Sattar
2002	J	`jnl`	On point-duration networks for temporal reasoning. Artif. Intell. Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín
2002	B	`ed.`	PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings PRICAI Mitsuru Ishizuka, Abdul Sattar
2001	—	`conf`	Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence Vineet Padmanabhan, Guido Governatori, Abdul Sattar
2001	Misc	`conf`	Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
2001	J	`jnl`	Polynomial-time learnability of logic programs with local variables from entailment. Theor. Comput. Sci. M. R. K. Krishna Rao, Abdul Sattar
2001	—	`conf`	Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
2000	Misc	`conf`	A Constraint Directed Model for Partial Constraint Satisfaction Problems. AI Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
2000	B	`conf`	Dual Encoding Using Constraint Coverings. PRICAI Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
2000	J	`jnl`	Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Int. J. Found. Comput. Sci. Zhonghua Yang, Chengzheng Sun, Yuan Miao, Abdul Sattar, Yanyan Yang
2000	J	`jnl`	Handling side-effects and cuts with selective recomputation in parallel Prolog. Future Gener. Comput. Syst. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
2000	A	`conf`	On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton
2000	J	`jnl`	Representation and Reasoning with Multi-Point Events. Constraints An Int. J. Rattana Wetprasit, Abdul Sattar, Lina Khatib
2000	C	`conf`	Temporal Reasoning: A Three Way Analysis. TIME Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami
1999	A*	`conf`	A New Framework for Reasoning about Points, Intervals and Durations. IJCAI Arun K. Pujari, Abdul Sattar
1999	—	`conf`	A New Look At Multimedia Synchronization in Distributed Environments. ISPAN Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
1999	J	`jnl`	Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar
1999	—	`conf`	INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar
1999	—	`conf`	Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence M. R. K. Krishna Rao, Abdul Sattar
1999	A	`conf`	On the Behavior and Application of Constraint Weighting. CP John Thornton, Abdul Sattar
1998	B	`conf`	An Experimental Study of Reasoning with Sequences of Point Events. PRICAI Rattana Wetprasit, Abdul Sattar, Matthew Beaumont
1998	B	`conf`	Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI John Thornton, Abdul Sattar
1998	—	`conf`	Exploring Regional Locality in Distributed Shared Memory. ASIAN Zhiyi Huang, Chengzheng Sun, Abdul Sattar
1998	—	`conf`	Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
1998	B	`conf`	Learning Linearly-Moded Programs from Entailment. PRICAI M. R. K. Krishna Rao, Abdul Sattar
1998	B	`conf`	Learning from Entailment of Logic Programs with Local Variables. ALT M. R. K. Krishna Rao, Abdul Sattar
1998	Misc	`conf`	Parallel Vision Computing on a Network of Workstation Clusters. MVA Jane You, Abdul Sattar, Ljubo Vlavic
1998	C	`conf`	Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME Rattana Wetprasit, Abdul Sattar
1998	—	`conf`	Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI Rattana Wetprasit, Abdul Sattar
1998	A	`conf`	Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar
1998	—	`conf`	Using Arc Weights to Improve Iterative Repair. AAAI/IAAI John Thornton, Abdul Sattar
1997	—	`conf`	A Generalized Framework for Reasoning with Multi-Point Events. ASIAN Rattana Wetprasit, Abdul Sattar, Lina Khatib
1997	—	`ed.`	Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings Australian Joint Conference on Artificial Intelligence Abdul Sattar
1997	—	`conf`	Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence John Thornton, Abdul Sattar
1997	J	`jnl`	Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Gener. Comput. Abdul Sattar, Randy Goebel
1997	—	`conf`	Fractional Discrimination for Texture Image Segmentation. ICIP (1) Jane You, Suresh Hungenahally, Abdul Sattar
1997	B	`conf`	Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP Zhiyi Huang, Chengzheng Sun, Abdul Sattar
1997	—	`conf`	Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar
1997	—	`conf`	Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP Zhiyi Huang, Chengzheng Sun, Abdul Sattar
1996	—	`conf`	An Integer Programming-Based Nurse Rostering System. ASIAN John Thornton, Abdul Sattar
1996	B	`conf`	Changing Conditional Belief Unconditionally. TARK Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar
1996	Misc	`conf`	Reasoning with Multi-Point Events. AI Rattana Wetprasit, Abdul Sattar, Lina Khatib
1996	C	`conf`	Reasoning with Sequences of Point Events. TIME Rattana Wetprasit, Abdul Sattar, Lina Khatib
1995	—	`conf`	Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems Abdul Sattar, Aditya Ghose, Randy Goebel
1994	C	`conf`	Belief Revision in a Discrete Temporal Probability-Logic. TIME Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel
1994	J	`jnl`	Reinforcement learning of iterative behaviour with multiple sensors. Appl. Intell. Pushkar Piggott, Abdul Sattar
1993	—	`conf`	A mineral deposit modelling and assessment expert system. ANNES Ian Moore, Abdul Sattar
1993	—	`conf`	Nonmonotonic inheritance reasoning in classifiers. ANNES Alex Young, Abdul Sattar
1991	A*	`conf`	Meta-reasoning: An Incremental Compilation Approach. ICDE Abdul Sattar, Randy Goebel
1991	J	`jnl`	Using crucial literals to select better theories. Comput. Intell. Abdul Sattar, Randy Goebel
1990	—	`conf`	On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) Abdul Sattar, Randy Goebel