Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2009 | ||
---|---|---|

68 | Alex Holkner, James Harland: Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25 | |

67 | Joachim Gudmundsson, James Harland: Preface. Int. J. Found. Comput. Sci. 20(1): 1-2 (2009) | |

2008 | ||

66 | James Harland, Prabhu Manyem: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings Australian Computer Society 2008 | |

65 | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412 | |

64 | Nalaka Gooneratne, Zahir Tari, James Harland: VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591 | |

2007 | ||

63 | Duc Quang Pham, James Harland: Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28 | |

62 | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Aborting tasks in BDI agents. AAMAS 2007: 6 | |

61 | 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. ACAL 2007: 281-291 | |

60 | Lavindra de Silva, Anthony Dekker, James Harland: Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139 | |

59 | James Harland: Analysis of Busy Beaver Machines via Induction Proofs. CATS 2007: 71-78 | |

58 | Duc Quang Pham, James Harland, Michael Winikoff: Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157 | |

57 | Nalaka Gooneratne, Zahir Tari, James Harland: Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148 | |

56 | Nalaka Gooneratne, Zahir Tari, James Harland: Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392 | |

55 | Min Xu, Lin Padgham, Aloys Mbala, James Harland: Tracking reliability and helpfulness in agent interactions. Web Intelligence and Agent Systems 5(1): 31-46 (2007) | |

2006 | ||

54 | Simon Duff, James Harland, John Thangarajah: On proactivity and maintenance goals. AAMAS 2006: 1033-1040 | |

53 | Duc Quang Pham, James Harland: Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237 | |

52 | James Harland: The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS 2006: 79-86 | |

51 | Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006) | |

2005 | ||

50 | Tatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200 | |

49 | Tatjana Lutovac, James Harland: Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. Electr. Notes Theor. Comput. Sci. 125(2): 115-147 (2005) | |

2004 | ||

48 | Michael Winikoff, Wei Liu, James Harland: Enhancing Commitment Machines. DALT 2004: 198-220 | |

47 | Bình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78 | |

46 | Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254 | |

45 | James Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004) | |

2003 | ||

44 | Bình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141 | |

43 | Margaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211 | |

42 | Bình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172 | |

41 | Toan Phung, Seng Wai Loke, James Harland: Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565 | |

40 | James Harland, David J. Pym: Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003) | |

39 | James Harland: Preface. Electr. Notes Theor. Comput. Sci. 78: (2003) | |

2002 | ||

38 | James Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939 | |

37 | Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland: Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. ACSC 2002: 205-214 | |

36 | John Thangarajah, Lin Padgham, James Harland: Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265 | |

35 | James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA III 2002: 79-93 | |

34 | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah: Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481 | |

33 | James Harland: Preface. Electr. Notes Theor. Comput. Sci. 61: (2002) | |

32 | James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): (2002) | |

2001 | ||

31 | Michael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568 | |

2000 | ||

30 | James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268 | |

29 | Abdullah-Al Amin, Michael Winikoff, James Harland: Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817 | |

28 | James Harland, David J. Pym: Resource-distribution via Boolean constraints CoRR cs.LO/0012018: (2000) | |

27 | James Harland, David J. Pym, Michael Winikoff: Forward and Backward Chaining in Linear Logic. Electr. Notes Theor. Comput. Sci. 37: (2000) | |

1998 | ||

26 | Steve Callaghan, Gerard Ellis, James Harland: Filters for Graph Matching. CATS 1998: 121-136 | |

1997 | ||

25 | Lawrence Cavedon, James Harland, Lin Padgham: Problem based learning with technological support in an AI subject: description and evaluation. ACSE 1997: 191-200 | |

24 | James Harland, David J. Pym: Resource-Distribution via Boolean Constraint (Extended Abstract). CADE 1997: 222-236 | |

1996 | ||

23 | James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: An Overview. AMAST 1996: 391-405 | |

22 | James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A System Demonstration. AMAST 1996: 599 | |

1995 | ||

21 | James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A Brief Overview. ILPS 1995: 636 | |

20 | Michael Winikoff, James Harland: Implementing the Linear Logic Programming Language Lygon. ILPS 1995: 66-80 | |

1994 | ||

19 | Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao: Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT 1994: 59-72 | |

18 | James Harland: A Proof-Theoretic Analysis of Goal-Directed Provability. J. Log. Comput. 4(1): 69-88 (1994) | |

17 | David J. Pym, James Harland: A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. 4(2): 175-207 (1994) | |

16 | Kotagiri Ramamohanarao, James Harland: An Introduction to Deductive Database Languages and Systems VLDB J. 3(2): 107-122 (1994) | |

15 | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Database System VLDB J. 3(2): 245-288 (1994) | |

1993 | ||

14 | James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699 | |

13 | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: Status of the Aditi Deductive Database System. ICLP 1993: 851 | |

12 | James Harland: On Goal-Directed Provability in Classical Logic. ILPS 1993: 677 | |

11 | James Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Book), ILPS 1993: 83-100 | |

10 | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland: The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161 | |

9 | James Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 6-17 | |

8 | James Harland: Success and Failure for Hereditary Harrop Formulae. J. Log. Program. 17(1): 1-29 (1993) | |

1992 | ||

7 | James Harland, Kotagiri Ramamohanarao: Constraints for Query Optimization in Deductive Databases. Future Databases 1992: 332-336 | |

6 | James Harland: On Normal Forms and Equivalence for Logic Programs. JICSLP 1992: 146-160 | |

5 | James Harland, David J. Pym: On Resolution in Fragments of Classical Linear Logic. LPAR 1992: 30-41 | |

1991 | ||

4 | James Harland: A Clausal Form for the Completion of Logic Programs. ICLP 1991: 711-725 | |

3 | James Harland, David J. Pym: The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP 1991: 304-318 | |

1989 | ||

2 | James Harland: A Kripke-like Model for Negation as Failure. NACLP 1989: 626-642 | |

1987 | ||

1 | James Harland, Joxan Jaffar: On Parallel Unification for Prolog. New Generation Comput. 5(3): 259-279 (1987) |