Abdul Sattar Home Page Coauthor index DBLP Vis 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 keys2009
115Electronic 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
114Electronic 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
113Electronic 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
112Electronic 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
111no 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
110no 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
109no 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
108Electronic 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
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar: Quantifying Commitment. PRICAI 2008: 54-65
106Electronic 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
105Electronic 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
104Electronic 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)
103Electronic 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)
102Electronic 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
101no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy William Cleaver, Abdul Sattar: Intention Guided Belief Revision. AAAI 2007: 36-41
100no 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
99Electronic 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
98Electronic 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
97Electronic 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
96Electronic 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
95Electronic 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
94Electronic 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
93no 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
92Electronic 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
91Electronic 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
90Electronic 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
89Electronic 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
88Electronic 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
87Electronic 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
86Electronic 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
85Electronic 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Reynolds, Abdul Sattar: Editors' introduction. J. Applied Logic 4(2): 117-118 (2006)
83Electronic 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
82no 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
81no 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
80no 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
79no 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
78Electronic 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
77Electronic 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
76no 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
75Electronic 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
74Electronic 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
73Electronic 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
72Electronic 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
71Electronic 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
70Electronic 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
69Electronic 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
68Electronic 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
67Electronic 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
66Electronic 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
65no 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
64no 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
63Electronic 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
62Electronic 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
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
40no EE 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
38no EE 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
33no EE 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
30no EE 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
17no EE 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
16no EE 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
11no EE 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358
9no EE 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
6no EE 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
2no EE 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 [113]
2 Anbulagan [59] [81] [87]
3Grigoris Antoniou [30] [69]
4Stuart Bain [52] [62] [73] [75]
5Matthew Beaumont [22] [46] [48] [61] [63]
6David Billington [95] [105]
7Jeff Blee [95] [105]
8Owen Bourne [66] [67] [76] [103]
9Qingliang Chen [77] [78] [83]
10Yan Chen [106]
11Fu-Leung Cheng [89]
12Madhu Chetty [97] [108]
13Timothy William Cleaver [74] [92] [101] [107]
14Thomas Eiter [89]
15Raihana Ferdous [92]
16Norman Y. Foo [8]
17Aditya K. Ghose (Aditya Ghose) [6] [30]
18Randy Goebel [1] [2] [3] [6] [11] [30]
19Scott D. Goodwin [5] [40] [41] [42] [44] [50] [55] [68] [71] [103]
20Chinmoy Goswami [39]
21Guido Governatori [45] [49] [51] [70] [77] [82] [90] [105] [112]
22Charles Gretton [99] [102] [109]
23Richard A. Hagen [60] [68]
24Howard J. Hamilton [5]
25David Hansen [114]
26Tamjidul Hoque [97] [108]
27Zhiyi Huang [12] [13] [16] [24] [26] [37]
28S. Hungenahally [14]
29Mitsuru Ishizuka [54]
30Abdelraouf Ishtaiwi [72] [80] [87] [98]
31Byeong Ho Kang [93]
32Sankalp Khanna [114]
33Lina Khatib [7] [9] [17] [38]
34Olena Kravchuk [53]
35G. Vijaya Kumari [35]
36Wan-Ju Lei [16] [24]
37Andrew Lewis [108]
38Han Lin [100]
39Xiangyu Luo [78] [82] [85] [88] [91] [94] [106]
40Guanfeng Lv [78] [83]
41Ji Ma [113] [115]
42Michael J. Maher [46] [48] [61] [63]
43Roque Marín [47] [57]
44Yuan Miao [36]
45Sivakumar Nagarajan [40] [41] [42] [44] [50] [55]
46Isabel Navarrete [47] [57]
47Abhaya C. Nayak [8]
48Eric Neufeld [5]
49Mehmet A. Orgun [85] [91] [113] [115]
50Vineet Padmanabhan [39] [45] [49] [51] [82] [112]
51Maurice Pagnucco [8]
52Duc Nghia Pham [52] [72] [80] [81] [86] [87] [96] [99] [102] [104] [109] [111]
53Pushkar Piggott [4]
54Arun K. Pujari [32] [35] [39]
55Wayne J. Pullan [53]
56M. R. K. Krishna Rao [20] [27] [34] [43]
57Mark Reynolds [84] [88] [100]
58Nathan Robinson [89] [109]
59Antonino Rotolo [112]
60John K. Slaney [81]
61Bela Stantic [56] [65] [90] [114]
62Kaile Su [70] [77] [78] [79] [82] [83] [85] [88] [91] [94] [100] [106] [110]
63Chengzheng Sun [12] [13] [16] [24] [25] [26] [31] [36] [37]
64Justin Terry [65]
65John Thornton [10] [15] [21] [29] [33] [42] [46] [48] [52] [53] [56] [58] [59] [61] [62] [63] [64] [72] [73] [75] [80] [86] [87] [96] [98] [99] [102] [104] [111]
66Rodney W. Topor [69]
67André Trudel [5]
68Ljubo Vlavic [23]
69Kewen Wang [69] [70] [74] [79] [82] [89]
70Rattana Wetprasit [7] [9] [17] [19] [22] [28] [38] [47]
71Yanyan Yang [25] [31] [36]
72Zhonghua Yang [25] [31] [36]
73Jane You (Jia Jane You) [14] [23]
74Weiya Yue [83] [85]
75Xizhong Zheng [83]
76Lingzhong Zhou [58] [64] [71]

Colors in the list of coauthors

Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)