| 2007 |
|---|
| 57 | EE | Duc Quang Pham,
James Harland:
Temporal linear logic as a basis for flexible agent interactions.
AAMAS 2007: 28 |
| 56 | EE | John Thangarajah,
James Harland,
David Morley,
Neil Yorke-Smith:
Aborting tasks in BDI agents.
AAMAS 2007: 6 |
| 55 | 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 |
| 54 | EE | Duc Quang Pham,
James Harland,
Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic.
DALT 2007: 140-157 |
| 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 Quang 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) |
