Sattar, Abdul

25 publications

IJCAI 2017 A Unifying Framework for Probabilistic Belief Revision Zhiqiang Zhuang, James P. Delgrande, Abhaya C. Nayak, Abdul Sattar

JAIR 2017 Encoding Domain Transitions for Constraint-Based Planning Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar

IJCAI 2015 Probabilistic Belief Contraction Using Argumentation Kinzang Chhogyal, Abhaya C. Nayak, Zhiqiang Zhuang, Abdul Sattar

AAAI 2015 Transition Constraints for Parallel Planning Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar

AAAI 2013 Mixed Heuristic Local Search for Protein Structure Prediction Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar

JAIR 2013 NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar

AAAI 2013 Simplified Lattice Models for Protein Structure Prediction: How Good Are They? Swakkhar Shatabda, M. A. Hakim Newton, Abdul Sattar

IJCAI 2013 Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability Thach-Thao Nguyen Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton

AAAI 2012 Trap Avoidance in Local Search Using Pseudo-Conflict Learning Duc Nghia Pham, Thach-Thao Duong, Abdul Sattar

AAAI 2012 Two New Local Search Strategies for Minimum Vertex Cover Shaowei Cai, Kaile Su, Abdul Sattar

JAIR 2009 Variable Forgetting in Reasoning About Knowledge Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang

AAAI 2008 An Extended Interpreted System Model for Epistemic Logics Kaile Su, Abdul Sattar

AAAI 2008 Efficiently Exploiting Dependencies in Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

AAAI 2007 A Modal Logic for Beliefs and Pro Attitudes Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds

IJCAI 2007 Building Structure into Local Search for SAT Duc Nghia Pham, John Thornton, Abdul Sattar

AAAI 2007 Intention Guided Belief Revision Timothy William Cleaver, Abdul Sattar

AAAI 2005 A Theory of Forgetting in Logic Programming Kewen Wang, Abdul Sattar, Kaile Su

IJCAI 2005 Computationally Grounded Model of BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori

AAAI 2005 Observation-Based Model for BDI-Agents Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan

AAAI 2005 Old Resolution Meets Modern SLS Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar

AAAI 2005 SAT-Based Versus CSP-Based Constraint Weighting for Satisfiability Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi

IJCAI 1999 A New Framework for Reasoning About Points, Intervals and Durations Arun K. Pujari, Abdul Sattar

ALT 1998 Learning from Entailment of Logic Programs with Local Variables M. R. K. Krishna Rao, Abdul Sattar

AAAI 1998 Temporal Reasoning with Qualitative and Quantitative Information About Points and Durations Rattana Wetprasit, Abdul Sattar

AAAI 1998 Using Arc Weights to Improve Iterative Repair John Thornton, Abdul Sattar