Abdul Sattar Home Page Coauthor index pubzone.org

Griffith University, Brisbane, Queensland, Australia

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Kalinov, Abdul Sattar, Bela Stantic: Towards Real Intelligent Web Exploration. APWeb 2012: 411-422
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLijun 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)
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: X-CleLo: intelligent deterministic RFID data and event transformer. Personal and Ubiquitous Computing 16(3): 259-269 (2012)
2011
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJustin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar: Variable Granularity Space Filling Curve for Indexing Multidimensional Data. ADBIS 2011: 111-124
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: A Novel Integrated Classifier for Handling Data Warehouse Anomalies. ADBIS 2011: 98-110
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMuhammad 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
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu: Incorporating Temporal Planning Within a BDI Architecture. IICAI 2011: 1618-1636
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineet Padmanabhan, Guido Governatori, Abdul Sattar: Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI 2011: 63-74
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaowei 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)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamjidul 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)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. Intell. Data Anal. 15(6): 931-954 (2011)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehmet 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)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of modality for BDI Logic. J. Applied Logic 9(4): 250-273 (2011)
2010
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: Applying a neural network to recover missed RFID readings. ACSC 2010: 133-142
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: Correcting Missing Data Anomalies with Clausal Defeasible Logic. ADBIS 2010: 149-163
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar: Indexing Temporal Data with Virtual Structure. ADBIS 2010: 591-594
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Kalinov, Bela Stantic, Abdul Sattar: Building a dynamic classifier for large text data collections. ADC 2010: 113-122
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: Trust Formalization in Mobile Ad-Hoc Networks. AINA Workshops 2010: 351-356
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: Trust Management Scheme for Mobile Ad-Hoc Networks. CIT 2010: 896-901
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunqi 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
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar: Genetic algorithm feature-based resampling for protein structure prediction. IEEE Congress on Evolutionary Computation 2010: 1-8
131no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Darcy, Bela Stantic, Abdul Sattar: X-CleLo: Intelligent Deterministic RFID Data Transformer. IWRT 2010: 59-68
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar: A trust management architecture for hierarchical wireless sensor networks. LCN 2010: 264-267
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar: A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. NSS 2010: 275-280
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: Partial Weighted MaxSAT for Optimal Planning. PRICAI 2010: 231-243
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankalp Khanna, Abdul Sattar, Justin Boyle, David Hansen, Bela Stantic: An Intelligent Approach to Surgery Scheduling. PRIMA 2010: 535-550
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankalp Khanna, Timothy William Cleaver, Abdul Sattar, David Hansen, Bela Stantic: Multiagent Based Scheduling of Elective Surgery. PRIMA 2010: 74-89
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPavel Kalinov, Bela Stantic, Abdul Sattar: Let's Trust Users It is Their Search. Web Intelligence 2010: 176-179
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar: Advanced indexing technique for temporal data. Comput. Sci. Inf. Syst. 7(4): 679-703 (2010)
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamjidul 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)
2009
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Ma, Mehmet A. Orgun, Abdul Sattar: Theories of Trust for Communication Protocols. ATC 2009: 236-248
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSankalp Khanna, Abdul Sattar, David Hansen, Bela Stantic: An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. IAT 2009: 339-346
120no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: SAT-Based Parallel Planning Using a Split Representation of Actions. ICAPS 2009
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi: Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Web Intelligence/IAT Workshops 2009: 474-477
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamjidul 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJi 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)
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang: Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. (JAIR) 35: 677-716 (2009)
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, Abdul Sattar, Paolo Terenziani: The POINT approach to represent now in bitemporal databases. J. Intell. Inf. Syst. 32(3): 297-323 (2009)
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido 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)
2008
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar: An Extended Interpreted System Model for Epistemic Logics. AAAI 2008: 554-559
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar: DFS Based Partial Pathways in GA for Protein Structure Prediction. PRIB 2008: 41-53
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar: Quantifying Commitment. PRICAI 2008: 54-65
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen: Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Bourne, Abdul Sattar, Scott D. Goodwin: A Constraint-Based Autonomous 3D Camera System. Constraints 13(1-2): 180-205 (2008)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008)
2007
103no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar: Intention Guided Belief Revision. AAAI 2007: 36-41
102no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTamjidul 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
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Blee, David Billington, Abdul Sattar: Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
2006
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Byeong Ho Kang: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings Springer 2006
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar, Raihana Ferdous: User defined monitoring strategies for BDI agent programs. AAMAS 2006: 1055-1057
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, Guido Governatori, Abdul Sattar: Handling of current time in native XML databases. ADC 2006: 175-182
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFu-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
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Reynolds, Abdul Sattar: Editors' introduction. J. Applied Logic 4(2): 117-118 (2006)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile 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)
2005
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
83no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar: Old Resolution Meets Modern SLS. AAAI 2005: 354-359
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKewen Wang, Abdul Sattar, Kaile Su: A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiangyu 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
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Bourne, Abdul Sattar: Applying Constraint Weighting to Autonomous Camera Control. AIIDE 2005: 3-8
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart 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
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence 2005: 60-69
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhou, Abdul Sattar, Scott D. Goodwin: Handling Over-Constrained Problems in Distributed Multi-agent Systems. Canadian Conference on AI 2005: 13-24
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning about Success and Failure in Intentional Agents. PRIMA 2005: 60-72
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
2004
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard A. Hagen, Scott D. Goodwin, Abdul Sattar: Code Improvements for Model Elimination Based Reasoning Systems. ACSC 2004: 233-240
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. Australian Conference on Artificial Intelligence 2004: 658-669
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOwen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. CP 2004: 811
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, Justin Terry, Abdul Sattar: Logical Query Transformation in Bitemporal Databases. Databases and Applications 2004: 7-12
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference 2004
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel: Iterated Belief Change. Computational Intelligence 20(1): 37-55 (2004)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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)
2003
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard A. Hagen, Abdul Sattar: Improving Search in a Hypothetical Reasoning System. ACSC 2003: 45-53
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabel Navarrete, Abdul Sattar, Roque Marín: Deciding consistency of a point-duration network with metric constraints. TIME 2003: 147-154
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. IJPRAI 17(5): 781-815 (2003)
2002
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMitsuru Ishizuka, Abdul Sattar: PRICAI 2002: Trends in Artificial Intelligence, 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan, August 18-22, 2002, Proceedings Springer 2002
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlena 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Vineet Padmanabhan, Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. FLAIRS Conference 2002: 192-197
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGuido Governatori, Vineet Padmanabhan, Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIsabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín: On point-duration networks for temporal reasoning. Artif. Intell. 140(1/2): 39-70 (2002)
2001
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineet Padmanabhan, Guido Governatori, Abdul Sattar: Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS Conference 2001: 350-354
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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)
2000
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: A Constraint Directed Model for Partial Constraint Satisfaction Problems. Canadian Conference on AI 2000: 26-39
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Dual Encoding Using Constraint Coverings. PRICAI 2000: 457-468
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami: Temporal Reasoning: A Three Way Analysis. TIME 2000: 183-190
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar, Lina Khatib: Representation and Reasoning with Multi-Point Events. Constraints 5(3): 211-249 (2000)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyi 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)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhonghua 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)
1999
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArun K. Pujari, G. Vijaya Kumari, Abdul Sattar: INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence 1999: 291-303
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. R. K. Krishna Rao, Abdul Sattar: Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999: 446-460
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArun K. Pujari, Abdul Sattar: A New Framework for Reasoning about Points, Intervals and Durations. IJCAI 1999: 1259-1267
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: A New Look At Multimedia Synchronization in Distributed Environments. ISPAN 1999: 322-327
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
1998
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998: 367-372
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar: Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI 1998: 656-663
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. R. K. Krishna Rao, Abdul Sattar: Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyi Huang, Chengzheng Sun, Abdul Sattar: Exploring Regional Locality in Distributed Shared Memory. ASIAN 1998: 142-156
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN 1998: 157-168
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar: Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS 1998: 572-581
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane You, Abdul Sattar, Ljubo Vlavic: Parallel Vision Computing on a Network of Workstation Clusters. MVA 1998: 140-143
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar, Matthew Beaumont: An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998: 317-328
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. R. K. Krishna Rao, Abdul Sattar: Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar: Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME 1998: 69-73
1997
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings Springer 1997
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar, Lina Khatib: A Generalized Framework for Reasoning with Multi-Point Events. ASIAN 1997: 121-135
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN 1997: 98-109
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJane You, S. Hungenahally, Abdul Sattar: Fractional Discrimination for Texture Image Segmentation. ICIP (1) 1997: 220-223
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhiyi Huang, Chengzheng Sun, Abdul Sattar: Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997: 275-289
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Randy Goebel: Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Generation Comput. 15(2): 163-186 (1997)
1996
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Multi-Point Events. Canadian Conference on AI 1996: 26-40
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar: Changing Conditional Belief Unconditionally. TARK 1996: 119-135
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Sequences of Point Events. TIME 1996
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Aditya Ghose, Randy Goebel: Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995: 253-264
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel: Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994: 113-120
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPushkar Piggott, Abdul Sattar: Reinforcement learning of iterative behaviour with multiple sensors. Appl. Intell. 4(4): 351-365 (1994)
1991
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Randy Goebel: Meta-reasoning: An Incremental Compilation Approach. ICDE 1991: 140-149
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Randy Goebel: Using crucial literals to select better theories. Computational Intelligence 7: 11-22 (1991)
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdul Sattar, Randy Goebel: On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) 1990: 23-31

Coauthor Index

1Kamel Adi [119]
2 Anbulagan [59] [83] [89]
3Grigoris Antoniou [30] [70]
4Vicky M. Avery [123]
5Kollapalli Ramesh Babu [146]
6Stuart Bain [52] [63] [75] [77]
7Matthew Beaumont [22] [46] [48] [61] [64]
8David Billington [97] [107] [140]
9Jeff Blee [97] [107] [140]
10Owen Bourne [67] [68] [78] [105]
11Justin Boyle [127]
12Shaowei Cai [144]
13Qingliang Chen [79] [80] [85] [151]
14Yan Chen [108]
15Fu-Leung Cheng [91]
16Madhu Chetty [99] [110] [118] [123] [143]
17Timothy William Cleaver [71] [76] [94] [103] [109] [126]
18Peter Darcy [131] [138] [139] [142] [148] [150]
19Thomas Eiter [91]
20Raihana Ferdous [94] [129] [134] [135]
21Norman Y. Foo [8]
22Aditya K. Ghose (Aditya Ghose) [6] [30] [62]
23Randy Goebel [1] [2] [3] [6] [11] [30] [62]
24Scott D. Goodwin [5] [40] [41] [42] [44] [50] [55] [69] [73] [105]
25Chinmoy Goswami [39]
26Guido Governatori [45] [49] [51] [72] [79] [84] [92] [107] [114] [140] [141] [145] [146]
27Charles Gretton [101] [104] [111] [120] [128]
28Pablo O. Hadjinian [62]
29Richard A. Hagen [60] [69]
30Howard J. Hamilton [5]
31David Hansen [121] [126] [127]
32Trent Higgs [132]
33Tamjidul Hoque [99] [110] [118] [123] [132] [143]
34Zhiyi Huang [12] [13] [16] [24] [26] [37]
35S. Hungenahally [14]
36Mitsuru Ishizuka [54]
37Abdelraouf Ishtaiwi [74] [82] [89] [100]
38Pavel Kalinov [125] [136] [152]
39Byeong Ho Kang [95]
40Sankalp Khanna [121] [126] [127]
41Lina Khatib [7] [9] [17] [38]
42Olena Kravchuk [53]
43G. Vijaya Kumari [35]
44Wan-Ju Lei [16] [24]
45Andrew Lewis [110] [123] [143]
46Han Lin [102]
47Chuchang Liu [141]
48Xiangyu Luo [80] [84] [87] [90] [93] [96] [108]
49Guanfeng Lv [80] [85] [116]
50Ji Ma [117] [119] [122]
51Michael J. Maher [46] [48] [61] [64] [147]
52Roque Marín [47] [57]
53Yuan Miao [36]
54Vallipuram Muthukkumarasamy [129] [134] [135]
55Sivakumar Nagarajan [40] [41] [42] [44] [50] [55]
56Isabel Navarrete [47] [57]
57Abhaya C. Nayak [8]
58Eric Neufeld [5]
59Muhammad Abdul Hakim Newton [147]
60Mehmet A. Orgun [87] [93] [117] [119] [122] [130] [133] [141]
61Vineet Padmanabhan [39] [45] [49] [51] [84] [114] [145] [146]
62Maurice Pagnucco [8]
63Duc Nghia Pham [52] [74] [82] [83] [88] [89] [98] [101] [104] [106] [111] [113] [120] [128] [147]
64Pushkar Piggott [4]
65Arun K. Pujari [32] [35] [39]
66Wayne J. Pullan [53]
67M. R. K. Krishna Rao [20] [27] [34] [43]
68Mark Reynolds [86] [90] [102] [141]
69Nathan Robinson [91] [111] [120] [128]
70Antonino Rotolo [114]
71Rajan Shankaran [130] [133]
72John K. Slaney [83]
73Bela Stantic [56] [66] [92] [115] [121] [124] [125] [126] [127] [131] [132] [136] [137] [138] [139] [142] [148] [149] [150] [152]
74Jinshu Su [151]
75Kaile Su [72] [79] [80] [81] [84] [85] [87] [90] [93] [96] [102] [108] [112] [116] [144] [151]
76Chengzheng Sun [12] [13] [16] [24] [25] [26] [31] [36] [37]
77Paolo Terenziani [115] [149]
78Justin Terry [66] [124] [137] [149]
79John Thornton [10] [15] [21] [29] [33] [42] [46] [48] [52] [53] [56] [58] [59] [61] [63] [64] [65] [74] [75] [77] [82] [88] [89] [98] [100] [101] [104] [106] [113]
80Rodney W. Topor [70] [124] [137]
81André Trudel [5]
82Vijay Varadharajan [130] [133]
83Ljubo Vlavic [23]
84Kewen Wang [70] [71] [72] [76] [81] [84] [91]
85Rattana Wetprasit [7] [9] [17] [19] [22] [28] [38] [47]
86Lijun Wu [151]
87Wei Wu [151]
88Yanyan Yang [25] [31] [36]
89Zhonghua Yang [25] [31] [36]
90Jane You (Jia Jane You) [14] [23]
91Jia-Huai You [62]
92Weiya Yue [85] [87]
93Junqi Zhang [130] [133]
94Yan Zhang [116]
95Xizhong Zheng [85]
96Lingzhong Zhou [58] [65] [73]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page