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