Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Abdul Sattar
Author information
- Griffith University, Brisbane, Queensland, Australia
Other persons with the same name
- Abdul Sattar 0002 — Bridgewater State College, Bridgewater, Massachusetts, USA
- Abdul Sattar 0003 — Supélec, Ecole Supérieur d'Electricité, France
2010 – today
- 2013
[j38]Mahmood A. Rashid, M. A. Hakim Newton, Tamjidul Hoque, Swakkhar Shatabda, Duc Nghia Pham, Abdul Sattar: Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. BMC Bioinformatics 14(S-2): S16 (2013)- [j37]Swakkhar Shatabda, M. A. Hakim Newton, Mahmood A. Rashid, Duc Nghia Pham, Abdul Sattar: The road not taken: retreat and diverge in local search for simplified protein structure prediction. BMC Bioinformatics 14(S-2): S19 (2013)
- [j36]Lukas Folkman, Bela Stantic, Abdul Sattar: Sequence-only evolutionary and predicted structural features for the prediction of stability changes in protein mutants. BMC Bioinformatics 14(S-2): S6 (2013)
- [j35]Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar: NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover. J. Artif. Intell. Res. (JAIR) 46: 687-716 (2013)
- [c132]Abdollah Dehzangi, Abdul Sattar: Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition. ACIIDS (1) 2013: 335-344
- [c131]Abdollah Dehzangi, Abdul Sattar: Protein Fold Recognition Using Segmentation-Based Feature Extraction Model. ACIIDS (1) 2013: 345-354
- 2012
- [j34]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh: AI@NICTA. AI Magazine 33(3): 115- (2012)
- [j33]Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi, Abdul Sattar: An implicit approach to deal with periodically repeated medical data. Artificial Intelligence in Medicine 55(3): 149-162 (2012)
- [j32]Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu: A complete first-order temporal BDI logic for forest multi-agent systems. Knowl.-Based Syst. 27: 343-351 (2012)
- [j31]Peter Darcy, Bela Stantic, Abdul Sattar: X-CleLo: intelligent deterministic RFID data and event transformer. Personal and Ubiquitous Computing 16(3): 259-269 (2012)
- [c130]Shaowei Cai, Kaile Su, Abdul Sattar: Two New Local Search Strategies for Minimum Vertex Cover. AAAI 2012
- [c129]Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar: Trap Avoidance in Local Search Using Pseudo-Conflict Learning. AAAI 2012
- [c128]Subhasis Thakur, Guido Governatori, Abdul Sattar: On modeling punishment in multi-agent systems. AAMAS 2012: 1375-1376
- [c127]
- [c126]Pavel Kalinov, Abdul Sattar, Bela Stantic: Towards Real Intelligent Web Exploration. APWeb 2012: 411-422
- [c125]Mahmood A. Rashid, Md. Tamjidul Hoque, M. A. Hakim Newton, Duc Nghia Pham, Abdul Sattar: A New Genetic Algorithm for Simplified Protein Structure Prediction. Australasian Conference on Artificial Intelligence 2012: 107-119
- [c124]Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar: A Method to Avoid Duplicative Flipping in Local Search for SAT. Australasian Conference on Artificial Intelligence 2012: 218-229
- [c123]Swakkhar Shatabda, Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar: Memory-based local search for simplified protein structure prediction. BCB 2012: 345-352
- [c122]Mahmood A. Rashid, Swakkhar Shatabda, M. A. Hakim Newton, Tamjidul Hoque, Duc Nghia Pham, Abdul Sattar: Random-walk: a stagnation recovery technique for simplified protein structure prediction. BCB 2012: 620-622
- [c121]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar: Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction. BIOINFORMATICS 2012: 188-194
- [c120]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar: Refining Genetic Algorithm twin removal for high-resolution protein structure prediction. IEEE Congress on Evolutionary Computation 2012: 1-8
- [c119]Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar: A Study of Local Minimum Avoidance Heuristics for SAT. ECAI 2012: 300-305
- 2011
- [j30]Shaowei Cai, Kaile Su, Abdul Sattar: Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Artif. Intell. 175(9-10): 1672-1696 (2011)
- [j29]Peter Darcy, Bela Stantic, Abdul Sattar: An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. Intell. Data Anal. 15(6): 931-954 (2011)
- [j28]Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar: Special issue on logics for intelligent agents and multi-agent systems. J. Applied Logic 9(4): 221-222 (2011)
- [j27]Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of modality for BDI Logic. J. Applied Logic 9(4): 250-273 (2011)
- [j26]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar: Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model. IEEE/ACM Trans. Comput. Biology Bioinform. 8(1): 234-245 (2011)
- [c118]Peter Darcy, Bela Stantic, Abdul Sattar: A Novel Integrated Classifier for Handling Data Warehouse Anomalies. ADBIS 2011: 98-110
- [c117]Justin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar: Variable Granularity Space Filling Curve for Indexing Multidimensional Data. ADBIS 2011: 111-124
- [c116]Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar: A Triangular Decomposition Access Method for Temporal Data - TD-tree. ADC 2011: 113-122
- [c115]Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher: Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. CP 2011: 645-659
- [c114]Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu: Incorporating Temporal Planning Within a BDI Architecture. IICAI 2011: 1618-1636
- [c113]Vineet Padmanabhan, Guido Governatori, Abdul Sattar: Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI 2011: 63-74
- 2010
- [j25]Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar: Advanced indexing technique for temporal data. Comput. Sci. Inf. Syst. 7(4): 679-703 (2010)
- [j24]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar, Vicky M. Avery: DFS-generated pathways in GA crossover for protein structure prediction. Neurocomputing 73(13-15): 2308-2316 (2010)
- [c112]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: Trust Management Scheme for Mobile Ad-Hoc Networks. CIT 2010: 896-901
- [c111]Peter Darcy, Bela Stantic, Abdul Sattar: Applying a neural network to recover missed RFID readings. ACSC 2010: 133-142
- [c110]Peter Darcy, Bela Stantic, Abdul Sattar: Correcting Missing Data Anomalies with Clausal Defeasible Logic. ADBIS 2010: 149-163
- [c109]Bela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar: Indexing Temporal Data with Virtual Structure. ADBIS 2010: 591-594
- [c108]Pavel Kalinov, Bela Stantic, Abdul Sattar: Building a dynamic classifier for large text data collections. ADC 2010: 113-122
- [c107]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: Trust Formalization in Mobile Ad-Hoc Networks. AINA Workshops 2010: 351-356
- [c106]Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar: Genetic algorithm feature-based resampling for protein structure prediction. IEEE Congress on Evolutionary Computation 2010: 1-8
- [c105]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar: A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. EUC 2010: 484-491
- [c104]Peter Darcy, Bela Stantic, Abdul Sattar: X-CleLo: Intelligent Deterministic RFID Data Transformer. IWRT 2010: 59-68
- [c103]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar: A trust management architecture for hierarchical wireless sensor networks. LCN 2010: 264-267
- [c102]Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Abdul Sattar, Vijay Varadharajan: A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks. MobiQuitous 2010: 186-197
- [c101]Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. NSS 2010: 275-280
- [c100]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: Partial Weighted MaxSAT for Optimal Planning. PRICAI 2010: 231-243
- [c99]Sankalp Khanna, Timothy William Cleaver, Abdul Sattar, David Hansen, Bela Stantic: Multiagent Based Scheduling of Elective Surgery. PRIMA 2010: 74-89
- [c98]Sankalp Khanna, Abdul Sattar, Justin Boyle, David Hansen, Bela Stantic: An Intelligent Approach to Surgery Scheduling. PRIMA 2010: 535-550
- [c97]Pavel Kalinov, Bela Stantic, Abdul Sattar: Let's Trust Users It is Their Search. Web Intelligence 2010: 176-179
2000 – 2009
- 2009
- [j23]Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL 17(3): 227-265 (2009)
- [j22]Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. (JAIR) 35: 677-716 (2009)
- [j21]Tamjidul Hoque, Madhu Chetty, Abdul Sattar: Extended HP Model for Protein Structure Prediction. Journal of Computational Biology 16(1): 85-103 (2009)
- [j20]Bela Stantic, Abdul Sattar, Paolo Terenziani: The POINT approach to represent now in bitemporal databases. J. Intell. Inf. Syst. 32(3): 297-323 (2009)
- [j19]Ji Ma, Mehmet A. Orgun, Abdul Sattar: Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. IEEE Transactions on Systems, Man, and Cybernetics, Part B 39(4): 889-900 (2009)
- [c96]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009
- [c95]Ji Ma, Mehmet A. Orgun, Abdul Sattar: Theories of Trust for Communication Protocols. ATC 2009: 236-248
- [c94]Sankalp Khanna, Abdul Sattar, David Hansen, Bela Stantic: An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. IAT 2009: 339-346
- [c93]Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi: Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops 2009: 474-477
- [p1]Tamjidul Hoque, Madhu Chetty, Abdul Sattar: Genetic Algorithm inAb Initio Protein Structure Prediction Using Low Resolution Model: A Review. Biomedical Data and Applications 2009: 317-342
- 2008
- [j18]Duc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
- [j17]Owen Bourne, Abdul Sattar, Scott D. Goodwin: A Constraint-Based Autonomous 3D Camera System. Constraints 13(1-2): 180-205 (2008)
- [j16]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008)
- [c92]
- [c91]Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
- [c90]Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303
- [c89]Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen: Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633
- [c88]Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
- [c87]Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar: DFS Based Partial Pathways in GA for Protein Structure Prediction. PRIB 2008: 41-53
- [c86]
- 2007
- [j15]Kaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
- [c85]
- [c84]Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
- [c83]Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
- [c82]Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
- [c81]Tamjidul Hoque, Madhu Chetty, Abdul Sattar: Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. IEEE Congress on Evolutionary Computation 2007: 4138-4145
- [c80]Duc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
- [c79]Jeff Blee, David Billington, Abdul Sattar: Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415
- 2006
- [j14]
- [j13]Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng: Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. 21(6): 932-943 (2006)
- [c78]Bela Stantic, Guido Governatori, Abdul Sattar: Handling of current time in native XML databases. ADC 2006: 175-182
- [c77]Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
- [c76]Timothy William Cleaver, Abdul Sattar, Raihana Ferdous: User defined monitoring strategies for BDI agent programs. AAMAS 2006: 1055-1057
- [c75]Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
- [c74]Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang: LPForget: A System of Forgetting in Answer Set Programming. Australian Conference on Artificial Intelligence 2006: 1101-1105
- [c73]Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
- [c72]Duc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
- [c71]Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
- [e3]Abdul Sattar, Byeong Ho Kang (Eds.): AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings. Lecture Notes in Computer Science 4304, Springer 2006, ISBN 3-540-49787-0
- 2005
- [c70]Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
- [c69]Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar: Old Resolution Meets Modern SLS. AAAI 2005: 354-359
- [c68]Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
- [c67]
- [c66]Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin: Handling Over-Constrained Problems in Distributed Multi-agent Systems. Canadian Conference on AI 2005: 13-24
- [c65]Owen Bourne, Abdul Sattar: Applying Constraint Weighting to Autonomous Camera Control. AIIDE 2005: 3-8
- [c64]Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
- [c63]Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv: Bounded model checking knowledge and branching time in synchronous multi-agent systems. AAMAS 2005: 1129-1130
- [c62]Timothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence 2005: 60-69
- [c61]Stuart Bain, John Thornton, Abdul Sattar: A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence 2005: 1068-1074
- [c60]Stuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
- [c59]Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
- [c58]Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
- [c57]Timothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72
- [c56]Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
- 2004
- [j12]Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel: Iterated Belief Change. Computational Intelligence 20(1): 37-55 (2004)
- [j11]John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: A Local Search Approach to Modelling and Solving Interval Algebra Problems. J. Log. Comput. 14(1): 93-112 (2004)
- [c55]Richard A. Hagen, Scott D. Goodwin, Abdul Sattar: Code Improvements for Model Elimination Based Reasoning Systems. ACSC 2004: 233-240
- [c54]Owen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. Australian Conference on Artificial Intelligence 2004: 658-669
- [c53]Owen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. CP 2004: 811
- [c52]Bela Stantic, Justin Terry, Abdul Sattar: Logical Query Transformation in Bitemporal Databases. Databases and Applications 2004: 7-12
- [c51]Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference 2004: 20-26
- [c50]Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
- [c49]Stuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
- 2003
- [j10]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. IJPRAI 17(5): 781-815 (2003)
- [c48]Richard A. Hagen, Abdul Sattar: Improving Search in a Hypothetical Reasoning System. ACSC 2003: 45-53
- [c47]Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
- [c46]Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
- [c45]Isabel Navarrete, Abdul Sattar, Roque Marín: Deciding consistency of a point-duration network with metric constraints. TIME 2003: 147-154
- [c44]Bela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
- 2002
- [j9]Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín: On point-duration networks for temporal reasoning. Artif. Intell. 140(1/2): 39-70 (2002)
- [c43]Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar: An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 579-590
- [c42]John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham: A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence 2002: 603-614
- [c41]Guido Governatori, Vineet Padmanabhan, Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
- [c40]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. FLAIRS Conference 2002: 192-197
- [c39]Guido Governatori, Vineet Padmanabhan, Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
- [c38]John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
- [e2]Mitsuru Ishizuka, Abdul Sattar (Eds.): PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings. Lecture Notes in Computer Science 2417, Springer 2002, ISBN 3-540-44038-0
- 2001
- [j8]M. R. K. Krishna Rao, Abdul Sattar: Polynomial-time learnability of logic programs with local variables from entailment. Theor. Comput. Sci. 268(2): 179-198 (2001)
- [c37]Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
- [c36]Vineet Padmanabhan, Guido Governatori, Abdul Sattar: Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401
- [c35]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS Conference 2001: 350-354
- 2000
- [j7]Rattana Wetprasit, Abdul Sattar, Lina Khatib: Representation and Reasoning with Multi-Point Events. Constraints 5(3): 211-249 (2000)
- [j6]Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling side-effects and cuts with selective recomputation in parallel Prolog. Future Generation Comp. Syst. 17(3): 227-245 (2000)
- [j5]Zhonghua Yang, Chengzheng Sun, Yuan Miao, Abdul Sattar, Yanyan Yang: Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Int. J. Found. Comput. Sci. 11(1): 153-166 (2000)
- [c34]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: A Constraint Directed Model for Partial Constraint Satisfaction Problems. Canadian Conference on AI 2000: 26-39
- [c33]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536
- [c32]Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Dual Encoding Using Constraint Coverings. PRICAI 2000: 457-468
- [c31]Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami: Temporal Reasoning: A Three Way Analysis. TIME 2000: 183-189
1990 – 1999
- 1999
- [j4]Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
- [c30]Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar: INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence 1999: 291-303
- [c29]M. R. K. Krishna Rao, Abdul Sattar: Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471
- [c28]John Thornton, Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999: 446-460
- [c27]Arun K. Pujari, Abdul Sattar: A New Framework for Reasoning about Points, Intervals and Durations. IJCAI 1999: 1259-1267
- [c26]Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: A New Look At Multimedia Synchronization in Distributed Environments. ISPAN 1999: 322-327
- 1998
- [c25]
- [c24]Rattana Wetprasit, Abdul Sattar: Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI 1998: 656-663
- [c23]M. R. K. Krishna Rao, Abdul Sattar: Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157
- [c22]Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Exploring Regional Locality in Distributed Shared Memory. ASIAN 1998: 142-156
- [c21]Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN 1998: 157-168
- [c20]Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar: Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS 1998: 572-581
- [c19]Jane You, Abdul Sattar, Ljubo Vlavic: Parallel Vision Computing on a Network of Workstation Clusters. MVA 1998: 140-143
- [c18]Rattana Wetprasit, Abdul Sattar, Matthew Beaumont: An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998: 317-328
- [c17]John Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
- [c16]M. R. K. Krishna Rao, Abdul Sattar: Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493
- [c15]Rattana Wetprasit, Abdul Sattar: Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME 1998: 69-73
- 1997
- [j3]Abdul Sattar, Randy Goebel: Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Generation Comput. 15(2): 163-186 (1997)
- [c14]Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN 1997: 98-109
- [c13]Rattana Wetprasit, Abdul Sattar, Lina Khatib: A Generalized Framework for Reasoning with Multi-Point Events. ASIAN 1997: 121-135
- [c12]John Thornton, Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66
- [c11]Jane You, S. Hungenahally, Abdul Sattar: Fractional Discrimination for Texture Image Segmentation. ICIP (1) 1997: 220-223
- [c10]Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410
- [c9]Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997: 275-289
- [e1]Abdul Sattar (Ed.): Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Lecture Notes in Computer Science 1342, Springer 1997, ISBN 3-540-63797-4
- 1996
- [c8]Rattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Multi-Point Events. Canadian Conference on AI 1996: 26-40
- [c7]John Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358
- [c6]Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar: Changing Conditional Belief Unconditionally. TARK 1996: 119-135
- [c5]Rattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Sequences of Point Events. TIME 1996: 36-38
- 1995
- [c4]Abdul Sattar, Aditya Ghose, Randy Goebel: Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995: 253-264
- 1994
- [j2]Pushkar Piggott, Abdul Sattar: Reinforcement learning of iterative behaviour with multiple sensors. Appl. Intell. 4(4): 351-365 (1994)
- [c3]Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel: Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994: 113-120
- 1991
- [j1]Abdul Sattar, Randy Goebel: Using crucial literals to select better theories. Computational Intelligence 7: 11-22 (1991)
- [c2]
- 1990
- [c1]Abdul Sattar, Randy Goebel: On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) 1990: 23-31
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 21:43 CEST by the dblp team