The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James Harland: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James Harland, Kotagiri Ramamohanarao
    Constraint Propagation for Linear Recursive Rules. [Citation Graph (3, 0)][DBLP]
    ICLP, 1993, pp:683-699 [Conf]
  2. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Database System [Citation Graph (3, 27)][DBLP]
    VLDB J., 1994, v:3, n:2, pp:245-288 [Journal]
  3. Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao
    Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. [Citation Graph (1, 6)][DBLP]
    EDBT, 1994, pp:59-72 [Conf]
  4. James Harland, Kotagiri Ramamohanarao
    Constraints for Query Optimization in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    Future Databases, 1992, pp:332-336 [Conf]
  5. Margaret Hamilton, James Harland, Lin Padgham
    Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. [Citation Graph (0, 0)][DBLP]
    ACE, 2003, pp:207-211 [Conf]
  6. Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland
    Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:205-214 [Conf]
  7. John Thangarajah, Lin Padgham, James Harland
    Representation and Reasoning for Goals in BDI Agents. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:259-265 [Conf]
  8. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: An Overview. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:391-405 [Conf]
  9. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: A System Demonstration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:599- [Conf]
  10. Simon Duff, James Harland, John Thangarajah
    On proactivity and maintenance goals. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1033-1040 [Conf]
  11. James Harland, Michael Winikoff
    Agent negotiation as proof search in linear logic. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:938-939 [Conf]
  12. Duc Q. Pham, James Harland
    Flexible agent protocols via temporal and resource-based reasoning. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:235-237 [Conf]
  13. Bình Vu Trân, James Harland, Margaret Hamilton
    Expectation: the logic of flexible motivation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1140-1141 [Conf]
  14. Michael Winikoff, Lin Padgham, James Harland
    Simplifying the Development of Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:557-568 [Conf]
  15. James Harland, David J. Pym
    Resource-Distribution via Boolean Constraint (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:222-236 [Conf]
  16. James Harland, Tatjana Lutovac, Michael Winikoff
    Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:254-268 [Conf]
  17. James Harland, Michael Winikoff
    Language Design Issues for Agents based on Linear Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CLIMA III, 2002, pp:79-93 [Conf]
  18. Bình Vu Trân, James Harland, Margaret Hamilton
    A Combined Logic of Expectation & Observation. A generalisation of BDI logics. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:155-172 [Conf]
  19. Michael Winikoff, Wei Liu, James Harland
    Enhancing Commitment Machines. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:198-220 [Conf]
  20. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Datebase System. [Citation Graph (0, 0)][DBLP]
    Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:161- [Conf]
  21. James Harland, Kotagiri Ramamohanarao
    An Aditi Implementation of a Flights Database. [Citation Graph (0, 0)][DBLP]
    Workshop on Programming with Logic Databases (Book), ILPS, 1993, pp:83-100 [Conf]
  22. James Harland, Kotagiri Ramamohanarao
    An Aditi Implementation of a Flights Database. [Citation Graph (0, 0)][DBLP]
    Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:6-17 [Conf]
  23. Bình Vu Trân, James Harland, Margaret Hamilton
    Expectation Reasoning Using Regret and Disappointment. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:74-78 [Conf]
  24. Toan Phung, Seng Wai Loke, James Harland
    Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. [Citation Graph (0, 0)][DBLP]
    IAT, 2003, pp:562-565 [Conf]
  25. James Harland
    A Clausal Form for the Completion of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:711-725 [Conf]
  26. James Harland
    On Normal Forms and Equivalence for Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:146-160 [Conf]
  27. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    Status of the Aditi Deductive Database System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:851- [Conf]
  28. Bình Vu Trân, James Harland, Margaret Hamilton
    Observation Expectation Reasoning in Agent Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:246-254 [Conf]
  29. Michael Winikoff, Lin Padgham, James Harland, John Thangarajah
    Declarative & Procedural Goals in Intelligent Agent Systems. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:470-481 [Conf]
  30. James Harland, David J. Pym
    On Resolution in Fragments of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:30-41 [Conf]
  31. Abdullah-Al Amin, Michael Winikoff, James Harland
    Agent-Oriented Programming in Linear Logic: An Example. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:817- [Conf]
  32. Nalaka Gooneratne, Zahir Tari, James Harland
    Verification of web service descriptions using graph-based traversal algorithms. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:1385-1392 [Conf]
  33. James Harland
    A Kripke-like Model for Negation as Failure. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:626-642 [Conf]
  34. James Harland
    On Goal-Directed Provability in Classical Logic. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:677- [Conf]
  35. James Harland, David J. Pym
    The Uniform Proof-Theoretic Foundation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:304-318 [Conf]
  36. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: A Brief Overview. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:636- [Conf]
  37. Michael Winikoff, James Harland
    Implementing the Linear Logic Programming Language Lygon. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:66-80 [Conf]
  38. Tatjana Lutovac, James Harland
    A Redundancy Analysis of Sequent Proofs. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:185-200 [Conf]
  39. James Harland, Michael Winikoff
    Agents via Mixed-Mode Computation in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:167-196 [Journal]
  40. James Harland, David J. Pym
    Resource-distribution via Boolean constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  41. James Harland
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:61, n:, pp:- [Journal]
  42. James Harland
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  43. James Harland, David J. Pym, Michael Winikoff
    Forward and Backward Chaining in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
  44. James Harland, Michael Winikoff
    Language Design Issues for Agents based on Linear Logic (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:5, pp:- [Journal]
  45. Tatjana Lutovac, James Harland
    Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:125, n:2, pp:115-147 [Journal]
  46. James Harland
    Success and Failure for Hereditary Harrop Formulae. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:17, n:1, pp:1-29 [Journal]
  47. James Harland
    A Proof-Theoretic Analysis of Goal-Directed Provability. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:1, pp:69-88 [Journal]
  48. Tatjana Lutovac, James Harland
    Detecting Loops During Proof Search in Propositional Affine Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:1, pp:61-133 [Journal]
  49. David J. Pym, James Harland
    A Uniform Proof-Theoretic Investigation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:2, pp:175-207 [Journal]
  50. James Harland, Joxan Jaffar
    On Parallel Unification for Prolog. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1987, v:5, n:3, pp:259-279 [Journal]
  51. James Harland, David J. Pym
    Resource-distribution via Boolean constraints. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:1, pp:56-90 [Journal]
  52. Kotagiri Ramamohanarao, James Harland
    An Introduction to Deductive Database Languages and Systems [Citation Graph (0, 38)][DBLP]
    VLDB J., 1994, v:3, n:2, pp:107-122 [Journal]
  53. Min Xu, Lin Padgham, Aloys Mbala, James Harland
    Tracking reliability and helpfulness in agent interactions. [Citation Graph (0, 0)][DBLP]
    Web Intelligence and Agent Systems, 2007, v:5, n:1, pp:31-46 [Journal]
  54. Ken Gardiner, James Harland, Margaret Hamilton
    A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. [Citation Graph (0, 0)][DBLP]
    ACAL, 2007, pp:281-291 [Conf]

  55. Evaluating the dynamic behaviour of Python applications. [Citation Graph (, )][DBLP]


  56. Aborting tasks in BDI agents. [Citation Graph (, )][DBLP]


  57. Temporal linear logic as a basis for flexible agent interactions. [Citation Graph (, )][DBLP]


  58. Suspending and resuming tasks in BDI agents. [Citation Graph (, )][DBLP]


  59. The Busy Beaver, the Placid Platypus and other Crazy Creatures. [Citation Graph (, )][DBLP]


  60. Analysis of Busy Beaver Machines via Induction Proofs. [Citation Graph (, )][DBLP]


  61. Planning with Time Limits in BDI Agent Programming Languages. [Citation Graph (, )][DBLP]


  62. Filters for Graph Matching. [Citation Graph (, )][DBLP]


  63. Modeling Agents' Choices in Temporal Linear Logic. [Citation Graph (, )][DBLP]


  64. On the Life-Cycle of BDI Agent Goals. [Citation Graph (, )][DBLP]


  65. Matching Strictly Dependent Global Constraints for Composite Web Services. [Citation Graph (, )][DBLP]


  66. VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. [Citation Graph (, )][DBLP]


  67. Problem based learning with technological support in an AI subject: description and evaluation. [Citation Graph (, )][DBLP]


Search in 1.033secs, Finished in 1.035secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002