On the Efficiency of Logic-Based Diagnosis. - Abdul Sattar 001; Randy Goebel (IEA/AIE (Vol. 1), 1990)

Meta-reasoning: An Incremental Compilation Approach. - Abdul Sattar 001; Randy Goebel (ICDE, 1991)

Using crucial literals to select better theories. - Abdul Sattar 001; Randy Goebel (Comput. Intell., 1991)

A mineral deposit modelling and assessment expert system. - Ian Moore; Abdul Sattar 001 (ANNES, 1993)

Nonmonotonic inheritance reasoning in classifiers. - Alex Young; Abdul Sattar 001 (ANNES, 1993)

Belief Revision in a Discrete Temporal Probability-Logic. - Scott D. Goodwin; Howard J. Hamilton; Eric Neufeld; Abdul Sattar 001; André Trudel (TIME, 1994)

Reinforcement learning of iterative behaviour with multiple sensors. - Pushkar Piggott; Abdul Sattar 001 (Appl. Intell., 1994)

Specifying Over-Constrained Problems in Default Logic. - Abdul Sattar 001; Aditya Ghose; Randy Goebel (Over-Constrained Systems, 1995)

Reasoning with Multi-Point Events. - Rattana Wetprasit; Abdul Sattar 001; Lina Khatib (AI, 1996)

An Integer Programming-Based Nurse Rostering System. - John Thornton 001; Abdul Sattar 001 (ASIAN, 1996)

Changing Conditional Belief Unconditionally. - Abhaya C. Nayak; Norman Y. Foo; Maurice Pagnucco; Abdul Sattar 001 (TARK, 1996)

Reasoning with Sequences of Point Events. - Rattana Wetprasit; Abdul Sattar 001; Lina Khatib (TIME, 1996)

Heuristic Diff Acquiring in Lazy Release Consistency Model. - Zhiyi Huang 001; Wan-Ju Lei; Chengzheng Sun; Abdul Sattar 001 (ASIAN, 1997)

A Generalized Framework for Reasoning with Multi-Point Events. - Rattana Wetprasit; Abdul Sattar 001; Lina Khatib (ASIAN, 1997)

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. - John Thornton 001; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 1997)

Fractional Discrimination for Texture Image Segmentation. - Jane You; Suresh Hungenahally; Abdul Sattar 001 (ICIP (1), 1997)

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. - Zhiyi Huang 001; Chengzheng Sun; Abdul Sattar 001 (ICLP, 1997)

Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. - Zhiyi Huang 001; Chengzheng Sun; Abdul Sattar 001 (PLILP, 1997)

Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. - Abdul Sattar 001; Randy Goebel (New Gener. Comput., 1997)

Using Arc Weights to Improve Iterative Repair. - John Thornton 001; Abdul Sattar 001 (AAAI/IAAI, 1998)

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. - Rattana Wetprasit; Abdul Sattar 001 (AAAI/IAAI, 1998)

Learning from Entailment of Logic Programs with Local Variables. - M. R. K. Krishna Rao; Abdul Sattar 001 (ALT, 1998)

Exploring Regional Locality in Distributed Shared Memory. - Zhiyi Huang 001; Chengzheng Sun; Abdul Sattar 001 (ASIAN, 1998)

Guaranteed Mutually Consistent Checkpointing in Distributed Computations. - Zhonghua Yang; Chengzheng Sun; Abdul Sattar 001; Yanyan Yang (ASIAN, 1998)

Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. - Chengzheng Sun; Zhiyi Huang 001; Wan-Ju Lei; Abdul Sattar 001 (ICDCS, 1998)

Parallel Vision Computing on a Network of Workstation Clusters. - Jane You; Abdul Sattar 001; Ljubo Vlavic (MVA, 1998)

Learning Linearly-Moded Programs from Entailment. - M. R. K. Krishna Rao; Abdul Sattar 001 (PRICAI, 1998)

Dynamic Constraint Weighting for Over-Constrained Problems. - John Thornton 001; Abdul Sattar 001 (PRICAI, 1998)

An Experimental Study of Reasoning with Sequences of Point Events. - Rattana Wetprasit; Abdul Sattar 001; Matthew Beaumont (PRICAI, 1998)

Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). - Rattana Wetprasit; Abdul Sattar 001 (TIME, 1998)

INDU: An Interval and Duration Network. - Arun K. Pujari; G. Vijaya Kumari; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 1999)

Learning Logic Programs with Local Variables from Positive Examples. - M. R. K. Krishna Rao; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 1999)

On the Behavior and Application of Constraint Weighting. - John Thornton 001; Abdul Sattar 001 (CP, 1999)

A New Framework for Reasoning about Points, Intervals and Durations. - Arun K. Pujari; Abdul Sattar 001 (IJCAI, 1999)

A New Look At Multimedia Synchronization in Distributed Environments. - Zhonghua Yang; Chengzheng Sun; Abdul Sattar 001; Yanyan Yang (ISPAN, 1999)

Connections Between Default Reasoning and Partial Constraint Satisfaction. - Aditya Ghose; Grigoris Antoniou; Randy Goebel; Abdul Sattar 001 (Inf. Sci., 1999)

A Constraint Directed Model for Partial Constraint Satisfaction Problems. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001 (AI, 2000)

On Dual Encodings for Non-binary Constraint Satisfaction Problems. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001; John Thornton 001 (CP, 2000)

Dual Encoding Using Constraint Coverings. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001 (PRICAI, 2000)

Temporal Reasoning: A Three Way Analysis. - Vineet Padmanabhan; Abdul Sattar 001; Arun K. Pujari; Chinmoy Goswami (TIME, 2000)

Representation and Reasoning with Multi-Point Events. - Rattana Wetprasit; Abdul Sattar 001; Lina Khatib (Constraints An Int. J., 2000)

Handling side-effects and cuts with selective recomputation in parallel Prolog. - Zhiyi Huang 001; Chengzheng Sun; Abdul Sattar 001 (Future Gener. Comput. Syst., 2000)

Guaranteed Mutually Consistent Checkpointing in Distributed Computations. - Zhonghua Yang; Chengzheng Sun; Yuan Miao 001; Abdul Sattar 001; Yanyan Yang (Int. J. Found. Comput. Sci., 2000)

Solving Overconstrained Temporal Reasoning Problems. - Matthew Beaumont; Abdul Sattar 001; Michael J. Maher; John Thornton 001 (Australian Joint Conference on Artificial Intelligence, 2001)

Actions Made Explicit in BDI. - Vineet Padmanabhan; Guido Governatori; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2001)

Nonbinary Constraint Satisfaction: From the Dual to the Primal. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001 (FLAIRS, 2001)

Polynomial-time learnability of logic programs with local variables from entailment. - M. R. K. Krishna Rao; Abdul Sattar 001 (Theor. Comput. Sci., 2001)

A Defeasible Logic of Policy-Based Intention. - Guido Governatori; Vineet Padmanabhan; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2002)

An Investigation of Variable Relationships in 3-SAT Problems. - Olena Kravchuk; Wayne J. Pullan; John Thornton 001; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2002)

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. - John Thornton 001; Stuart Bain; Abdul Sattar 001; Duc Nghia Pham (Australian Joint Conference on Artificial Intelligence, 2002)

Extending Dual Arc Consistency. - Sivakumar Nagarajan; Scott D. Goodwin; Abdul Sattar 001 (FLAIRS, 2002)

On Fibring Semantics for BDI Logics. - Guido Governatori; Vineet Padmanabhan; Abdul Sattar 001 (JELIA, 2002)

Applying Local Search to Temporal Reasoning. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (TIME, 2002)

On point-duration networks for temporal reasoning. - Isabel Navarrete; Abdul Sattar 001; Rattana Wetprasit; Roque Marín (Artif. Intell., 2002)

Improving Search in a Hypothetical Reasoning System. - Richard A. Hagen; Abdul Sattar 001 (ACSC, 2003)

Dynamic Variable Filtering for Hard Random 3-SAT Problems. - Anbulagan; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2003)

Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. - Lingzhong Zhou; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2003)

Deciding consistency of a point-duration network with metric constraints. - Isabel Navarrete; Abdul Sattar 001; Roque Marín (TIME, 2003)

A Novel Approach to Model NOW in Temporal Databases. - Bela Stantic; John Thornton 001; Abdul Sattar 001 (TIME, 2003)

Code Improvements for Model Elimination Based Reasoning Systems. - Richard A. Hagen; Scott D. Goodwin; Abdul Sattar 001 (ACSC, 2004)

Applying Constraint Satisfaction Techniques to 3D Camera Control. - Owen Bourne; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2004)

Evolving algorithms for constraint satisfaction. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2004)

Logical Query Transformation in Bitemporal Databases. - Bela Stantic; Justin Terry; Abdul Sattar 001 (Databases and Applications, 2004)

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. - Lingzhong Zhou; John Thornton 001; Abdul Sattar 001 (FLAIRS, 2004)

Methods of Automatic Algorithm Generation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (PRICAI, 2004)

Solving Over-Constrained Temporal Reasoning Problems Using Local Search. - Matthew Beaumont; John Thornton 001; Abdul Sattar 001; Michael J. Maher (PRICAI, 2004)

Iterated Belief Change. - Aditya K. Ghose; Pablo O. Hadjinian; Abdul Sattar 001; Jia-Huai You; Randy Goebel (Comput. Intell., 2004)

A Local Search Approach to Modelling and Solving Interval Algebra Problems. - John Thornton 001; Matthew Beaumont; Abdul Sattar 001; Michael J. Maher (J. Log. Comput., 2004)

Old Resolution Meets Modern SLS. - Anbulagan; Duc Nghia Pham; John K. Slaney; Abdul Sattar 001 (AAAI, 2005)

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001; Abdelraouf Ishtaiwi (AAAI, 2005)

Observation-based Model for BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Xiangyu Luo; Guido Governatori; Vineet Padmanabhan (AAAI, 2005)

A Theory of Forgetting in Logic Programming. - Kewen Wang 001; Abdul Sattar 001; Kaile Su (AAAI, 2005)

Handling Over-Constrained Problems in Distributed Multi-agent Systems. - Lingzhong Zhou; Abdul Sattar 001; Scott D. Goodwin (Canadian AI, 2005)

Applying Constraint Weighting to Autonomous Camera Control. - Owen Bourne; Abdul Sattar 001 (AIIDE, 2005)

Bounded model checking knowledge and branching time in synchronous multi-agent systems. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Qingliang Chen; Guanfeng Lv (AAMAS, 2005)

A computationally grounded logic of knowledge, belief and certainty. - Kaile Su; Abdul Sattar 001; Guido Governatori; Qingliang Chen (AAMAS, 2005)

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2005)

Reasoning with the Outcomes of Plan Execution in Intentional Agents. - Timothy William Cleaver; Abdul Sattar 001; Kewen Wang 001 (Australian Conference on Artificial Intelligence, 2005)

Evolving Variable-Ordering Heuristics for Constrained Optimisation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (CP, 2005)

Neighbourhood Clause Weight Redistribution in Local Search for SAT. - Abdelraouf Ishtaiwi; John Thornton 001; Abdul Sattar 001; Duc Nghia Pham (CP, 2005)

Computationally Grounded Model of BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Guido Governatori (IJCAI, 2005)

Reasoning about Success and Failure in Intentional Agents. - Timothy William Cleaver; Abdul Sattar 001; Kewen Wang 001 (PRIMA, 2005)

Merging and Aligning Ontologies in dl-Programs. - Kewen Wang 001; Grigoris Antoniou; Rodney W. Topor; Abdul Sattar 001 (RuleML, 2005)

Handling of current time in native XML databases. - Bela Stantic; Guido Governatori; Abdul Sattar 001 (ADC, 2006)

User defined monitoring strategies for BDI agent programs. - Timothy William Cleaver; Abdul Sattar 001; Raihana Ferdous (AAMAS, 2006)

The interpreted system model of knowledge, belief, desire and intention. - Kaile Su; Xiangyu Luo; Abdul Sattar 001; Mehmet A. Orgun (AAMAS, 2006)

LPForget: A System of Forgetting in Answer Set Programming. - Fu-Leung Cheng; Thomas Eiter; Nathan Robinson; Abdul Sattar 001; Kewen Wang 001 (Australian Conference on Artificial Intelligence, 2006)

Verification of Multi-agent Systems Via Bounded Model Checking. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Mark Reynolds 001 (Australian Conference on Artificial Intelligence, 2006)

Adaptive Clause Weight Redistribution. - Abdelraouf Ishtaiwi; John Thornton 001; Anbulagan; Abdul Sattar 001; Duc Nghia Pham (CP, 2006)

Towards an Efficient SAT Encoding for Temporal Reasoning. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (CP, 2006)

Observation-Based Logic of Knowledge, Belief, Desire and Intention. - Kaile Su; Weiya Yue; Abdul Sattar 001; Mehmet A. Orgun; Xiangyu Luo (KSEM, 2006)

Editors' introduction. - Mark Reynolds 001; Abdul Sattar 001 (J. Appl. Log., 2006)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

Intention Guided Belief Revision. - Timothy William Cleaver; Abdul Sattar 001 (AAAI, 2007)

A Modal Logic for Beliefs and Pro Attitudes. - Kaile Su; Abdul Sattar 001; Han Lin; Mark Reynolds 001 (AAAI, 2007)

Weight Redistribution for Unweighted MAX-SAT. - Abdelraouf Ishtaiwi; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

Advances in Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2007)

Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. - Tamjidul Hoque; Madhu Chetty; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2007)

Building Structure into Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (IJCAI, 2007)

Reasoning with Levels of Modalities in BDI Logic. - Jeff Blee; David Billington; Abdul Sattar 001 (PRIMA, 2007)

Model Checking Temporal Logics of Knowledge Via OBDDs. - Kaile Su; Abdul Sattar 001; Xiangyu Luo (Comput. J., 2007)

Efficiently Exploiting Dependencies in Local Search for SAT. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (AAAI, 2008)

An Extended Interpreted System Model for Epistemic Logics. - Kaile Su; Abdul Sattar 001 (AAAI, 2008)

A Compact and Efficient SAT Encoding for Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2008)

Coping efficiently with now-relative medical data. - Bela Stantic; Paolo Terenziani; Abdul Sattar 001 (AMIA, 2008)

Levels of Modalities for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (Web Intelligence/IAT Workshops, 2008)

Solving Sum and Product Riddle via BDD-Based Model Checking. - Xiangyu Luo; Kaile Su; Abdul Sattar 001; Yan Chen (Web Intelligence/IAT Workshops, 2008)

DFS Based Partial Pathways in GA for Protein Structure Prediction. - Tamjidul Hoque; Madhu Chetty; Andrew Lewis 004; Abdul Sattar 001 (PRIB, 2008)

Quantifying Commitment. - Timothy William Cleaver; Abdul Sattar 001 (PRICAI, 2008)

Modelling and solving temporal reasoning as propositional satisfiability. - Duc Nghia Pham; John Thornton 001; Abdul Sattar 001 (Artif. Intell., 2008)

A Constraint-Based Autonomous 3D Camera System. - Owen Bourne; Abdul Sattar 001; Scott D. Goodwin (Constraints An Int. J., 2008)

Combining Adaptive and Dynamic Local Search for Satisfiability. - Duc Nghia Pham; John Thornton 001; Charles Gretton; Abdul Sattar 001 (J. Satisf. Boolean Model. Comput., 2008)

SAT-Based Parallel Planning Using a Split Representation of Actions. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (ICAPS, 2009)

Theories of Trust for Communication Protocols. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001 (ATC, 2009)

An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. - Sankalp Khanna; Abdul Sattar 001; David P. Hansen; Bela Stantic (IAT, 2009)

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001; Kamel Adi (Web Intelligence/IAT Workshops, 2009)

A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic. - Ho-Pun Lam; Subhasis Thakur; Guido Governatori; Abdul Sattar 001 (RuleML Challenge, 2009)

A defeasible logic for modelling policy-based intentions and motivational attitudes. - Guido Governatori; Vineet Padmanabhan; Antonino Rotolo; Abdul Sattar 001 (Log. J. IGPL, 2009)

Variable Forgetting in Reasoning about Knowledge. - Kaile Su; Abdul Sattar 001; Guanfeng Lv; Yan Zhang 003 (J. Artif. Intell. Res., 2009)

Extended HP Model for Protein Structure Prediction. - Tamjidul Hoque; Madhu Chetty; Abdul Sattar 001 (J. Comput. Biol., 2009)

The POINT approach to represent now in bitemporal databases. - Bela Stantic; Abdul Sattar 001; Paolo Terenziani (J. Intell. Inf. Syst., 2009)

Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. - Ji Ma 001; Mehmet A. Orgun; Abdul Sattar 001 (IEEE Trans. Syst. Man Cybern. Part B, 2009)

Genetic Algorithm inAb Initio Protein Structure Prediction Using Low Resolution Model: A Review. - Tamjidul Hoque; Madhu Chetty; Abdul Sattar 001 (Biomedical Data and Applications, 2009)

Trust Management Scheme for Mobile Ad-Hoc Networks. - Raihana Ferdous; Vallipuram Muthukkumarasamy; Abdul Sattar 001 (CIT, 2010)

Applying a neural network to recover missed RFID readings. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (ACSC, 2010)

Correcting Missing Data Anomalies with Clausal Defeasible Logic. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (ADBIS, 2010)

Indexing Temporal Data with Virtual Structure. - Bela Stantic; Justin Terry; Rodney W. Topor; Abdul Sattar 001 (ADBIS, 2010)

Building a dynamic classifier for large text data collections. - Pavel Kalinov; Bela Stantic; Abdul Sattar 001 (ADC, 2010)

Trust Formalization in Mobile Ad-Hoc Networks. - Raihana Ferdous; Vallipuram Muthukkumarasamy; Abdul Sattar 001 (AINA Workshops, 2010)

Genetic algorithm feature-based resampling for protein structure prediction. - Trent Higgs; Bela Stantic; Tamjidul Hoque; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2010)

A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. - Junqi Zhang; Rajan Shankaran; Mehmet A. Orgun; Vijay Varadharajan; Abdul Sattar 001 (EUC, 2010)

X-CleLo: Intelligent Deterministic RFID Data Transformer. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (IWRT, 2010)

A trust management architecture for hierarchical wireless sensor networks. - Junqi Zhang; Rajan Shankaran; Mehmet A. Orgun; Vijay Varadharajan; Abdul Sattar 001 (LCN, 2010)

Towards an implicit treatment of periodically-repeated medical data. - Bela Stantic; Paolo Terenziani; Abdul Sattar 001; Alessio Bottrighi; Guido Governatori (MedInfo, 2010)

A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. - Junqi Zhang; Rajan Shankaran; Mehmet A. Orgun; Abdul Sattar 001; Vijay Varadharajan (MobiQuitous, 2010)

A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. - Raihana Ferdous; Vallipuram Muthukkumarasamy; Abdul Sattar 001 (NSS, 2010)

Partial Weighted MaxSAT for Optimal Planning. - Nathan Robinson; Charles Gretton; Duc Nghia Pham; Abdul Sattar 001 (PRICAI, 2010)

Multiagent Based Scheduling of Elective Surgery. - Sankalp Khanna; Timothy William Cleaver; Abdul Sattar 001; David P. Hansen; Bela Stantic (PRIMA, 2010)

An Intelligent Approach to Surgery Scheduling. - Sankalp Khanna; Abdul Sattar 001; Justin R. Boyle; David P. Hansen; Bela Stantic (PRIMA, 2010)

Let's Trust Users It is Their Search. - Pavel Kalinov; Bela Stantic; Abdul Sattar 001 (Web Intelligence, 2010)

Advanced indexing technique for temporal data. - Bela Stantic; Rodney W. Topor; Justin Terry; Abdul Sattar 001 (Comput. Sci. Inf. Syst., 2010)

DFS-generated pathways in GA crossover for protein structure prediction. - Tamjidul Hoque; Madhu Chetty; Andrew Lewis 004; Abdul Sattar 001; Vicky M. Avery (Neurocomputing, 2010)

A Novel Integrated Classifier for Handling Data Warehouse Anomalies. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (ADBIS, 2011)

Variable Granularity Space Filling Curve for Indexing Multidimensional Data. - Justin Terry; Bela Stantic; Paolo Terenziani; Abdul Sattar 001 (ADBIS, 2011)

A Triangular Decomposition Access Method for Temporal Data - TD-tree. - Bela Stantic; Rodney W. Topor; Justin Terry; Abdul Sattar 001 (ADC, 2011)

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. - Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar 001; Michael J. Maher (CP, 2011)

Semantic Search and Retrieval System for Learning Objects. - Muhammad Arshad Awan; Abdul Sattar 001; Cheong Ghil Kim; Chung-Pyo Hong; Shin-Dug Kim (ICITCS, 2011)

Incorporating Temporal Planning Within a BDI Architecture. - Vineet Padmanabhan; Abdul Sattar 001; Guido Governatori; Kollapalli Ramesh Babu (IICAI, 2011)

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. - Vineet Padmanabhan; Guido Governatori; Abdul Sattar 001 (MIWAI, 2011)

Local search with edge weighting and configuration checking heuristics for minimum vertex cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (Artif. Intell., 2011)

An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (Intell. Data Anal., 2011)

Levels of modality for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (J. Appl. Log., 2011)

Special issue on logics for intelligent agents and multi-agent systems. - Mehmet A. Orgun; Guido Governatori; Chuchang Liu; Mark Reynolds 001; Abdul Sattar 001 (J. Appl. Log., 2011)

Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model. - Tamjidul Hoque; Madhu Chetty; Andrew Lewis 004; Abdul Sattar 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)

Two New Local Search Strategies for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Abdul Sattar 001 (AAAI, 2012)

Trap Avoidance in Local Search Using Pseudo-Conflict Learning. - Duc Nghia Pham; Thach-Thao Duong; Abdul Sattar 001 (AAAI, 2012)

On modeling punishment in multi-agent systems. - Subhasis Thakur; Guido Governatori; Abdul Sattar 001 (AAMAS, 2012)

Indexing RFID data using the VG-curve. - Justin Terry; Bela Stantic; Abdul Sattar 001 (ADC, 2012)

Towards Real Intelligent Web Exploration. - Pavel Kalinov; Abdul Sattar 001; Bela Stantic (APWeb, 2012)

A Method to Avoid Duplicative Flipping in Local Search for SAT. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2012)

A New Genetic Algorithm for Simplified Protein Structure Prediction. - Mahmood A. Rashid; Md. Tamjidul Hoque; M. A. Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2012)

Random-walk: a stagnation recovery technique for simplified protein structure prediction. - Mahmood A. Rashid; Swakkhar Shatabda; M. A. Hakim Newton; Tamjidul Hoque; Duc Nghia Pham; Abdul Sattar 001 (BCB, 2012)

Memory-based local search for simplified protein structure prediction. - Swakkhar Shatabda; Muhammad Abdul Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (BCB, 2012)

Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction. - Trent Higgs; Bela Stantic; Tamjidul Hoque; Abdul Sattar 001 (BIOINFORMATICS, 2012)

Refining Genetic Algorithm twin removal for high-resolution protein structure prediction. - Trent Higgs; Bela Stantic; Tamjidul Hoque; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2012)

A Study of Local Minimum Avoidance Heuristics for SAT. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (ECAI, 2012)

AI@NICTA. - Nick Barnes; Peter Baumgartner 001; Tibério S. Caetano; Hugh F. Durrant-Whyte; Gerwin Klein; Penelope Sanderson; Abdul Sattar 001; Peter J. Stuckey; Sylvie Thiébaux; Pascal Van Hentenryck; Toby Walsh (AI Mag., 2012)

An implicit approach to deal with periodically repeated medical data. - Bela Stantic; Paolo Terenziani; Guido Governatori; Alessio Bottrighi; Abdul Sattar 001 (Artif. Intell. Medicine, 2012)

A complete first-order temporal BDI logic for forest multi-agent systems. - Lijun Wu 001; Kaile Su; Abdul Sattar 001; Qingliang Chen; Jinshu Su; Wei Wu 042 (Knowl. Based Syst., 2012)

X-CleLo: intelligent deterministic RFID data and event transformer. - Peter Darcy; Bela Stantic; Abdul Sattar 001 (Pers. Ubiquitous Comput., 2012)

Mixed Heuristic Local Search for Protein Structure Prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Abdul Sattar 001 (AAAI, 2013)

Simplified Lattice Models for Protein Structure Prediction: How Good Are They? - Swakkhar Shatabda; M. A. Hakim Newton; Abdul Sattar 001 (AAAI, 2013)

Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition. - Abdollah Dehzangi; Abdul Sattar 001 (ACIIDS (1), 2013)

Protein Fold Recognition Using Segmentation-Based Feature Extraction Model. - Abdollah Dehzangi; Abdul Sattar 001 (ACIIDS (1), 2013)

Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models. - Abdollah Dehzangi; Kuldip K. Paliwal; Alok Sharma; James G. Lyons; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2013)

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution. - Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2013)

Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2013)

A Hybrid Local Search for Simplified Protein Structure Prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Duc Nghia Pham; Abdul Sattar 001 (BIOINFORMATICS, 2013)

A local search embedded genetic algorithm for simplified protein structure prediction. - Mahmood A. Rashid; M. A. Hakim Newton; Tamjidul Hoque; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2013)

An efficient encoding for simplified protein structure prediction using genetic algorithms. - Swakkhar Shatabda; M. A. Hakim Newton; Mahmood A. Rashid; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2013)

A new operator for efficient stream-relation join processing in data streaming engines. - Roozbeh Derakhshan; Abdul Sattar 001; Bela Stantic (CIKM, 2013)

Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. - M. A. Hakim Newton; Duc Nghia Pham; Wee Lum Tan; Marius Portmann; Abdul Sattar 001 (CP, 2013)

Group Recommender Systems - Some Experimental Results. - Vineet Padmanabhan; Prabhu Kiran; Abdul Sattar 001 (ICAART (2), 2013)

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability. - Thach-Thao Nguyen Duong; Duc Nghia Pham; Abdul Sattar 001; M. A. Hakim Newton (IJCAI, 2013)

Enhancing Protein Fold Prediction Accuracy Using Evolutionary and Structural Features. - Abdollah Dehzangi; Kuldip K. Paliwal; James G. Lyons; Alok Sharma; Abdul Sattar 001 (PRIB, 2013)

Exploring Potential Discriminatory Information Embedded in PSSM to Enhance Protein Structural Class Prediction Accuracy. - Abdollah Dehzangi; Kuldip K. Paliwal; James G. Lyons; Alok Sharma; Abdul Sattar 001 (PRIB, 2013)

Trap escape for local search by backtracking and conflict reverse. - Huu-Phuoc Duong; Thach-Thao Duong; Duc Nghia Pham; Abdul Sattar 001; Anh Duc Duong (SCAI, 2013)

Collaborative Parallel Local Search for Simplified Protein Structure Prediction. - Mahmood A. Rashid; M. A. Hakim Newton; Md. Tamjidul Hoque; Abdul Sattar 001 (TrustCom/ISPA/IUCC, 2013)

Sequence-only evolutionary and predicted structural features for the prediction of stability changes in protein mutants. - Lukas Folkman; Bela Stantic; Abdul Sattar 001 (BMC Bioinform., 2013)

Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. - Mahmood A. Rashid; M. A. Hakim Newton; Tamjidul Hoque; Swakkhar Shatabda; Duc Nghia Pham; Abdul Sattar 001 (BMC Bioinform., 2013)

The road not taken: retreat and diverge in local search for simplified protein structure prediction. - Swakkhar Shatabda; M. A. Hakim Newton; Mahmood A. Rashid; Duc Nghia Pham; Abdul Sattar 001 (BMC Bioinform., 2013)

Mixing Energy Models in Genetic Algorithms for On-Lattice Protein Structure Prediction. - Mahmood A. Rashid; M. A. Hakim Newton; Md. Tamjidul Hoque; Abdul Sattar 001 (CoRR, 2013)

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. - Shaowei Cai 001; Kaile Su; Chuan Luo 002; Abdul Sattar 001 (J. Artif. Intell. Res., 2013)

Querying now-relative data. - Luca Anselma; Bela Stantic; Paolo Terenziani; Abdul Sattar 001 (J. Intell. Inf. Syst., 2013)

An intensional approach for periodic data in relational databases. - Paolo Terenziani; Bela Stantic; Alessio Bottrighi; Abdul Sattar 001 (J. Intell. Inf. Syst., 2013)

Formalisation of the integration of behavior trees. - Kushal Ahmed; M. A. Hakim Newton; Lian Wen; Abdul Sattar 001 (ASE, 2014)

Probabilistic Belief Revision via Imaging. - Kinzang Chhogyal; Abhaya C. Nayak; Rolf Schwitter; Abdul Sattar 001 (PRICAI, 2014)

Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction. - Mahmood A. Rashid; Md. Masbaul Alam Polash; M. A. Hakim Newton; Md. Tamjidul Hoque; Abdul Sattar 001 (PRICAI, 2014)

Predicting Procedure Duration to Improve Scheduling of Elective Surgery. - Zahra ShahabiKargar; Sankalp Khanna; Norm Good; Abdul Sattar 001; James Lind; John O'Dwyer (PRICAI, 2014)

Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs. - Swakkhar Shatabda; M. A. Hakim Newton; Abdul Sattar 001 (PRICAI, 2014)

A Parallel Framework for Multipoint Spiral Search in ab Initio Protein Structure Prediction. - Mahmood A. Rashid; Swakkhar Shatabda; M. A. Hakim Newton; Tamjidul Hoque; Abdul Sattar 001 (Adv. Bioinformatics, 2014)

How Good Are Simplified Models for Protein Structure Prediction? - Swakkhar Shatabda; M. A. Hakim Newton; Mahmood A. Rashid; Duc Nghia Pham; Abdul Sattar 001 (Adv. Bioinformatics, 2014)

Proposing a highly accurate protein structural class predictor using segmentation-based features. - Abdollah Dehzangi; Kuldip K. Paliwal; James G. Lyons; Alok Sharma; Abdul Sattar 001 (BMC Genom., 2014)

Towards sequence-based prediction of mutation-induced stability changes in unseen non-homologous proteins. - Lukas Folkman; Bela Stantic; Abdul Sattar 001 (BMC Genom., 2014)

Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering. - Kushal Ahmed; Toby Myers; Lian Wen; Abdul Sattar 001 (CoRR, 2014)

Association Rules Mining Based Clinical Observations. - Mahmood A. Rashid; Md. Tamjidul Hoque; Abdul Sattar 001 (CoRR, 2014)

Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto-encoder deep neural network. - James G. Lyons; Abdollah Dehzangi; Rhys Heffernan; Alok Sharma; Kuldip K. Paliwal; Abdul Sattar 001; Yaoqi Zhou; Yuedong Yang (J. Comput. Chem., 2014)

A Segmentation-Based Method to Extract Structural and Evolutionary Features for Protein Fold Recognition. - Abdollah Dehzangi; Kuldip K. Paliwal; James G. Lyons; Alok Sharma; Abdul Sattar 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2014)

Transition Constraints for Parallel Planning. - Nina Ghanbari Ghooshchi; Majid Namazi; M. A. Hakim Newton; Abdul Sattar 001 (AAAI, 2015)

A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases. - Luca Anselma; Luca Piovesan; Abdul Sattar 001; Bela Stantic; Paolo Terenziani (AIME, 2015)

Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence. - Kinzang Chhogyal; Abhaya C. Nayak; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2015)

Constraint-Based Local Search for Golomb Rulers. - Md. Masbaul Alam Polash; M. A. Hakim Newton; Abdul Sattar 001 (CPAIOR, 2015)

Semantic Network Model: A Reasoning Engine for Software Requirements. - Kushal Ahmed; Lian Wen; Abdul Sattar 001; Reza Farid (ICECCS, 2015)

Probabilistic Belief Contraction Using Argumentation. - Kinzang Chhogyal; Abhaya C. Nayak; Zhiqiang Zhuang; Abdul Sattar 001 (IJCAI, 2015)

On the KL Divergence of Probability Mixtures for Belief Contraction. - Kinzang Chhogyal; Abhaya C. Nayak; Abdul Sattar 001 (KI, 2015)

DDIG-in: detecting disease-causing genetic variations due to frameshifting indels and nonsense mutations employing sequence and structural properties at nucleotide and protein levels. - Lukas Folkman; Yuedong Yang; Zhixiu Li; Bela Stantic; Abdul Sattar 001; Matthew E. Mort; David N. Cooper; Yunlong Liu; Yaoqi Zhou (Bioinform., 2015)

Gram-positive and gram-negative subcellular localization using rotation forest and physicochemical-based features. - Abdollah Dehzangi; Sohrab Sohrabi; Rhys Heffernan; Alok Sharma; James G. Lyons; Kuldip K. Paliwal; Abdul Sattar 001 (BMC Bioinform., 2015)

Exploiting Reduction Rules and Data Structures: Local Search for Minimum Vertex Cover in Massive Graphs. - Yi Fan; Chengqian Li; Zongjie Ma; Ljiljana Brankovic; Vladimir Estivill-Castro; Abdul Sattar 001 (CoRR, 2015)

Protein preliminaries and structure prediction fundamentals for computer scientists. - Mahmood A. Rashid; Firas Khatib; Abdul Sattar 001 (CoRR, 2015)

A mixture of physicochemical and evolutionary-based feature extraction approaches for protein fold recognition. - Abdollah Dehzangi; Alok Sharma; James G. Lyons; Kuldip K. Paliwal; Abdul Sattar 001 (Int. J. Data Min. Bioinform., 2015)

Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures. - Yi Fan; Chengqian Li; Zongjie Ma; Lian Wen; Abdul Sattar 001; Kaile Su (Australasian Conference on Artificial Intelligence, 2016)

Assignment Precipitation in Fail First Search. - Majid Namazi; Nina Ghanbari Ghooshchi; M. A. Hakim Newton; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2016)

Parallel Late Acceptance Hill-Climbing Algorithm for the Google Machine Reassignment Problem. - Ayad Turky; Nasser R. Sabar; Abdul Sattar 001; Andy Song (Australasian Conference on Artificial Intelligence, 2016)

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (ECAI, 2016)

Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (ICTAI, 2016)

Prediction with Confidence in Item Based Collaborative Filtering. - Tadiparthi V. R. Himabindu; Vineet Padmanabhan; Arun K. Pujari; Abdul Sattar 001 (PRICAI, 2016)

Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (PRICAI, 2016)

Highly accurate sequence-based prediction of half-sphere exposures of amino acid residues in proteins. - Rhys Heffernan; Abdollah Dehzangi; James G. Lyons; Kuldip K. Paliwal; Alok Sharma; Jihua Wang; Abdul Sattar 001; Yaoqi Zhou; Yuedong Yang (Bioinform., 2016)

Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction. - Mahmood A. Rashid; Sumaiya Iqbal; Firas Khatib; Md. Tamjidul Hoque; Abdul Sattar 001 (Comput. Biol. Chem., 2016)

A New Approach for Revising Logic Programs. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (CoRR, 2016)

A first-order coalition logic for BDI-agents. - Qingliang Chen; Kaile Su; Abdul Sattar 001; Xiangyu Luo; Aixiang Chen (Frontiers Comput. Sci., 2016)

An Enhanced Genetic Algorithm for Ab Initio Protein Structure Prediction. - Mahmood A. Rashid; Firas Khatib; Md. Tamjidul Hoque; Abdul Sattar 001 (IEEE Trans. Evol. Comput., 2016)

A Comprehensive Approach to 'Now' in Temporal Relational Databases: Semantics and Representation. - Luca Anselma; Luca Piovesan; Abdul Sattar 001; Bela Stantic; Paolo Terenziani (IEEE Trans. Knowl. Data Eng., 2016)

Quantified Coalition Logic of Knowledge, Belief and Certainty. - Qingliang Chen; Xiaowei Huang 001; Kaile Su; Abdul Sattar 001 (Canadian AI, 2017)

Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs. - Zongjie Ma; Yi Fan; Kaile Su; Chengqian Li; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2017)

Optimising Deep Belief Networks by hyper-heuristic approach. - Nasser R. Sabar; Ayad Turky; Andy Song; Abdul Sattar 001 (CEC, 2017)

Dynamic thresholds for self-organizing predictive cells. - Benjamin Cowley 003; John Thornton 001; Linda Main; Abdul Sattar 001 (ECAL, 2017)

Visualisation of Compliant Declarative Business Processes. - Nina Ghanbari Ghooshchi; Nick van Beest; Guido Governatori; Francesco Olivieri; Abdul Sattar 001 (EDOC, 2017)

Improved Prediction of Procedure Duration for Elective Surgery. - Zahra ShahabiKargar; Sankalp Khanna; Abdul Sattar 001; James Lind (HIC, 2017)

A Unifying Framework for Probabilistic Belief Revision. - Zhiqiang Zhuang; James P. Delgrande; Abhaya C. Nayak; Abdul Sattar 001 (IJCAI, 2017)

Evolutionary Learning Based Iterated Local Search for Google Machine Reassignment Problems. - Ayad Turky; Nasser R. Sabar; Abdul Sattar 001; Andy Song (SEAL, 2017)

Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem. - Ayad Turky; Nasser R. Sabar; Abdul Sattar 001; Andy Song (SEAL, 2017)

Constraint-directed search for all-interval series. - Md. Masbaul Alam Polash; M. A. Hakim Newton; Abdul Sattar 001 (Constraints An Int. J., 2017)

Scatter search for mixed blocking flowshop scheduling. - Vahid Riahi; Mostafa Khorramizadeh; M. A. Hakim Newton; Abdul Sattar 001 (Expert Syst. Appl., 2017)

Constraint-based search for optimal Golomb rulers. - Md. Masbaul Alam; M. A. Hakim Newton; Abdul Sattar 001 (J. Heuristics, 2017)

Encoding Domain Transitions for Constraint-Based Planning. - Nina Ghanbari Ghooshchi; Majid Namazi; M. A. Hakim Newton; Abdul Sattar 001 (J. Artif. Intell. Res., 2017)

Local Search for Flowshops with Setup Times and Blocking Constraints. - Vahid Riahi; M. A. Hakim Newton; Kaile Su; Abdul Sattar 001 (ICAPS, 2018)

Diversified Late Acceptance Search. - Majid Namazi; Conrad Sanderson; M. A. Hakim Newton; Md. Masbaul Alam Polash; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2018)

Constraint-Guided Local Search for Single Mixed-Operation Runway. - Vahid Riahi; M. A. Hakim Newton; Abdul Sattar 001 (Australasian Conference on Artificial Intelligence, 2018)

Precision without Precisions: Handling uncertainty with a single predictive model. - Benjamin Cowley 003; John Thornton 001; Linda Main; Abdul Sattar 001 (ALIFE, 2018)

Mixed Neighbourhood Local Search for Customer Order Scheduling Problem. - Vahid Riahi; Md. Masbaul Alam; M. A. Hakim Newton; Abdul Sattar 001 (PRICAI (1), 2018)

Machine Learning Interpretability: A Science rather than a tool. - Abdul Karim; Avinash Mishra; M. A. Hakim Newton; Abdul Sattar 001 (CoRR, 2018)

Toxicity Prediction by Multimodal Deep Learning. - Abdul Karim; Jaspreet Singh; Avinash Mishra; Abdollah Dehzangi; M. A. Hakim Newton; Abdul Sattar 001 (PKAW, 2019)

Network Alignment by Representation Learning on Structure and Attribute. - Thanh Trung Huynh; Van Vinh Tong; Chi Thang Duong; Huynh Quyet Thang; Quoc Viet Hung Nguyen; Abdul Sattar 001 (PRICAI (2), 2019)

Exploiting Setup Time Constraints in Local Search for Flowshop Scheduling. - Vahid Riahi; M. A. Hakim Newton; Abdul Sattar 001 (PRICAI (2), 2019)

A Profit Guided Coordination Heuristic for Travelling Thief Problems. - Majid Namazi; M. A. Hakim Newton; Abdul Sattar 001; Conrad Sanderson (SOCS, 2019)

Makespan preserving flowshop reengineering via blocking constraints. - M. A. Hakim Newton; Vahid Riahi; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Scheduling blocking flowshops with setup times via constraint guided and accelerated local search. - M. A. Hakim Newton; Vahid Riahi; Kaile Su; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Tailoring customer order scheduling search algorithms. - Vahid Riahi; M. A. Hakim Newton; Md. Masbaul Alam Polash; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling. - Vahid Riahi; M. A. Hakim Newton; Kaile Su; Abdul Sattar 001 (Comput. Oper. Res., 2019)

Efficient Toxicity Prediction via Simple Features Using Shallow Neural Networks and Decision Trees. - Abdul Karim; Avinash Mishra; M. A. Hakim Newton; Abdul Sattar 001 (CoRR, 2019)

A Cooperative Coordination Solver for Travelling Thief Problems. - Majid Namazi; Conrad Sanderson; M. A. Hakim Newton; Abdul Sattar 001 (CoRR, 2019)

Constraint guided search for aircraft sequencing. - Vahid Riahi; M. A. Hakim Newton; Md. Masbaul Alam; Kaile Su; Abdul Sattar 001 (Expert Syst. Appl., 2019)

Identification of a Novel Scaffold for Inhibition of Dipeptidyl Peptidase-4. - Avinash Mishra; Megan Cross; Andreas Hofmann; Mark J. Coster; Abdul Karim; Abdul Sattar 001 (J. Comput. Biol., 2019)

The Virtual Sensor Concept : Separating Sensor Software from the Hardware. - Jarrod Trevathan; Wayne Read; Abdul Sattar 001; Simon Schmidtke; Tony Sharp (IEEE SENSORS, 2020)

Surrogate Assisted Optimisation for Travelling Thief Problems. - Majid Namazi; Conrad Sanderson; M. A. Hakim Newton; Abdul Sattar 001 (SOCS, 2020)

An evolutionary hyper-heuristic to optimise deep belief networks for image reconstruction. - Nasser R. Sabar; Ayad Turky; Andy Song; Abdul Sattar 001 (Appl. Soft Comput., 2020)

Dropout with Tabu Strategy for Regularizing Deep Neural Networks. - Zongjie Ma; Abdul Sattar 001; Jun Zhou 001; Qingliang Chen; Kaile Su (Comput. J., 2020)

A comparative study on network alignment techniques. - Thanh Trung Huynh; Nguyen Thanh Toan; Van Vinh Tong; Thanh Dat Hoang; Duong Chi Thang; Nguyen Quoc Viet Hung; Abdul Sattar 001 (Expert Syst. Appl., 2020)

Computing Defeasible Meta-logic. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Abdul Sattar 001 (JELIA, 2021)

Computing Private International Law. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Abdul Sattar 001; Matteo Cristani (JURIX, 2021)

Improving Protein Backbone Angle Prediction Using Hidden Markov Models in Deep Learning. - Fereshteh Mataeimoghadam; M. A. Hakim Newton; Rianon Zaman; Abdul Sattar 001 (PRICAI (1), 2021)

Evaluating logic gate constraints in local search for structured satisfiability problems. - M. A. Hakim Newton; Md. Masbaul Alam; Duc Nghia Pham; John Thornton 001; Kaile Su; Abdul Sattar 001 (Artif. Intell. Rev., 2021)

A scatter search algorithm for time-dependent prize-collecting arc routing problems. - Vahid Riahi; M. A. Hakim Newton; Abdul Sattar 001 (Comput. Oper. Res., 2021)

Constraint based local search for flowshops with sequence-dependent setup times. - Vahid Riahi; M. A. Hakim Newton; Abdul Sattar 001 (Eng. Appl. Artif. Intell., 2021)

An IoT General-Purpose Sensor Board for Enabling Remote Aquatic Environmental Monitoring. - Jarrod Trevathan; Simon Schmidtke; Wayne Read; Tony Sharp; Abdul Sattar 001 (Internet Things, 2021)

CardioTox net: a robust predictor for hERG channel blockade based on deep learning meta-feature ensembles. - Abdul Karim; Matthew Lee 015; Thomas Balle; Abdul Sattar 001 (J. Cheminformatics, 2021)

Tailoring Contact Based Scoring Functions for Protein Structure Prediction. - Rianon Zaman; M. A. Hakim Newton; Fereshteh Mataeimoghadam; Abdul Sattar 001 (AI, 2022)

Network Alignment with Holistic Embeddings (Extended Abstract). - Thanh Trung Huynh; Duong Chi Thang; Thanh Tam Nguyen; Van Vinh Tong; Abdul Sattar 001; Hongzhi Yin; Quoc Viet Hung Nguyen (ICDE, 2022)

Constraint Guided Neighbor Generation for Protein Structure Prediction. - Rianon Zaman; M. A. Hakim Newton; Fereshteh Mataeimoghadam; Abdul Sattar 001 (IEEE Access, 2022)

Secondary structure specific simpler prediction models for protein backbone angles. - M. A. Hakim Newton; Fereshteh Mataeimoghadam; Rianon Zaman; Abdul Sattar 001 (BMC Bioinform., 2022)

Enhancing protein contact map prediction accuracy via ensembles of inter-residue distance predictors. - M. A. Hakim Newton; Julia Rahman; Rianon Zaman; Abdul Sattar 001 (Comput. Biol. Chem., 2022)

Constraint Guided Beta-Sheet Refinement for Protein Structure Prediction. - M. A. Hakim Newton; Rianon Zaman; Fereshteh Mataeimoghadam; Julia Rahman; Abdul Sattar 001 (Comput. Biol. Chem., 2022)

A stacked meta-ensemble for protein inter-residue distance prediction. - Julia Rahman; M. A. Hakim Newton; Md. Al Mehedi Hasan; Abdul Sattar 001 (Comput. Biol. Medicine, 2022)

Deontic Meta-Rules. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Antonino Rotolo; Abdul Sattar 001 (CoRR, 2022)

Long range multi-step water quality forecasting using iterative ensembling. - Md. Khaled Ben Islam; M. A. Hakim Newton; Julia Rahman; Jarrod Trevathan; Abdul Sattar 001 (Eng. Appl. Artif. Intell., 2022)

Embedded fog models for remote aquatic environmental monitoring. - Blake Rawlins; Jarrod Trevathan; Abdul Sattar 001 (Internet Things, 2022)

Implementation and Calibration of an IoT Light Attenuation Turbidity Sensor. - Jarrod Trevathan; Wayne Read; Abdul Sattar 001 (Internet Things, 2022)

A Novel Graph-based Framework for Explainable Image Classification: Features That Matter. - Basim Azam; Brijesh K. Verma; Deepthi Praveenlal Kuttichira; Abdul Sattar 001 (DICTA, 2023)

Neural Network Feature Explanation Using Neuron Activation Rate Based Bipartite Graph. - Deepthi Praveenlal Kuttichira; Basim Azam; Brijesh K. Verma; Ashfaqur Rahman; Lipo Wang 001; Abdul Sattar 001 (IVCNZ, 2023)

Multi-S3P: Protein Secondary Structure Prediction With Specialized Multi-Network and Self-Attention-Based Deep Learning Model. - M. M. Mohamed Mufassirin; M. A. Hakim Newton; Julia Rahman; Abdul Sattar 001 (IEEE Access, 2023)

Artificial intelligence for template-free protein structure prediction: a comprehensive review. - M. M. Mohamed Mufassirin; M. A. Hakim Newton; Abdul Sattar 001 (Artif. Intell. Rev., 2023)

Network Alignment With Holistic Embeddings. - Thanh Trung Huynh; Chi Thang Duong; Thanh Tam Nguyen; Tong Van Vinh; Abdul Sattar 001; Hongzhi Yin; Quoc Viet Hung Nguyen (IEEE Trans. Knowl. Data Eng., 2023)

Real-to-bin conversion for protein residue distances. - Julia Rahman; M. A. Hakim Newton; Md. Al Mehedi Hasan; Abdul Sattar 001 (Comput. Biol. Chem., 2023)

Solving travelling thief problems using coordination based methods. - Majid Namazi; M. A. Hakim Newton; Conrad Sanderson; Abdul Sattar 001 (J. Heuristics, 2023)

Efficient Self-Supervised Contrastive Learning with Representation Mixing. - Yash Kumar Sharma; Akshay Badola; Vineet Padmanabhan; Wilson Naik; Abdul Sattar 001 (BDA, 2024)

Government's Response to Ethical Dilemmas in Autonomous Vehicle Accidents: An Australian Policy Evaluation. - Amir Rafiee; Hugh Breakey; Yong Wu 001; Abdul Sattar 001 (ICAART (3), 2024)

Hierarchical Decentralized Edge Interoperability. - Tanzima Azad; M. A. Hakim Newton; Jarrod Trevathan; Abdul Sattar 001 (IEEE Internet Things J., 2024)

Distance plus attention for binding affinity prediction. - Julia Rahman; M. A. Hakim Newton; Mohammed Eunus Ali; Abdul Sattar 001 (J. Cheminformatics, 2024)

IoT edge network interoperability. - Tanzima Azad; M. A. Hakim Newton; Jarrod Trevathan; Abdul Sattar 001 (Comput. Commun., 2025)

Syntactic and Semantic Edge Interoperability. - Tanzima Azad; M. A. Hakim Newton; Jarrod Trevathan; Abdul Sattar 001 (J. Internet Serv. Appl., 2025)

Lost in Cultural Translation: Do LLMs Struggle with Math Across Cultural Contexts? - Aabid Karim; Abdul Karim; Bhoomika Lohana; Matt Keon; Jaswinder Singh; Abdul Sattar 001 (CoRR, 2025)

AMLNet: A Knowledge-Based Multi-Agent Framework to Generate and Detect Realistic Money Laundering Transactions. - Sabin Huda; Ernest Foo; Zahra Jadidi; M. A. Hakim Newton; Abdul Sattar 001 (CoRR, 2025)