| 2008 |
|---|
| 98 | EE | Owen Bourne,
Abdul Sattar,
Scott D. Goodwin:
A Constraint-Based Autonomous 3D Camera System.
Constraints 13(1-2): 180-205 (2008) |
| 2007 |
|---|
| 97 | | Timothy William Cleaver,
Abdul Sattar:
Intention Guided Belief Revision.
AAAI 2007: 36-41 |
| 96 | | Kaile Su,
Abdul Sattar,
Han Lin,
Mark Reynolds:
A Modal Logic for Beliefs and Pro Attitudes.
AAAI 2007: 496-501 |
| 95 | EE | Duc Nghia Pham,
John Thornton,
Charles Gretton,
Abdul Sattar:
Advances in Local Search for Satisfiability.
Australian Conference on Artificial Intelligence 2007: 213-222 |
| 94 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar:
Weight Redistribution for Unweighted MAX-SAT.
Australian Conference on Artificial Intelligence 2007: 687-693 |
| 93 | EE | Duc Nghia Pham,
John Thornton,
Abdul Sattar:
Building Structure into Local Search for SAT.
IJCAI 2007: 2359-2364 |
| 92 | EE | Kaile Su,
Abdul Sattar,
Xiangyu Luo:
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J. 50(4): 403-420 (2007) |
| 2006 |
|---|
| 91 | | 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 |
| 90 | EE | Timothy William Cleaver,
Abdul Sattar,
Raihana Ferdous:
User defined monitoring strategies for BDI agent programs.
AAMAS 2006: 1055-1057 |
| 89 | EE | Kaile Su,
Xiangyu Luo,
Abdul Sattar,
Mehmet A. Orgun:
The interpreted system model of knowledge, belief, desire and intention.
AAMAS 2006: 220-222 |
| 88 | EE | Bela Stantic,
Guido Governatori,
Abdul Sattar:
Handling of current time in native XML databases.
ADC 2006: 175-182 |
| 87 | EE | Fu-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 |
| 86 | EE | Xiangyu Luo,
Kaile Su,
Abdul Sattar,
Mark Reynolds:
Verification of Multi-agent Systems Via Bounded Model Checking.
Australian Conference on Artificial Intelligence 2006: 69-78 |
| 85 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Anbulagan,
Abdul Sattar,
Duc Nghia Pham:
Adaptive Clause Weight Redistribution.
CP 2006: 229-243 |
| 84 | EE | Duc Nghia Pham,
John Thornton,
Abdul Sattar:
Towards an Efficient SAT Encoding for Temporal Reasoning.
CP 2006: 421-436 |
| 83 | EE | Kaile Su,
Weiya Yue,
Abdul Sattar,
Mehmet A. Orgun,
Xiangyu Luo:
Observation-Based Logic of Knowledge, Belief, Desire and Intention.
KSEM 2006: 366-378 |
| 82 | EE | Mark Reynolds,
Abdul Sattar:
Editors' introduction.
J. Applied Logic 4(2): 117-118 (2006) |
| 81 | EE | Kaile 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 |
|---|
| 80 | | Kaile Su,
Abdul Sattar,
Kewen Wang,
Xiangyu Luo,
Guido Governatori,
Vineet Padmanabhan:
Observation-based Model for BDI-Agents.
AAAI 2005: 190-195 |
| 79 | | Anbulagan,
Duc Nghia Pham,
John K. Slaney,
Abdul Sattar:
Old Resolution Meets Modern SLS.
AAAI 2005: 354-359 |
| 78 | | Duc Nghia Pham,
John Thornton,
Abdul Sattar,
Abdelraouf Ishtaiwi:
SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.
AAAI 2005: 455-460 |
| 77 | | Kewen Wang,
Abdul Sattar,
Kaile Su:
A Theory of Forgetting in Logic Programming.
AAAI 2005: 682-688 |
| 76 | EE | Xiangyu 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 |
| 75 | EE | Kaile Su,
Abdul Sattar,
Guido Governatori,
Qingliang Chen:
A computationally grounded logic of knowledge, belief and certainty.
AAMAS 2005: 149-156 |
| 74 | | Owen Bourne,
Abdul Sattar:
Applying Constraint Weighting to Autonomous Camera Control.
AIIDE 2005: 3-8 |
| 73 | EE | Stuart 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 |
| 72 | EE | Timothy William Cleaver,
Abdul Sattar,
Kewen Wang:
Reasoning with the Outcomes of Plan Execution in Intentional Agents.
Australian Conference on Artificial Intelligence 2005: 60-69 |
| 71 | EE | Stuart Bain,
John Thornton,
Abdul Sattar:
Evolving Variable-Ordering Heuristics for Constrained Optimisation.
CP 2005: 732-736 |
| 70 | EE | Abdelraouf Ishtaiwi,
John Thornton,
Abdul Sattar,
Duc Nghia Pham:
Neighbourhood Clause Weight Redistribution in Local Search for SAT.
CP 2005: 772-776 |
| 69 | EE | Lingzhong Zhou,
Abdul Sattar,
Scott D. Goodwin:
Handling Over-Constrained Problems in Distributed Multi-agent Systems.
Canadian Conference on AI 2005: 13-24 |
| 68 | EE | Kaile Su,
Abdul Sattar,
Kewen Wang,
Guido Governatori:
Computationally Grounded Model of BDI-Agents.
IJCAI 2005: 1581-1582 |
| 67 | EE | Kewen Wang,
Grigoris Antoniou,
Rodney W. Topor,
Abdul Sattar:
Merging and Aligning Ontologies in dl-Programs.
RuleML 2005: 160-171 |
| 2004 |
|---|
| 66 | EE | Richard A. Hagen,
Scott D. Goodwin,
Abdul Sattar:
Code Improvements for Model Elimination Based Reasoning Systems.
ACSC 2004: 233-240 |
| 65 | EE | Owen Bourne,
Abdul Sattar:
Applying Constraint Satisfaction Techniques to 3D Camera Control.
Australian Conference on Artificial Intelligence 2004: 658-669 |
| 64 | EE | Owen Bourne,
Abdul Sattar:
Applying Constraint Satisfaction Techniques to 3D Camera Control.
CP 2004: 811 |
| 63 | | Bela Stantic,
Justin Terry,
Abdul Sattar:
Logical Query Transformation in Bitemporal Databases.
Databases and Applications 2004: 7-12 |
| 62 | | Lingzhong Zhou,
John Thornton,
Abdul Sattar:
Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems.
FLAIRS Conference 2004 |
| 61 | EE | Matthew Beaumont,
John Thornton,
Abdul Sattar,
Michael J. Maher:
Solving Over-Constrained Temporal Reasoning Problems Using Local Search.
PRICAI 2004: 134-143 |
| 60 | EE | Stuart Bain,
John Thornton,
Abdul Sattar:
Methods of Automatic Algorithm Generation.
PRICAI 2004: 144-153 |
| 59 | EE | John 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 |
|---|
| 58 | EE | Richard A. Hagen,
Abdul Sattar:
Improving Search in a Hypothetical Reasoning System.
ACSC 2003: 45-53 |
| 57 | EE | Anbulagan,
John Thornton,
Abdul Sattar:
Dynamic Variable Filtering for Hard Random 3-SAT Problems.
Australian Conference on Artificial Intelligence 2003: 100-111 |
| 56 | EE | Lingzhong Zhou,
John Thornton,
Abdul Sattar:
Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems.
Australian Conference on Artificial Intelligence 2003: 427-439 |
| 55 | EE | Isabel Navarrete,
Abdul Sattar,
Roque Marín:
Deciding consistency of a point-duration network with metric constraints.
TIME 2003: 147-154 |
| 54 | EE | Bela Stantic,
John Thornton,
Abdul Sattar:
A Novel Approach to Model NOW in Temporal Databases.
TIME 2003: 174-180 |
| 53 | EE | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar:
Extending Dual Arc Consistency.
IJPRAI 17(5): 781-815 (2003) |
| 2002 |
|---|
| 52 | | 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 |
| 51 | EE | 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 |
| 50 | EE | 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 |
| 49 | EE | Guido Governatori,
Vineet Padmanabhan,
Abdul Sattar:
A Defeasible Logic of Policy-Based Intention.
Australian Joint Conference on Artificial Intelligence 2002: 723 |
| 48 | | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar:
Extending Dual Arc Consistency.
FLAIRS Conference 2002: 192-197 |
| 47 | EE | Guido Governatori,
Vineet Padmanabhan,
Abdul Sattar:
On Fibring Semantics for BDI Logics.
JELIA 2002: 198-210 |
| 46 | EE | John Thornton,
Matthew Beaumont,
Abdul Sattar,
Michael J. Maher:
Applying Local Search to Temporal Reasoning.
TIME 2002: 94-99 |
| 45 | EE | Isabel Navarrete,
Abdul Sattar,
Rattana Wetprasit,
Roque Marín:
On point-duration networks for temporal reasoning.
Artif. Intell. 140(1/2): 39-70 (2002) |
| 2001 |
|---|
| 44 | EE | Matthew Beaumont,
Abdul Sattar,
Michael J. Maher,
John Thornton:
Solving Overconstrained Temporal Reasoning Problems.
Australian Joint Conference on Artificial Intelligence 2001: 37-49 |
| 43 | EE | Vineet Padmanabhan,
Guido Governatori,
Abdul Sattar:
Actions Made Explicit in BDI.
Australian Joint Conference on Artificial Intelligence 2001: 390-401 |
| 42 | | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar:
Nonbinary Constraint Satisfaction: From the Dual to the Primal.
FLAIRS Conference 2001: 350-354 |
| 41 | EE | 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) |
| 2000 |
|---|
| 40 | EE | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar,
John Thornton:
On Dual Encodings for Non-binary Constraint Satisfaction Problems.
CP 2000: 531-536 |
| 39 | EE | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar:
A Constraint Directed Model for Partial Constraint Satisfaction Problems.
Canadian Conference on AI 2000: 26-39 |
| 38 | | Sivakumar Nagarajan,
Scott D. Goodwin,
Abdul Sattar:
Dual Encoding Using Constraint Coverings.
PRICAI 2000: 457-468 |
| 37 | EE | Vineet Padmanabhan,
Abdul Sattar,
Arun K. Pujari,
Chinmoy Goswami:
Temporal Reasoning: A Three Way Analysis.
TIME 2000: 183-190 |
| 36 | | Rattana Wetprasit,
Abdul Sattar,
Lina Khatib:
Representation and Reasoning with Multi-Point Events.
Constraints 5(3): 211-249 (2000) |
| 35 | EE | Zhiyi 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) |
| 34 | | 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 |
|---|
| 33 | | Arun K. Pujari,
G. Vijaya Kumari,
Abdul Sattar:
INDU: An Interval and Duration Network.
Australian Joint Conference on Artificial Intelligence 1999: 291-303 |
| 32 | | 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 |
| 31 | | John Thornton,
Abdul Sattar:
On the Behavior and Application of Constraint Weighting.
CP 1999: 446-460 |
| 30 | | Arun K. Pujari,
Abdul Sattar:
A New Framework for Reasoning about Points, Intervals and Durations.
IJCAI 1999: 1259-1267 |
| 29 | EE | Zhonghua Yang,
Chengzheng Sun,
Abdul Sattar,
Yanyan Yang:
A New Look At Multimedia Synchronization in Distributed Environments.
ISPAN 1999: 322-327 |
| 28 | | 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 |
|---|
| 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 | EE | M. R. K. Krishna Rao,
Abdul Sattar:
Learning from Entailment of Logic Programs with Local Variables.
ALT 1998: 143-157 |
| 24 | EE | Zhiyi Huang,
Chengzheng Sun,
Abdul Sattar:
Exploring Regional Locality in Distributed Shared Memory.
ASIAN 1998: 142-156 |
| 23 | EE | Zhonghua Yang,
Chengzheng Sun,
Abdul Sattar,
Yanyan Yang:
Guaranteed Mutually Consistent Checkpointing in Distributed Computations.
ASIAN 1998: 157-168 |
| 22 | EE | 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 | EE | Rattana Wetprasit,
Abdul Sattar:
Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract).
TIME 1998: 69-73 |
| 1997 |
|---|
| 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 | EE | Jane 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 Comput. 15(2): 163-186 (1997) |
| 1996 |
|---|
| 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 |
| 1995 |
|---|
| 5 | | Abdul Sattar,
Aditya Ghose,
Randy Goebel:
Specifying Over-Constrained Problems in Default Logic.
Over-Constrained Systems 1995: 253-264 |
| 1994 |
|---|
| 4 | EE | Scott D. Goodwin,
Howard J. Hamilton,
Eric Neufeld,
Abdul Sattar,
André Trudel:
Belief Revision in a Discrete Temporal Probability-Logic.
TIME 1994: 113-120 |
| 1991 |
|---|
| 3 | EE | 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) |
| 1990 |
|---|
| 1 | EE | Abdul Sattar,
Randy Goebel:
On the Efficiency of Logic-Based Diagnosis.
IEA/AIE (Vol. 1) 1990: 23-31 |
