dblp.uni-trier.dewww.uni-trier.de

Abdul Sattar Vis

Griffith University, Brisbane, Queensland, Australia

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
113EEJi Ma, Mehmet A. Orgun, Abdul Sattar: Theories of Trust for Communication Protocols. ATC 2009: 236-248
112EEGuido 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
111 Duc Nghia Pham, John Thornton, Abdul Sattar: Efficiently Exploiting Dependencies in Local Search for SAT. AAAI 2008: 1476-1478
110 Kaile Su, Abdul Sattar: An Extended Interpreted System Model for Epistemic Logics. AAAI 2008: 554-559
109 Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar: A Compact and Efficient SAT Encoding for Planning. ICAPS 2008: 296-303
108EETamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul Sattar: DFS Based Partial Pathways in GA for Protein Structure Prediction. PRIB 2008: 41-53
107EETimothy William Cleaver, Abdul Sattar: Quantifying Commitment. PRICAI 2008: 54-65
106EEXiangyu Luo, Kaile Su, Abdul Sattar, Yan Chen: Solving Sum and Product Riddle via BDD-Based Model Checking. Web Intelligence/IAT Workshops 2008: 630-633
105EEJeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
104EEDuc Nghia Pham, John Thornton, Abdul Sattar: Modelling and solving temporal reasoning as propositional satisfiability. Artif. Intell. 172(15): 1752-1782 (2008)
103EEOwen Bourne, Abdul Sattar, Scott D. Goodwin: A Constraint-Based Autonomous 3D Camera System. Constraints 13(1-2): 180-205 (2008)
102EEDuc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Combining Adaptive and Dynamic Local Search for Satisfiability. JSAT 4(2-4): 149-172 (2008)
2007
101 Timothy William Cleaver, Abdul Sattar: Intention Guided Belief Revision. AAAI 2007: 36-41
100 Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
99EEDuc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar: Advances in Local Search for Satisfiability. Australian Conference on Artificial Intelligence 2007: 213-222
98EEAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar: Weight Redistribution for Unweighted MAX-SAT. Australian Conference on Artificial Intelligence 2007: 687-693
97EETamjidul 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
96EEDuc Nghia Pham, John Thornton, Abdul Sattar: Building Structure into Local Search for SAT. IJCAI 2007: 2359-2364
95EEJeff Blee, David Billington, Abdul Sattar: Reasoning with Levels of Modalities in BDI Logic. PRIMA 2007: 410-415
94EEKaile Su, Abdul Sattar, Xiangyu Luo: Model Checking Temporal Logics of Knowledge Via OBDDs. Comput. J. 50(4): 403-420 (2007)
2006
93 Abdul 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
92EETimothy William Cleaver, Abdul Sattar, Raihana Ferdous: User defined monitoring strategies for BDI agent programs. AAMAS 2006: 1055-1057
91EEKaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun: The interpreted system model of knowledge, belief, desire and intention. AAMAS 2006: 220-222
90EEBela Stantic, Guido Governatori, Abdul Sattar: Handling of current time in native XML databases. ADC 2006: 175-182
89EEFu-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
88EEXiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78
87EEAbdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham: Adaptive Clause Weight Redistribution. CP 2006: 229-243
86EEDuc Nghia Pham, John Thornton, Abdul Sattar: Towards an Efficient SAT Encoding for Temporal Reasoning. CP 2006: 421-436
85EEKaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo: Observation-Based Logic of Knowledge, Belief, Desire and Intention. KSEM 2006: 366-378
84EEMark Reynolds, Abdul Sattar: Editors' introduction. J. Applied Logic 4(2): 117-118 (2006)
83EEKaile 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
82 Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
81  Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar: Old Resolution Meets Modern SLS. AAAI 2005: 354-359
80 Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi: SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. AAAI 2005: 455-460
79 Kewen Wang, Abdul Sattar, Kaile Su: A Theory of Forgetting in Logic Programming. AAAI 2005: 682-688
78EEXiangyu 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
77EEKaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
76 Owen Bourne, Abdul Sattar: Applying Constraint Weighting to Autonomous Camera Control. AIIDE 2005: 3-8
75EEStuart 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
74EETimothy William Cleaver, Abdul Sattar, Kewen Wang: Reasoning with the Outcomes of Plan Execution in Intentional Agents. Australian Conference on Artificial Intelligence 2005: 60-69
73EEStuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
72EEAbdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham: Neighbourhood Clause Weight Redistribution in Local Search for SAT. CP 2005: 772-776
71EELingzhong Zhou, Abdul Sattar, Scott D. Goodwin: Handling Over-Constrained Problems in Distributed Multi-agent Systems. Canadian Conference on AI 2005: 13-24
70EEKaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
69EEKewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar: Merging and Aligning Ontologies in dl-Programs. RuleML 2005: 160-171
2004
68EERichard A. Hagen, Scott D. Goodwin, Abdul Sattar: Code Improvements for Model Elimination Based Reasoning Systems. ACSC 2004: 233-240
67EEOwen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. Australian Conference on Artificial Intelligence 2004: 658-669
66EEOwen Bourne, Abdul Sattar: Applying Constraint Satisfaction Techniques to 3D Camera Control. CP 2004: 811
65 Bela Stantic, Justin Terry, Abdul Sattar: Logical Query Transformation in Bitemporal Databases. Databases and Applications 2004: 7-12
64 Lingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. FLAIRS Conference 2004
63EEMatthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher: Solving Over-Constrained Temporal Reasoning Problems Using Local Search. PRICAI 2004: 134-143
62EEStuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
61EEJohn 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
60EERichard A. Hagen, Abdul Sattar: Improving Search in a Hypothetical Reasoning System. ACSC 2003: 45-53
59EE Anbulagan, John Thornton, Abdul Sattar: Dynamic Variable Filtering for Hard Random 3-SAT Problems. Australian Conference on Artificial Intelligence 2003: 100-111
58EELingzhong Zhou, John Thornton, Abdul Sattar: Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. Australian Conference on Artificial Intelligence 2003: 427-439
57EEIsabel Navarrete, Abdul Sattar, Roque Marín: Deciding consistency of a point-duration network with metric constraints. TIME 2003: 147-154
56EEBela Stantic, John Thornton, Abdul Sattar: A Novel Approach to Model NOW in Temporal Databases. TIME 2003: 174-180
55EESivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. IJPRAI 17(5): 781-815 (2003)
2002
54 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
53EEOlena 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
52EEJohn 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
51EEGuido Governatori, Vineet Padmanabhan, Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
50 Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Extending Dual Arc Consistency. FLAIRS Conference 2002: 192-197
49EEGuido Governatori, Vineet Padmanabhan, Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
48EEJohn Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher: Applying Local Search to Temporal Reasoning. TIME 2002: 94-99
47EEIsabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín: On point-duration networks for temporal reasoning. Artif. Intell. 140(1/2): 39-70 (2002)
2001
46EEMatthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton: Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001: 37-49
45EEVineet Padmanabhan, Guido Governatori, Abdul Sattar: Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401
44 Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Nonbinary Constraint Satisfaction: From the Dual to the Primal. FLAIRS Conference 2001: 350-354
43EEM. 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
42EESivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton: On Dual Encodings for Non-binary Constraint Satisfaction Problems. CP 2000: 531-536
41EESivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: A Constraint Directed Model for Partial Constraint Satisfaction Problems. Canadian Conference on AI 2000: 26-39
40 Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar: Dual Encoding Using Constraint Coverings. PRICAI 2000: 457-468
39EEVineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami: Temporal Reasoning: A Three Way Analysis. TIME 2000: 183-190
38 Rattana Wetprasit, Abdul Sattar, Lina Khatib: Representation and Reasoning with Multi-Point Events. Constraints 5(3): 211-249 (2000)
37EEZhiyi 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)
36 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)
1999
35EEArun K. Pujari, G. Vijaya Kumari, Abdul Sattar: INDU: An Interval and Duration Network. Australian Joint Conference on Artificial Intelligence 1999: 291-303
34EEM. R. K. Krishna Rao, Abdul Sattar: Learning Logic Programs with Local Variables from Positive Examples. Australian Joint Conference on Artificial Intelligence 1999: 469-471
33 John Thornton, Abdul Sattar: On the Behavior and Application of Constraint Weighting. CP 1999: 446-460
32 Arun K. Pujari, Abdul Sattar: A New Framework for Reasoning about Points, Intervals and Durations. IJCAI 1999: 1259-1267
31EEZhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: A New Look At Multimedia Synchronization in Distributed Environments. ISPAN 1999: 322-327
30 Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
1998
29 John Thornton, Abdul Sattar: Using Arc Weights to Improve Iterative Repair. AAAI/IAAI 1998: 367-372
28 Rattana Wetprasit, Abdul Sattar: Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. AAAI/IAAI 1998: 656-663
27EEM. R. K. Krishna Rao, Abdul Sattar: Learning from Entailment of Logic Programs with Local Variables. ALT 1998: 143-157
26EEZhiyi Huang, Chengzheng Sun, Abdul Sattar: Exploring Regional Locality in Distributed Shared Memory. ASIAN 1998: 142-156
25EEZhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang: Guaranteed Mutually Consistent Checkpointing in Distributed Computations. ASIAN 1998: 157-168
24EEChengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar: Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. ICDCS 1998: 572-581
23EEJane You, Abdul Sattar, Ljubo Vlavic: Parallel Vision Computing on a Network of Workstation Clusters. MVA 1998: 140-143
22EERattana Wetprasit, Abdul Sattar, Matthew Beaumont: An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998: 317-328
21EEJohn Thornton, Abdul Sattar: Dynamic Constraint Weighting for Over-Constrained Problems. PRICAI 1998: 377-388
20EEM. R. K. Krishna Rao, Abdul Sattar: Learning Linearly-Moded Programs from Entailment. PRICAI 1998: 482-493
19EERattana Wetprasit, Abdul Sattar: Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). TIME 1998: 69-73
1997
18 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
17 Rattana Wetprasit, Abdul Sattar, Lina Khatib: A Generalized Framework for Reasoning with Multi-Point Events. ASIAN 1997: 121-135
16 Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar: Heuristic Diff Acquiring in Lazy Release Consistency Model. ASIAN 1997: 98-109
15EEJohn Thornton, Abdul Sattar: Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. Australian Joint Conference on Artificial Intelligence 1997: 57-66
14EEJane You, S. Hungenahally, Abdul Sattar: Fractional Discrimination for Texture Image Segmentation. ICIP (1) 1997: 220-223
13 Zhiyi Huang, Chengzheng Sun, Abdul Sattar: Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. ICLP 1997: 410
12EEZhiyi Huang, Chengzheng Sun, Abdul Sattar: Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. PLILP 1997: 275-289
11 Abdul Sattar, Randy Goebel: Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. New Generation Comput. 15(2): 163-186 (1997)
1996
10 John Thornton, Abdul Sattar: An Integer Programming-Based Nurse Rostering System. ASIAN 1996: 357-358
9 Rattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Multi-Point Events. Canadian Conference on AI 1996: 26-40
8 Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar: Changing Conditional Belief Unconditionally. TARK 1996: 119-135
7 Rattana Wetprasit, Abdul Sattar, Lina Khatib: Reasoning with Sequences of Point Events. TIME 1996
1995
6 Abdul Sattar, Aditya Ghose, Randy Goebel: Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995: 253-264
1994
5EEScott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel: Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994: 113-120
4EEPushkar Piggott, Abdul Sattar: Reinforcement learning of iterative behaviour with multiple sensors. Appl. Intell. 4(4): 351-365 (1994)
1991
3EEAbdul 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)
1990
1EEAbdul Sattar, Randy Goebel: On the Efficiency of Logic-Based Diagnosis. IEA/AIE (Vol. 1) 1990: 23-31

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)