The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Abdul Sattar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anbulagan, Duc Nghia Pham, John K. Slaney, Abdul Sattar
    Old Resolution Meets Modern SLS. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:354-359 [Conf]
  2. Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi
    SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:455-460 [Conf]
  3. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
    Observation-based Model for BDI-Agents. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:190-195 [Conf]
  4. John Thornton, Abdul Sattar
    Using Arc Weights to Improve Iterative Repair. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:367-372 [Conf]
  5. Kewen Wang, Abdul Sattar, Kaile Su
    A Theory of Forgetting in Logic Programming. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:682-688 [Conf]
  6. Rattana Wetprasit, Abdul Sattar
    Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:656-663 [Conf]
  7. Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
    Code Improvements for Model Elimination Based Reasoning Systems. [Citation Graph (0, 0)][DBLP]
    ACSC, 2004, pp:233-240 [Conf]
  8. Richard A. Hagen, Abdul Sattar
    Improving Search in a Hypothetical Reasoning System. [Citation Graph (0, 0)][DBLP]
    ACSC, 2003, pp:45-53 [Conf]
  9. Bela Stantic, Guido Governatori, Abdul Sattar
    Handling of current time in native XML databases. [Citation Graph (0, 0)][DBLP]
    ADC, 2006, pp:175-182 [Conf]
  10. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
    A Constraint Directed Model for Partial Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2000, pp:26-39 [Conf]
  11. Lingzhong Zhou, Abdul Sattar, Scott D. Goodwin
    Handling Over-Constrained Problems in Distributed Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 2005, pp:13-24 [Conf]
  12. Rattana Wetprasit, Abdul Sattar, Lina Khatib
    Reasoning with Multi-Point Events. [Citation Graph (0, 0)][DBLP]
    Canadian Conference on AI, 1996, pp:26-40 [Conf]
  13. M. R. K. Krishna Rao, Abdul Sattar
    Learning from Entailment of Logic Programs with Local Variables. [Citation Graph (0, 0)][DBLP]
    ALT, 1998, pp:143-157 [Conf]
  14. Zhiyi Huang, Wan-Ju Lei, Chengzheng Sun, Abdul Sattar
    Heuristic Diff Acquiring in Lazy Release Consistency Model. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:98-109 [Conf]
  15. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Exploring Regional Locality in Distributed Shared Memory. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:142-156 [Conf]
  16. John Thornton, Abdul Sattar
    An Integer Programming-Based Nurse Rostering System. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:357-358 [Conf]
  17. Rattana Wetprasit, Abdul Sattar, Lina Khatib
    A Generalized Framework for Reasoning with Multi-Point Events. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:121-135 [Conf]
  18. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
    Guaranteed Mutually Consistent Checkpointing in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1998, pp:157-168 [Conf]
  19. Timothy William Cleaver, Abdul Sattar, Raihana Ferdous
    User defined monitoring strategies for BDI agent programs. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1055-1057 [Conf]
  20. Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
    Bounded model checking knowledge and branching time in synchronous multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1129-1130 [Conf]
  21. Kaile Su, Xiangyu Luo, Abdul Sattar, Mehmet A. Orgun
    The interpreted system model of knowledge, belief, desire and intention. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:220-222 [Conf]
  22. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
    A computationally grounded logic of knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:149-156 [Conf]
  23. Fu-Leung Cheng, Thomas Eiter, Nathan Robinson, Abdul Sattar, Kewen Wang
    LPForget: A System of Forgetting in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:1101-1105 [Conf]
  24. Owen Bourne, Abdul Sattar
    Applying Constraint Satisfaction Techniques to 3D Camera Control. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2004, pp:658-669 [Conf]
  25. Anbulagan, John Thornton, Abdul Sattar
    Dynamic Variable Filtering for Hard Random 3-SAT Problems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:100-111 [Conf]
  26. Stuart Bain, John Thornton, Abdul Sattar
    A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:1068-1074 [Conf]
  27. Matthew Beaumont, Abdul Sattar, Michael J. Maher, John Thornton
    Solving Overconstrained Temporal Reasoning Problems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:37-49 [Conf]
  28. Timothy William Cleaver, Abdul Sattar, Kewen Wang
    Reasoning with the Outcomes of Plan Execution in Intentional Agents. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:60-69 [Conf]
  29. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
    A Defeasible Logic of Policy-Based Intention. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:723- [Conf]
  30. Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar
    An Investigation of Variable Relationships in 3-SAT Problems. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:579-590 [Conf]
  31. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
    Verification of Multi-agent Systems Via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:69-78 [Conf]
  32. Vineet Padmanabhan, Guido Governatori, Abdul Sattar
    Actions Made Explicit in BDI. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:390-401 [Conf]
  33. Arun K. Pujari, G. Vijaya Kumari, Abdul Sattar
    INDU: An Interval and Duration Network. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1999, pp:291-303 [Conf]
  34. M. R. K. Krishna Rao, Abdul Sattar
    Learning Logic Programs with Local Variables from Positive Examples. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1999, pp:469-471 [Conf]
  35. John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham
    A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:603-614 [Conf]
  36. John Thornton, Abdul Sattar
    Applied Partial Constraint Satisfaction Using Weighted Iterative Repair. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1997, pp:57-66 [Conf]
  37. Lingzhong Zhou, John Thornton, Abdul Sattar
    Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:427-439 [Conf]
  38. Owen Bourne, Abdul Sattar
    Applying Constraint Satisfaction Techniques to 3D Camera Control. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:811- [Conf]
  39. Stuart Bain, John Thornton, Abdul Sattar
    Evolving Variable-Ordering Heuristics for Constrained Optimisation. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:732-736 [Conf]
  40. Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham
    Adaptive Clause Weight Redistribution. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:229-243 [Conf]
  41. Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham
    Neighbourhood Clause Weight Redistribution in Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:772-776 [Conf]
  42. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton
    On Dual Encodings for Non-binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:531-536 [Conf]
  43. Duc Nghia Pham, John Thornton, Abdul Sattar
    Towards an Efficient SAT Encoding for Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:421-436 [Conf]
  44. Abdul Sattar, Aditya Ghose, Randy Goebel
    Specifying Over-Constrained Problems in Default Logic. [Citation Graph (0, 0)][DBLP]
    Over-Constrained Systems, 1995, pp:253-264 [Conf]
  45. John Thornton, Abdul Sattar
    On the Behavior and Application of Constraint Weighting. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:446-460 [Conf]
  46. Bela Stantic, Justin Terry, Abdul Sattar
    Logical Query Transformation in Bitemporal Databases. [Citation Graph (0, 0)][DBLP]
    Databases and Applications, 2004, pp:7-12 [Conf]
  47. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
    Nonbinary Constraint Satisfaction: From the Dual to the Primal. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2001, pp:350-354 [Conf]
  48. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
    Extending Dual Arc Consistency. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2002, pp:192-197 [Conf]
  49. Lingzhong Zhou, John Thornton, Abdul Sattar
    Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2004, pp:- [Conf]
  50. Chengzheng Sun, Zhiyi Huang, Wan-Ju Lei, Abdul Sattar
    Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:572-581 [Conf]
  51. Abdul Sattar, Randy Goebel
    Meta-reasoning: An Incremental Compilation Approach. [Citation Graph (0, 10)][DBLP]
    ICDE, 1991, pp:140-149 [Conf]
  52. Jane You, S. Hungenahally, Abdul Sattar
    Fractional Discrimination for Texture Image Segmentation. [Citation Graph (0, 0)][DBLP]
    ICIP (1), 1997, pp:220-223 [Conf]
  53. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:410- [Conf]
  54. Abdul Sattar, Randy Goebel
    On the Efficiency of Logic-Based Diagnosis. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 1), 1990, pp:23-31 [Conf]
  55. Arun K. Pujari, Abdul Sattar
    A New Framework for Reasoning about Points, Intervals and Durations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:1259-1267 [Conf]
  56. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
    Computationally Grounded Model of BDI-Agents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1581-1582 [Conf]
  57. Duc Nghia Pham, John Thornton, Abdul Sattar
    Building Structure into Local Search for SAT. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2359-2364 [Conf]
  58. Zhonghua Yang, Chengzheng Sun, Abdul Sattar, Yanyan Yang
    A New Look At Multimedia Synchronization in Distributed Environments. [Citation Graph (0, 0)][DBLP]
    ISPAN, 1999, pp:322-327 [Conf]
  59. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
    On Fibring Semantics for BDI Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:198-210 [Conf]
  60. Kaile Su, Weiya Yue, Abdul Sattar, Mehmet A. Orgun, Xiangyu Luo
    Observation-Based Logic of Knowledge, Belief, Desire and Intention. [Citation Graph (0, 0)][DBLP]
    KSEM, 2006, pp:366-378 [Conf]
  61. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Selective Recomputation for Handling Side-Effects in Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:275-289 [Conf]
  62. Stuart Bain, John Thornton, Abdul Sattar
    Methods of Automatic Algorithm Generation. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:144-153 [Conf]
  63. Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher
    Solving Over-Constrained Temporal Reasoning Problems Using Local Search. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2004, pp:134-143 [Conf]
  64. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
    Dual Encoding Using Constraint Coverings. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:457-468 [Conf]
  65. M. R. K. Krishna Rao, Abdul Sattar
    Learning Linearly-Moded Programs from Entailment. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:482-493 [Conf]
  66. John Thornton, Abdul Sattar
    Dynamic Constraint Weighting for Over-Constrained Problems. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:377-388 [Conf]
  67. Rattana Wetprasit, Abdul Sattar, Matthew Beaumont
    An Experimental Study of Reasoning with Sequences of Point Events. [Citation Graph (0, 0)][DBLP]
    PRICAI, 1998, pp:317-328 [Conf]
  68. Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Abdul Sattar
    Merging and Aligning Ontologies in dl-Programs. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:160-171 [Conf]
  69. Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar
    Changing Conditional Belief Unconditionally. [Citation Graph (0, 0)][DBLP]
    TARK, 1996, pp:119-135 [Conf]
  70. Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel
    Belief Revision in a Discrete Temporal Probability-Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 1994, pp:113-120 [Conf]
  71. Bela Stantic, John Thornton, Abdul Sattar
    A Novel Approach to Model NOW in Temporal Databases. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:174-180 [Conf]
  72. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    Applying Local Search to Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    TIME, 2002, pp:94-99 [Conf]
  73. Isabel Navarrete, Abdul Sattar, Roque Marín
    Deciding consistency of a point-duration network with metric constraints. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:147-154 [Conf]
  74. Vineet Padmanabhan, Abdul Sattar, Arun K. Pujari, Chinmoy Goswami
    Temporal Reasoning: A Three Way Analysis. [Citation Graph (0, 0)][DBLP]
    TIME, 2000, pp:183-190 [Conf]
  75. Rattana Wetprasit, Abdul Sattar
    Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TIME, 1998, pp:69-73 [Conf]
  76. Rattana Wetprasit, Abdul Sattar, Lina Khatib
    Reasoning with Sequences of Point Events. [Citation Graph (0, 0)][DBLP]
    TIME, 1996, pp:- [Conf]
  77. Owen Bourne, Abdul Sattar
    Applying Constraint Weighting to Autonomous Camera Control. [Citation Graph (0, 0)][DBLP]
    AIIDE, 2005, pp:3-8 [Conf]
  78. Isabel Navarrete, Abdul Sattar, Rattana Wetprasit, Roque Marín
    On point-duration networks for temporal reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:140, n:1/2, pp:39-70 [Journal]
  79. Abdul Sattar, Randy Goebel
    Using crucial literals to select better theories. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1991, v:7, n:, pp:11-22 [Journal]
  80. Rattana Wetprasit, Abdul Sattar, Lina Khatib
    Representation and Reasoning with Multi-Point Events. [Citation Graph (0, 0)][DBLP]
    Constraints, 2000, v:5, n:3, pp:211-249 [Journal]
  81. Zhonghua Yang, Chengzheng Sun, Yuan Miao, Abdul Sattar, Yanyan Yang
    Guaranteed Mutually Consistent Checkpointing in Distributed Computations. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2000, v:11, n:1, pp:153-166 [Journal]
  82. Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar
    Extending Dual Arc Consistency. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 2003, v:17, n:5, pp:781-815 [Journal]
  83. Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar
    Connections Between Default Reasoning and Partial Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:117, n:3-4, pp:177-190 [Journal]
  84. Mark Reynolds, Abdul Sattar
    Editors' introduction. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:117-118 [Journal]
  85. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xi-Zhong Zheng
    Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:6, pp:932-943 [Journal]
  86. John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
    A Local Search Approach to Modelling and Solving Interval Algebra Problems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:1, pp:93-112 [Journal]
  87. Abdul Sattar, Randy Goebel
    Consistency-Motivated Reason Maintenance in Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1997, v:15, n:2, pp:163-186 [Journal]
  88. M. R. K. Krishna Rao, Abdul Sattar
    Polynomial-time learnability of logic programs with local variables from entailment. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:268, n:2, pp:179-198 [Journal]
  89. Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
    A Modal Logic for Beliefs and Pro Attitudes. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:496-501 [Conf]
  90. Timothy William Cleaver, Abdul Sattar
    Intention Guided Belief Revision. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:36-41 [Conf]
  91. Kaile Su, Abdul Sattar, Xiangyu Luo
    Model Checking Temporal Logics of Knowledge Via OBDDs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2007, v:50, n:4, pp:403-420 [Journal]
  92. Zhiyi Huang, Chengzheng Sun, Abdul Sattar
    Handling side-effects and cuts with selective recomputation in parallel Prolog. [Citation Graph (0, 0)][DBLP]
    Future Generation Comp. Syst., 2000, v:17, n:3, pp:227-245 [Journal]

  93. Trust Management Scheme for Mobile Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  94. Efficiently Exploiting Dependencies in Local Search for SAT. [Citation Graph (, )][DBLP]


  95. An Extended Interpreted System Model for Epistemic Logics. [Citation Graph (, )][DBLP]


  96. Indexing Temporal Data with Virtual Structure. [Citation Graph (, )][DBLP]


  97. Correcting Missing Data Anomalies with Clausal Defeasible Logic. [Citation Graph (, )][DBLP]


  98. Trust Formalization in Mobile Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  99. A Compact and Efficient SAT Encoding for Planning. [Citation Graph (, )][DBLP]


  100. SAT-Based Parallel Planning Using a Split Representation of Actions. [Citation Graph (, )][DBLP]


  101. Theories of Trust for Communication Protocols. [Citation Graph (, )][DBLP]


  102. Advances in Local Search for Satisfiability. [Citation Graph (, )][DBLP]


  103. Weight Redistribution for Unweighted MAX-SAT. [Citation Graph (, )][DBLP]


  104. Levels of Modalities for BDI Logic. [Citation Graph (, )][DBLP]


  105. Solving Sum and Product Riddle via BDD-Based Model Checking. [Citation Graph (, )][DBLP]


  106. An Efficient Algorithm for Solving Dynamic Complex DCOP Problems. [Citation Graph (, )][DBLP]


  107. Temporalised Epistemic Logic for Reasoning about Agent-Based Systems. [Citation Graph (, )][DBLP]


  108. Quantifying Commitment. [Citation Graph (, )][DBLP]


  109. Partial Weighted MaxSAT for Optimal Planning. [Citation Graph (, )][DBLP]


  110. Reasoning with Levels of Modalities in BDI Logic. [Citation Graph (, )][DBLP]


  111. DFS Based Partial Pathways in GA for Protein Structure Prediction. [Citation Graph (, )][DBLP]


  112. Protein folding prediction in 3D FCC HP lattice model using genetic algorithm. [Citation Graph (, )][DBLP]


  113. Parallel Vision Computing on a Network of Workstation Clusters. [Citation Graph (, )][DBLP]


  114. Modelling and solving temporal reasoning as propositional satisfiability. [Citation Graph (, )][DBLP]


  115. Reinforcement learning of iterative behaviour with multiple sensors. [Citation Graph (, )][DBLP]


  116. Iterated Belief Change. [Citation Graph (, )][DBLP]


  117. A Constraint-Based Autonomous 3D Camera System. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.610secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002