James Harland Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Holkner, James Harland: Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Gudmundsson, James Harland: Preface. Int. J. Found. Comput. Sci. 20(1): 1-2 (2009)
2008
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames 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
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNalaka Gooneratne, Zahir Tari, James Harland: VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591
2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Quang Pham, James Harland: Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Aborting tasks in BDI agents. AAMAS 2007: 6
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLavindra de Silva, Anthony Dekker, James Harland: Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: Analysis of Busy Beaver Machines via Induction Proofs. CATS 2007: 71-78
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Quang Pham, James Harland, Michael Winikoff: Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNalaka Gooneratne, Zahir Tari, James Harland: Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNalaka Gooneratne, Zahir Tari, James Harland: Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMin 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon Duff, James Harland, John Thangarajah: On proactivity and maintenance goals. AAMAS 2006: 1033-1040
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDuc Quang Pham, James Harland: Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS 2006: 79-86
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)
2005
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTatjana 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Winikoff, Wei Liu, James Harland: Enhancing Commitment Machines. DALT 2004: 198-220
47no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004)
2003
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToan Phung, Seng Wai Loke, James Harland: Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym: Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: Preface. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmer 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Thangarajah, Lin Padgham, James Harland: Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA III 2002: 79-93
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Winikoff, Lin Padgham, James Harland, John Thangarajah: Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: Preface. Electr. Notes Theor. Comput. Sci. 61: (2002)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568
2000
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbdullah-Al Amin, Michael Winikoff, James Harland: Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym: Resource-distribution via Boolean constraints CoRR cs.LO/0012018: (2000)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym, Michael Winikoff: Forward and Backward Chaining in Linear Logic. Electr. Notes Theor. Comput. Sci. 37: (2000)
1998
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Callaghan, Gerard Ellis, James Harland: Filters for Graph Matching. CATS 1998: 121-136
1997
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLawrence Cavedon, James Harland, Lin Padgham: Problem based learning with technological support in an AI subject: description and evaluation. ACSE 1997: 191-200
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym: Resource-Distribution via Boolean Constraint (Extended Abstract). CADE 1997: 222-236
1996
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym, Michael Winikoff: Programming in Lygon: An Overview. AMAST 1996: 391-405
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A System Demonstration. AMAST 1996: 599
1995
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A Brief Overview. ILPS 1995: 636
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Winikoff, James Harland: Implementing the Linear Logic Programming Language Lygon. ILPS 1995: 66-80
1994
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltan 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: A Proof-Theoretic Analysis of Goal-Directed Provability. J. Log. Comput. 4(1): 69-88 (1994)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid J. Pym, James Harland: A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. 4(2): 175-207 (1994)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKotagiri Ramamohanarao, James Harland: An Introduction to Deductive Database Languages and Systems VLDB J. 3(2): 107-122 (1994)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: On Goal-Directed Provability in Classical Logic. ILPS 1993: 677
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Book), ILPS 1993: 83-100
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayen 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 6-17
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: Success and Failure for Hereditary Harrop Formulae. J. Log. Program. 17(1): 1-29 (1993)
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Kotagiri Ramamohanarao: Constraints for Query Optimization in Deductive Databases. Future Databases 1992: 332-336
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: On Normal Forms and Equivalence for Logic Programs. JICSLP 1992: 146-160
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym: On Resolution in Fragments of Classical Linear Logic. LPAR 1992: 30-41
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: A Clausal Form for the Completion of Logic Programs. ICLP 1991: 711-725
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, David J. Pym: The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP 1991: 304-318
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland: A Kripke-like Model for Negation as Failure. NACLP 1989: 626-642
1987
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Harland, Joxan Jaffar: On Parallel Unification for Prolog. New Generation Comput. 5(3): 259-279 (1987)

Coauthor Index

1Abdullah-Al Amin [29]
2Steve Callaghan [26]
3Lawrence Cavedon [25]
4Anthony Dekker [60]
5Simon Duff [54]
6Gerard Ellis [26]
7Ken Gardiner [61]
8Nalaka Gooneratne [56] [57] [64]
9Joachim Gudmundsson [67]
10Margaret Hamilton [42] [43] [44] [46] [47] [61]
11Alex Holkner [68]
12Joxan Jaffar [1]
13David B. Kemp [10] [13] [15] [19]
14Tim S. Leask [10] [13] [15]
15Wei Liu [48]
16Seng Wai Loke [41]
17Tatjana Lutovac [30] [49] [50] [51]
18Prabhu Manyem [66]
19Aloys Mbala [55]
20David N. Morley [62] [65]
21Lin Padgham [25] [31] [34] [36] [37] [43] [55]
22Duc Quang Pham [53] [58] [63]
23Toan Phung [41]
24David J. Pym [3] [5] [17] [21] [22] [23] [24] [27] [28] [40]
25Kotagiri Ramamohanarao [7] [9] [10] [11] [13] [14] [15] [16] [19]
26Omer F. Rana [37]
27Lavindra de Silva [60]
28Zoltan Somogyi [10] [13] [15] [19]
29Peter J. Stuckey [10] [13] [15]
30Zahir Tari [56] [57] [64]
31John Thangarajah [34] [36] [54] [62] [65]
32Bình Vu Trân [42] [44] [46] [47]
33Jayen Vaghani [10] [13] [15]
34Michael Winikoff [20] [21] [22] [23] [27] [29] [30] [31] [32] [34] [35] [37] [38] [45] [48] [58]
35Min Xu [55]
36Neil Yorke-Smith [62] [65]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)