Abdul Sattar

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
159A Novel Integrated Classifier for Handling Data Warehouse Anomalies. Peter Darcy, Bela Stantic, Abdul Sattar. ADBIS 2011, 98-110. Web SearchBibTeXDownload
158Variable Granularity Space Filling Curve for Indexing Multidimensional Data. Justin Terry, Bela Stantic, Paolo Terenziani, Abdul Sattar. ADBIS 2011, 111-124. Web SearchBibTeXDownload
157Local search with edge weighting and configuration checking heuristics for minimum vertex cover. Shaowei Cai, Kaile Su, Abdul Sattar. Artif. Intell. (175): 1672-1696 (2011). Web SearchBibTeXDownload
156Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher. CP 2011, 645-659. Web SearchBibTeXDownload
155Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model. Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar. IEEE/ACM Trans. Comput. Biology Bioinform. (8): 234-245 (2011). Web SearchBibTeXDownload
154An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies. Peter Darcy, Bela Stantic, Abdul Sattar. Intell. Data Anal. (15): 931-954 (2011). Web SearchBibTeXDownload
153Special issue on logics for intelligent agents and multi-agent systems. Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar. J. Applied Logic (9): 221-222 (2011). Web SearchBibTeXDownload
152Levels of modality for BDI Logic. Jeff Blee, David Billington, Guido Governatori, Abdul Sattar. J. Applied Logic (9): 250-273 (2011). Web SearchBibTeXDownload
151Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. Vineet Padmanabhan, Guido Governatori, Abdul Sattar. MIWAI 2011, 63-74. Web SearchBibTeXDownload
2010
150Applying a neural network to recover missed RFID readings. Peter Darcy, Bela Stantic, Abdul Sattar. ACSC 2010, 133-142. Web SearchBibTeXDownload
149Correcting Missing Data Anomalies with Clausal Defeasible Logic. Peter Darcy, Bela Stantic, Abdul Sattar. ADBIS 2010, 149-163. Web SearchBibTeXDownload
148Indexing Temporal Data with Virtual Structure. Bela Stantic, Justin Terry, Rodney W. Topor, Abdul Sattar. ADBIS 2010, 591-594. Web SearchBibTeXDownload
147Building a dynamic classifier for large text data collections. Pavel Kalinov, Bela Stantic, Abdul Sattar. ADC 2010, 113-122. Web SearchBibTeXDownload
146Trust Formalization in Mobile Ad-Hoc Networks. Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar. AINA Workshops 2010, 351-356. Web SearchBibTeXDownload
145Trust Management Scheme for Mobile Ad-Hoc Networks. Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar. CIT 2010, 896-901. Web SearchBibTeXDownload
144Advanced indexing technique for temporal data. Bela Stantic, Rodney W. Topor, Justin Terry, Abdul Sattar. Comput. Sci. Inf. Syst. (7): 679-703 (2010). Web SearchBibTeXDownload
143A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks. Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar. EUC 2010, 484-491. Web SearchBibTeXDownload
142Facial feature extraction using hybrid genetic-simplex optimization in multi-objective Active Appearance Model. Abdul Sattar, Renaud Séguier. ICDIM 2010, 152-158. Web SearchBibTeXDownload
141Genetic algorithm feature-based resampling for protein structure prediction. Trent Higgs, Bela Stantic, Tamjidul Hoque, Abdul Sattar. IEEE Congress on Evolutionary Computation 2010, 1-8. Web SearchBibTeXDownload
140X-CleLo: Intelligent Deterministic RFID Data Transformer. Peter Darcy, Bela Stantic, Abdul Sattar. IWRT 2010, 59-68. Web SearchBibTeX
139A trust management architecture for hierarchical wireless sensor networks. Junqi Zhang, Rajan Shankaran, Mehmet A. Orgun, Vijay Varadharajan, Abdul Sattar. LCN 2010, 264-267. Web SearchBibTeXDownload
138HMOAM: hybrid multi-objective genetic optimization for facial analysis by appearance model. Abdul Sattar, Renaud Séguier. Memetic Computing (2): 25-46 (2010). Web SearchBibTeXDownload
137DFS-generated pathways in GA crossover for protein structure prediction. Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar, Vicky M. Avery. Neurocomputing (73): 2308-2316 (2010). Web SearchBibTeXDownload
136A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks. Raihana Ferdous, Vallipuram Muthukkumarasamy, Abdul Sattar. NSS 2010, 275-280. Web SearchBibTeXDownload
135Partial Weighted MaxSAT for Optimal Planning. Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar. PRICAI 2010, 231-243. Web SearchBibTeXDownload
134An Intelligent Approach to Surgery Scheduling. Sankalp Khanna, Abdul Sattar, Justin Boyle, David Hansen, Bela Stantic. PRIMA 2010, 535-550. Web SearchBibTeXDownload
133Multiagent Based Scheduling of Elective Surgery. Sankalp Khanna, Timothy William Cleaver, Abdul Sattar, David Hansen, Bela Stantic. PRIMA 2010, 74-89. Web SearchBibTeXDownload
132Let's Trust Users It is Their Search. Pavel Kalinov, Bela Stantic, Abdul Sattar. Web Intelligence 2010, 176-179. Web SearchBibTeXDownload
2009
131Theories of Trust for Communication Protocols. Ji Ma, Mehmet A. Orgun, Abdul Sattar. ATC 2009, 236-248. Web SearchBibTeXDownload
130Genetic Algorithm inAb Initio Protein Structure Prediction Using Low Resolution Model: A Review. Tamjidul Hoque, Madhu Chetty, Abdul Sattar. Biomedical Data and Applications 2009, 317-342. Web SearchBibTeXDownload
129An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. Sankalp Khanna, Abdul Sattar, David Hansen, Bela Stantic. IAT 2009, 339-346. Web SearchBibTeXDownload
128SAT-Based Parallel Planning Using a Split Representation of Actions. Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar. ICAPS 2009. Web SearchBibTeX
127Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. Ji Ma, Mehmet A. Orgun, Abdul Sattar. IEEE Transactions on Systems, Man, and Cybernetics, Part B (39): 889-900 (2009). Web SearchBibTeXDownload
126Gamer's Facial Cloning for Online Interactive Games. Abdul Sattar, Nicolas Stoiber, Renaud Séguier, Gaspard Breton. Int. J. Computer Games Technology (2009) (2009). Web SearchBibTeXDownload
125Variable Forgetting in Reasoning about Knowledge. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang. J. Artif. Intell. Res. (JAIR) (35): 677-716 (2009). Web SearchBibTeXDownload
124HGOAAM: Facial Analysis by Active Appearance Model Optimized by Hybrid Genetic Algorithm. Abdul Sattar, Renaud Séguier. JDIM (7): 193-201 (2009). Web SearchBibTeX
123The POINT approach to represent now in bitemporal databases. Bela Stantic, Abdul Sattar, Paolo Terenziani. J. Intell. Inf. Syst. (32): 297-323 (2009). Web SearchBibTeXDownload
122A defeasible logic for modelling policy-based intentions and motivational attitudes. Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar. Logic Journal of the IGPL (17): 227-265 (2009). Web SearchBibTeXDownload
121Teach Alice programming to non-majors. Abdul Sattar, Torben Lorenzen. SIGCSE Bulletin (41): 118-121 (2009). Web SearchBibTeXDownload
120Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi. Web Intelligence/IAT Workshops 2009, 474-477. Web SearchBibTeXDownload
2008
119An Extended Interpreted System Model for Epistemic Logics. Kaile Su, Abdul Sattar. AAAI 2008, 554-559. Web SearchBibTeX
118Efficiently Exploiting Dependencies in Local Search for SAT. Duc Nghia Pham, John Thornton, Abdul Sattar. AAAI 2008, 1476-1478. Web SearchBibTeX
117Modelling and solving temporal reasoning as propositional satisfiability. Duc Nghia Pham, John Thornton, Abdul Sattar. Artif. Intell. (172): 1752-1782 (2008). Web SearchBibTeXDownload
116A Constraint-Based Autonomous 3D Camera System. Owen Bourne, Abdul Sattar, Scott D. Goodwin. Constraints (13): 180-205 (2008). Web SearchBibTeXDownload
115MVAAM (multi-view active appearance model) optimized by multi-objective genetic algorithm. Abdul Sattar, Renaud Séguier. FG 2008, 1-8. Web SearchBibTeXDownload
114A Compact and Efficient SAT Encoding for Planning. Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar. ICAPS 2008, 296-303. Web SearchBibTeX
113GGA-AAM: Novel heuristic method of gradient driven Genetic Algorithm for Active Appearance Models. Abdul Sattar, Renaud Séguier. ICDIM 2008, 45-50. Web SearchBibTeXDownload
112GAGM-AAM: A genetic optimization with Gaussian mixtures for Active Appearance Models. Abdul Sattar, Yasser Aidarous, Renaud Séguier. ICIP 2008, 3220-3223. Web SearchBibTeXDownload
111Combining Adaptive and Dynamic Local Search for Satisfiability. Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar. JSAT (4): 149-172 (2008). Web SearchBibTeXDownload
110DFS Based Partial Pathways in GA for Protein Structure Prediction. Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar. PRIB 2008, 41-53. Web SearchBibTeXDownload
109Quantifying Commitment. Timothy William Cleaver, Abdul Sattar. PRICAI 2008, 54-65. Web SearchBibTeXDownload
108Objects first using Alice to introduce object constructs in CS1. Torben Lorenzen, Abdul Sattar. SIGCSE Bulletin (40): 62-64 (2008). Web SearchBibTeXDownload
107How to create an online internet course. Torben Lorenzen, Abdul Sattar. SIGCSE Bulletin (40): 100-102 (2008). Web SearchBibTeXDownload
106Solving Sum and Product Riddle via BDD-Based Model Checking. Xiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen. Web Intelligence/IAT Workshops 2008, 630-633. Web SearchBibTeXDownload
105Levels of Modalities for BDI Logic. Jeff Blee, David Billington, Guido Governatori, Abdul Sattar. Web Intelligence/IAT Workshops 2008, 647-650. Web SearchBibTeXDownload
2007
104Intention Guided Belief Revision. Timothy William Cleaver, Abdul Sattar. AAAI 2007, 36-41. Web SearchBibTeX
103A Modal Logic for Beliefs and Pro Attitudes. Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds. AAAI 2007, 496-501. Web SearchBibTeX
102Weight Redistribution for Unweighted MAX-SAT. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar. Australian Conference on Artificial Intelligence 2007, 687-693. Web SearchBibTeXDownload
101Advances in Local Search for Satisfiability. Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar. Australian Conference on Artificial Intelligence 2007, 213-222. Web SearchBibTeXDownload
100Model Checking Temporal Logics of Knowledge Via OBDDs. Kaile Su, Abdul Sattar, Xiangyu Luo. Comput. J. (50): 403-420 (2007). Web SearchBibTeXDownload
99Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. Tamjidul Hoque, Madhu Chetty, Abdul Sattar. IEEE Congress on Evolutionary Computation 2007, 4138-4145. Cited by 2Web SearchBibTeXDownload
98Building Structure into Local Search for SAT. Duc Nghia Pham, John Thornton, Abdul Sattar. IJCAI 2007, 2359-2364. Web SearchBibTeXDownload
97Reasoning with Levels of Modalities in BDI Logic. Jeff Blee, David Billington, Abdul Sattar. PRIMA 2007, 410-415. Web SearchBibTeXDownload
96Develop a compiler in Java for a compiler design course. Abdul Sattar, Torben Lorenzen. SIGCSE Bulletin (39): 80-82 (2007). Web SearchBibTeXDownload
95Computer applications: a service course. Abdul Sattar, Torben Lorenzen. SIGCSE Bulletin (39): 105-107 (2007). Web SearchBibTeXDownload
94Face alignment using active appearance model optimized by simplex. Yasser Aidarous, Sylvain Le Gallou, Abdul Sattar, Renaud Séguier. VISAPP (2) 2007, 231-236. Web SearchBibTeX
2006
93User defined monitoring strategies for BDI agent programs. Timothy William Cleaver, Abdul Sattar, Raihana Ferdous. AAMAS 2006, 1055-1057. Web SearchBibTeXDownload
92The interpreted system model of knowledge, belief, desire and intention. Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun. AAMAS 2006, 220-222. Web SearchBibTeXDownload
91Handling of current time in native XML databases. Bela Stantic, Guido Governatori, Abdul Sattar. ADC 2006, 175-182. Cited by 5Web SearchBibTeXDownload
90Verification of Multi-agent Systems Via Bounded Model Checking. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds. Australian Conference on Artificial Intelligence 2006, 69-78. Web SearchBibTeXDownload
89LPForget: A System of Forgetting in Answer Set Programming. Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang. Australian Conference on Artificial Intelligence 2006, 1101-1105. Web SearchBibTeXDownload
88Towards an Efficient SAT Encoding for Temporal Reasoning. Duc Nghia Pham, John Thornton, Abdul Sattar. CP 2006, 421-436. Web SearchBibTeXDownload
87Adaptive Clause Weight Redistribution. Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham. CP 2006, 229-243. Web SearchBibTeXDownload
86Editors' introduction. Elaine J. Weyuker, C. Murray Woodside. J. Applied Logic (4): 117-118 (2006). Web SearchBibTeXDownload
85Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng. J. Comput. Sci. Technol. (21): 932-943 (2006). Web SearchBibTeXDownload
84Observation-Based Logic of Knowledge, Belief, Desire and Intention. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo. KSEM 2006, 366-378. Web SearchBibTeXDownload
83Teach graphics using excel in place of a graphing calculator. Torben Lorenzen, Abdul Sattar. SIGCSE Bulletin (38): 61-63 (2006). Web SearchBibTeXDownload
82Develop a shopping mart web application. Abdul Sattar, Torben Lorenzen. SIGCSE Bulletin (38): 68-70 (2006). Web SearchBibTeXDownload
2005
81Observation-based Model for BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan. AAAI 2005, 190-195. Cited by 11Web SearchBibTeX
80SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi. AAAI 2005, 455-460. Web SearchBibTeX
79A Theory of Forgetting in Logic Programming. Kewen Wang, Abdul Sattar, Kaile Su. AAAI 2005, 682-688. Web SearchBibTeX
78Old Resolution Meets Modern SLS. Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar. AAAI 2005, 354-359. Web SearchBibTeX
77Bounded model checking knowledge and branching time in synchronous multi-agent systems. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv. AAMAS 2005, 1129-1130. Web SearchBibTeXDownload
76A computationally grounded logic of knowledge, belief and certainty. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen. AAMAS 2005, 149-156. Cited by 9Web SearchBibTeXDownload
75Applying Constraint Weighting to Autonomous Camera Control. Owen Bourne, Abdul Sattar. AIIDE 2005, 3-8. Web SearchBibTeX
74Reasoning with the Outcomes of Plan Execution in Intentional Agents. Timothy William Cleaver, Abdul Sattar, Kewen Wang. Australian Conference on Artificial Intelligence 2005, 60-69. Web SearchBibTeXDownload
73A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Stuart Bain, John Thornton, Abdul Sattar. Australian Conference on Artificial Intelligence 2005, 1068-1074. Web SearchBibTeXDownload
72Handling Over-Constrained Problems in Distributed Multi-agent Systems. Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin. Canadian Conference on AI 2005, 13-24. Web SearchBibTeXDownload
71Neighbourhood Clause Weight Redistribution in Local Search for SAT. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham. CP 2005, 772-776. Web SearchBibTeXDownload
70Evolving Variable-Ordering Heuristics for Constrained Optimisation. Stuart Bain, John Thornton, Abdul Sattar. CP 2005, 732-736. Web SearchBibTeXDownload
69Computationally Grounded Model of BDI-Agents. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori. IJCAI 2005, 1581-1582. Cited by 1Web SearchBibTeXDownload
68Reasoning about Success and Failure in Intentional Agents. Timothy William Cleaver, Abdul Sattar, Kewen Wang. PRIMA 2005, 60-72. Web SearchBibTeXDownload
67Merging and Aligning Ontologies in dl-Programs. Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar. RuleML 2005, 160-171. Web SearchBibTeXDownload
2004
66Code Improvements for Model Elimination Based Reasoning Systems. Richard A. Hagen, Scott D. Goodwin, Abdul Sattar. ACSC 2004, 233-240. Web SearchBibTeXDownload
65Applying Constraint Satisfaction Techniques to 3D Camera Control. Owen Bourne, Abdul Sattar. Australian Conference on Artificial Intelligence 2004, 658-669. Web SearchBibTeXDownload
64Iterated Belief Change. Aditya K. Ghose, Pablo O. Hadjinian, Abdul Sattar, Jia-Huai You, Randy Goebel. Computational Intelligence (20): 37-55 (2004). Web SearchBibTeXDownload
63Logical Query Transformation in Bitemporal Databases. Bela Stantic, Justin Terry, Abdul Sattar. Databases and Applications 2004, 7-12. Web SearchBibTeX
62Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. Lingzhong Zhou, John Thornton, Abdul Sattar. FLAIRS Conference 2004. Web SearchBibTeX
61A Local Search Approach to Modelling and Solving Interval Algebra Problems. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher. J. Log. Comput. (14): 93-112 (2004). Web SearchBibTeXDownload
60Methods of Automatic Algorithm Generation. Stuart Bain, John Thornton, Abdul Sattar. PRICAI 2004, 144-153. Web SearchBibTeXDownload
59Solving Over-Constrained Temporal Reasoning Problems Using Local Search. Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher. PRICAI 2004, 134-143. Web SearchBibTeXDownload
2003
58Improving Search in a Hypothetical Reasoning System. Richard A. Hagen, Abdul Sattar. ACSC 2003, 45-53. Web SearchBibTeXDownload
57Dynamic Variable Filtering for Hard Random 3-SAT Problems. Anbulagan, John Thornton, Abdul Sattar. Australian Conference on Artificial Intelligence 2003, 100-111. Web SearchBibTeXDownload
56Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Lingzhong Zhou, John Thornton, Abdul Sattar. Australian Conference on Artificial Intelligence 2003, 427-439. Web SearchBibTeXDownload
55Extending Dual Arc Consistency. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar. IJPRAI (17): 781-815 (2003). Web SearchBibTeXDownload
54Deciding consistency of a point-duration network with metric constraints. Isabel Navarrete, Abdul Sattar, Roque Marín. TIME 2003, 147-154. Web SearchBibTeXDownload
53A Novel Approach to Model NOW in Temporal Databases. Bela Stantic, John Thornton, Abdul Sattar. TIME 2003, 174-180. Web SearchBibTeXDownload
2002
52On point-duration networks for temporal reasoning. Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín. Artif. Intell. (140): 39-70 (2002). Web SearchBibTeXDownload
51An Investigation of Variable Relationships in 3-SAT Problems. Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 2002, 579-590. Web SearchBibTeXDownload
50A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham. Australian Joint Conference on Artificial Intelligence 2002, 603-614. Web SearchBibTeXDownload
49A Defeasible Logic of Policy-Based Intention. Guido Governatori, Vineet Padmanabhan, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 2002, 723. Cited by 14Web SearchBibTeXDownload
48Extending Dual Arc Consistency. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar. FLAIRS Conference 2002, 192-197. Web SearchBibTeX
47On Fibring Semantics for BDI Logics. Guido Governatori, Vineet Padmanabhan, Abdul Sattar. JELIA 2002, 198-210. Cited by 17Web SearchBibTeXDownload
46Applying Local Search to Temporal Reasoning. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher. TIME 2002, 94-99. Web SearchBibTeXDownload
2001
45Actions Made Explicit in BDI. Vineet Padmanabhan, Guido Governatori, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 2001, 390-401. Cited by 14Web SearchBibTeXDownload
44Solving Overconstrained Temporal Reasoning Problems. Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton. Australian Joint Conference on Artificial Intelligence 2001, 37-49. Web SearchBibTeXDownload
43Nonbinary Constraint Satisfaction: From the Dual to the Primal. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar. FLAIRS Conference 2001, 350-354. Web SearchBibTeX
42Polynomial-time learnability of logic programs with local variables from entailment. M. R. K. Krishna Rao, Abdul Sattar. Theor. Comput. Sci. (268): 179-198 (2001). Web SearchBibTeXDownload
2000
41A Constraint Directed Model for Partial Constraint Satisfaction Problems. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar. Canadian Conference on AI 2000, 26-39. Web SearchBibTeXDownload
40Representation and Reasoning with Multi-Point Events. Rattana Wetprasit, Abdul Sattar, Lina Khatib. Constraints (5): 211-249 (2000). Web SearchBibTeXDownload
39On Dual Encodings for Non-binary Constraint Satisfaction Problems. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton. CP 2000, 531-536. Web SearchBibTeXDownload
38Handling side-effects and cuts with selective recomputation in parallel Prolog. Zhiyi Huang, Chengzheng Sun, Abdul Sattar. Future Generation Comp. Syst. (17): 227-245 (2000). Web SearchBibTeXDownload
37Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang, Yanyan Yang. Int. J. Found. Comput. Sci. (11): 153-166 (2000). Web SearchBibTeX
36Dual Encoding Using Constraint Coverings. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar. PRICAI 2000, 457-468. Web SearchBibTeXDownload
35Temporal Reasoning: A Three Way Analysis. Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami. TIME 2000, 183-190. Web SearchBibTeXDownload
1999
34Learning Logic Programs with Local Variables from Positive Examples. M. R. K. Krishna Rao, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 1999, 469-471. Web SearchBibTeXDownload
33INDU: An Interval and Duration Network. Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 1999, 291-303. Web SearchBibTeXDownload
32On the Behavior and Application of Constraint Weighting. John Thornton, Abdul Sattar. CP 1999, 446-460. Web SearchBibTeXDownload
31A New Framework for Reasoning about Points, Intervals and Durations. Arun K. Pujari, Abdul Sattar. IJCAI 1999, 1259-1267. Web SearchBibTeX
30Connections Between Default Reasoning and Partial Constraint Satisfaction. Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar. Inf. Sci. (117): 177-190 (1999). Web SearchBibTeXDownload
29A New Look At Multimedia Synchronization in Distributed Environments. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang. ISPAN 1999, 322-327. Web SearchBibTeXDownload
1998
28Using Arc Weights to Improve Iterative Repair. John Thornton, Abdul Sattar. AAAI/IAAI 1998, 367-372. Web SearchBibTeX
27Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. Rattana Wetprasit, Abdul Sattar. AAAI/IAAI 1998, 656-663. Web SearchBibTeX
26Learning from Entailment of Logic Programs with Local Variables. M. R. K. Krishna Rao, Abdul Sattar. ALT 1998, 143-157. Web SearchBibTeXDownload
25Guaranteed Mutually Consistent Checkpointing in Distributed Computations. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang, Yanyan Yang. ASIAN 1998, 157-168. Web SearchBibTeXDownload
24Exploring Regional Locality in Distributed Shared Memory. Zhiyi Huang, Chengzheng Sun, Abdul Sattar. ASIAN 1998, 142-156. Web SearchBibTeXDownload
23Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar. ICDCS 1998, 572-581. Web SearchBibTeXDownload
22Parallel Vision Computing on a Network of Workstation Clusters. Jane You, Abdul Sattar, Ljubo Vlavic. MVA 1998, 140-143. Web SearchBibTeXDownload
21An Experimental Study of Reasoning with Sequences of Point Events. Rattana Wetprasit, Abdul Sattar, Matthew Beaumont. PRICAI 1998, 317-328. Web SearchBibTeXDownload
20Learning Linearly-Moded Programs from Entailment. M. R. K. Krishna Rao, Abdul Sattar. PRICAI 1998, 482-493. Web SearchBibTeXDownload
19Dynamic Constraint Weighting for Over-Constrained Problems. John Thornton, Abdul Sattar. PRICAI 1998, 377-388. Web SearchBibTeXDownload
18Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). Rattana Wetprasit, Abdul Sattar. TIME 1998, 69-73. Web SearchBibTeXDownload
1997
17Heuristic Diff Acquiring in Lazy Release Consistency Model. Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar. ASIAN 1997, 98-109. Web SearchBibTeXDownload
16A Generalized Framework for Reasoning with Multi-Point Events. Rattana Wetprasit, Abdul Sattar, Lina Khatib. ASIAN 1997, 121-135. Web SearchBibTeXDownload
15Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. John Thornton, Abdul Sattar. Australian Joint Conference on Artificial Intelligence 1997, 57-66. Web SearchBibTeXDownload
14Fractional Discrimination for Texture Image Segmentation. Jane You, S. Hungenahally, Abdul Sattar. ICIP (1) 1997, 220-223. Web SearchBibTeXDownload
13Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. Zhiyi Huang, Chengzheng Sun, Abdul Sattar. ICLP 1997, 410. Web SearchBibTeX
12Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. Abdul Sattar, Randy Goebel. New Generation Comput. (15): 163-186 (1997). Web SearchBibTeXDownload
11Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. Zhiyi Huang, Chengzheng Sun, Abdul Sattar. PLILP 1997, 275-289. Web SearchBibTeXDownload
1996
10An Integer Programming-Based Nurse Rostering System. John Thornton, Abdul Sattar. ASIAN 1996, 357-358. Web SearchBibTeXDownload
9Reasoning with Multi-Point Events. Rattana Wetprasit, Abdul Sattar, Lina Khatib. Canadian Conference on AI 1996, 26-40. Web SearchBibTeXDownload
8Changing Conditional Belief Unconditionally. Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar. TARK 1996, 119-135. Web SearchBibTeX
7Reasoning with Sequences of Point Events. Rattana Wetprasit, Abdul Sattar, Lina Khatib. TIME 1996. Web SearchBibTeX
1995
6Specifying Over-Constrained Problems in Default Logic. Abdul Sattar, Aditya Ghose, Randy Goebel. Over-Constrained Systems 1995, 253-264. Web SearchBibTeXDownload
1994
5Reinforcement learning of iterative behaviour with multiple sensors. Pushkar Piggott, Abdul Sattar. Appl. Intell. (4): 351-365 (1994). Web SearchBibTeXDownload
4Belief Revision in a Discrete Temporal Probability-Logic. Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel. TIME 1994, 113-120. Web SearchBibTeX
1991
3Using crucial literals to select better theories. Abdul Sattar, Randy Goebel. Computational Intelligence (7): 11-22 (1991). Web SearchBibTeX
2Meta-reasoning: An Incremental Compilation Approach. Abdul Sattar, Randy Goebel. ICDE 1991, 140-149. Web SearchBibTeXDownload
1990
1On the Efficiency of Logic-Based Diagnosis. Abdul Sattar, Randy Goebel. IEA/AIE (Vol. 1) 1990, 23-31. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research