| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Abdul Sattar 50 Mitsuru 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 49 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 48 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 47 Guido Governatori , Vineet Padmanabhan , Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002 : 723 46 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar: Extending Dual Arc Consistency. FLAIRS Conference 2002 : 192-197 45 Guido Governatori , Vineet Padmanabhan , Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002 : 198-210 44 John Thornton , Matthew Beaumont , Abdul Sattar, Michael J. Maher : Applying Local Search to Temporal Reasoning. TIME 2002 : 94-99 43 Isabel Navarrete , Abdul Sattar, Rattana Wetprasit , Roque Marín : On point-duration networks for temporal reasoning. Artificial Intelligence 140 (1/2): 39-70 (2002) 42 Matthew Beaumont , Abdul Sattar, Michael J. Maher , John Thornton : Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001 : 37-49 41 Vineet Padmanabhan , Guido Governatori , Abdul Sattar: Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001 : 390-401 40 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar: Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS Conference 2001 : 350-354 39 M. R. K. Krishna Rao , Abdul Sattar: Polynomial-time learnability of logic programs with local variables from entailment. TCS 268 (2): 179-198 (2001) 38 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar, John Thornton : On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000 : 531-536 37 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar: A Constraint Directed Model for Partial Constraint Satisfaction Problems. Canadian Conference on AI 2000 : 26-39 36 Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar: Dual Encoding Using Constraint Coverings. PRICAI 2000 : 457-468 35 Vineet Padmanabhan , Abdul Sattar, Arun K. Pujari , Chinmoy Goswamy : Temporal Reasoning: A Three Way Analysis. TIME 2000 : 183-190 34 Rattana Wetprasit , Abdul Sattar, Lina Khatib : Representation and Reasoning with Multi-Point Events. Constraints 5 (3): 211-249 (2000) 33 Zhonghua Yang , Chengzheng Sun , Yuan Miao , Abdul Sattar, Yanyan Yang : Guaranteed Mutually Consistent Checkpointing in Distributed Computations. International Journal of Foundations of Computer Science 11 (1): 153-166 (2000) 32 Arun K. Pujari , G. Vijaya Kumari , Abdul Sattar: INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence 1999 : 291-303 31 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 30 John Thornton , Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999 : 446-460 29 Arun K. Pujari , Abdul Sattar: A New Framework for Reasoning about Points, Intervals and Durations. IJCAI 1999 : 1259-1267 28 Aditya Ghose , Grigoris Antoniou , Randy Goebel , Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Information Sciences 117 (3-4): 177-190 (1999) 27 John Thornton , Abdul Sattar: Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998 : 367-372 26 Rattana Wetprasit , Abdul Sattar: Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI 1998 : 656-663 25 M. R. K. Krishna Rao , Abdul Sattar: Learning from Entailment of Logic Programs with Local Variables. ALT 1998 : 143-157 24 Zhiyi Huang , Chengzheng Sun , Abdul Sattar: Exploring Regional Locality in Distributed Shared Memory. ASIAN 1998 : 142-156 23 Zhonghua Yang , Chengzheng Sun , Abdul Sattar, Yanyan Yang : Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN 1998 : 157-168 22 Chengzheng Sun , Zhiyi Huang , Wan-Ju Lei , Abdul Sattar: Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS 1998 : 572-581 21 Rattana Wetprasit , Abdul Sattar, Matthew Beaumont : An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998 : 317-328 20 John Thornton , Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998 : 377-388 19 M. R. K. Krishna Rao , Abdul Sattar: Learning Linearly-Moded Programs from Entailment. PRICAI 1998 : 482-493 18 Rattana Wetprasit , Abdul Sattar: Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME 1998 : 69-73 17 Abdul 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 16 Rattana Wetprasit , Abdul Sattar, Lina Khatib : A Generalized Framework for Reasoning with Multi-Point Events. ASIAN 1997 : 121-135 15 Zhiyi Huang , Wan-Ju Lei , Chengzheng Sun , Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN 1997 : 98-109 14 John Thornton , Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997 : 57-66 13 J. You , S. Hungenahally , Abdul Sattar: Fractional Discrimination for Texture Image Segmentation. ICIP (1) 1997 : 220-223 12 Zhiyi Huang , Chengzheng Sun , Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997 : 410 11 Zhiyi Huang , Chengzheng Sun , Abdul Sattar: Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997 : 275-289 10 Abdul Sattar, Randy Goebel : Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Generation Computing 15 (2): 163-186 (1997) 9 John Thornton , Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996 : 357-358 8 Rattana Wetprasit , Abdul Sattar, Lina Khatib : Reasoning with Multi-Point Events. Canadian Conference on AI 1996 : 26-40 7 Abhaya C. Nayak , Norman Y. Foo , Maurice Pagnucco , Abdul Sattar: Changing Conditional Belief Unconditionally. TARK 1996 : 119-135 6 Rattana Wetprasit , Abdul Sattar, Lina Khatib : Reasoning with Sequences of Point Events. TIME 1996 5 Abdul Sattar, Aditya Ghose , Randy Goebel : Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995 : 253-264 4 Scott D. Goodwin , Howard J. Hamilton , Eric Neufeld , Abdul Sattar, André Trudel : Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994 : 113-120 3 Abdul Sattar, Randy Goebel : Meta-reasoning: An Incremental Compilation Approach. ICDE 1991 : 140-149 2 Abdul Sattar, Randy Goebel : Using crucial literals to select better theories. Computational Intelligence 7 : 11-22 (1991) 1 Abdul Sattar, Randy Goebel : On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) 1990 : 23-31  DiSC'03 © 2003 Association for Computing Machinery |
