James Harland

2007
54	EE	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
53	EE	Nalaka Gooneratne, Zahir Tari, James Harland: Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392
52	EE	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
51	EE	Simon Duff, James Harland, John Thangarajah: On proactivity and maintenance goals. AAMAS 2006: 1033-1040
50	EE	Duc Q. Pham, James Harland: Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237
49	EE	Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)
2005
48	EE	Tatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200
47	EE	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
46	EE	Michael Winikoff, Wei Liu, James Harland: Enhancing Commitment Machines. DALT 2004: 198-220
45		Bình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78
44		Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254
43	EE	James Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004)
2003
42	EE	Bình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
41	EE	Margaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
40	EE	Bình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
39	EE	Toan Phung, Seng Wai Loke, James Harland: Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565
38	EE	James Harland, David J. Pym: Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003)
37	EE	James Harland: Preface. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
36	EE	James Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939
35	EE	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
34	EE	John Thangarajah, Lin Padgham, James Harland: Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265
33		James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA III 2002: 79-93
32		Michael Winikoff, Lin Padgham, James Harland, John Thangarajah: Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481
31	EE	James Harland: Preface. Electr. Notes Theor. Comput. Sci. 61: (2002)
30	EE	James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
29	EE	Michael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568
2000
28	EE	James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268
27		Abdullah-Al Amin, Michael Winikoff, James Harland: Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817
26	EE	James Harland, David J. Pym: Resource-distribution via Boolean constraints CoRR cs.LO/0012018: (2000)
25	EE	James Harland, David J. Pym, Michael Winikoff: Forward and Backward Chaining in Linear Logic. Electr. Notes Theor. Comput. Sci. 37: (2000)
1997
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	EE	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	EE	Kotagiri Ramamohanarao, James Harland: An Introduction to Deductive Database Languages and Systems VLDB J. 3(2): 107-122 (1994)
15	EE	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)

Coauthor Index

1	Abdullah-Al Amin	[27]
2	Simon Duff	[51]
3	Ken Gardiner	[54]
4	Nalaka Gooneratne	[53]
5	Margaret Hamilton	[40] [41] [42] [44] [45] [54]
6	Joxan Jaffar	[1]
7	David B. Kemp	[10] [13] [15] [19]
8	Tim S. Leask	[10] [13] [15]
9	Wei Liu	[46]
10	Seng Wai Loke	[39]
11	Tatjana Lutovac	[28] [47] [48] [49]
12	Aloys Mbala	[52]
13	Lin Padgham	[29] [32] [34] [35] [41] [52]
14	Duc Q. Pham	[50]
15	Toan Phung	[39]
16	David J. Pym	[3] [5] [17] [21] [22] [23] [24] [25] [26] [38]
17	Kotagiri Ramamohanarao	[7] [9] [10] [11] [13] [14] [15] [16] [19]
18	Omer F. Rana	[35]
19	Zoltan Somogyi	[10] [13] [15] [19]
20	Peter J. Stuckey	[10] [13] [15]
21	Zahir Tari	[53]
22	John Thangarajah	[32] [34] [51]
23	Bình Vu Trân	[40] [42] [44] [45]
24	Jayen Vaghani	[10] [13] [15]
25	Michael Winikoff	[20] [21] [22] [23] [25] [27] [28] [29] [30] [32] [33] [35] [36] [43] [46]
26	Min Xu	[52]

Colors in the list of coauthors