Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
James Harland
2010 – today
- 2013
[j17]Tatjana Lutovac, James Harland: A contribution to automated-oriented reasoning about permutability of sequent calculi rules. Comput. Sci. Inf. Syst. 10(3): 1185-1210 (2013)- [c62]Wafaa Alsaggaf, Margaret Hamilton, James Harland: CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE 2013: 1-8
- [c61]Mercy Maleko, Dip Nandi, Margaret Hamilton, Daryl J. D'Souza, James Harland: Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education. LaTiCE 2013: 83-89
- [c60]Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft: What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE 2013: 106-113
- 2012
- [c59]Luke Trodd, James Harland, John Thangarajah: Agent deliberation via forward and backward chaining in linear logic. AAMAS 2012: 1443-1444
- [c58]Luke Trodd, James Harland, John Thangarajah: Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT 2012: 57-75
- [c57]Jian Zhong, Vinod Mirchandani, Peter Bertók, James Harland: µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. PACIS 2012: 148
- 2011
- [c56]Simeon Visser, John Thangarajah, James Harland: Reasoning about preferences in BDI agent systems. AAMAS 2011: 1139-1140
- [c55]James Harland: Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). CATS 2011: 151-160
- [c54]Judy Sheard, Simon, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl J. D'Souza, James Harland, Raymond Lister, Anne Philpott, Geoff Warburton: Exploring programming assessment instruments: a classification scheme for examination questions. ICER 2011: 33-38
- [c53]Simeon Visser, John Thangarajah, James Harland: Reasoning about Preferences in Intelligent Agent Systems. IJCAI 2011: 426-431
- 2010
- [c52]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. DALT 2010: 1-21
- [c51]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: On the Life-Cycle of BDI Agent Goals. ECAI 2010: 1031-1032
2000 – 2009
- 2009
- [j16]
- [c50]Alex Holkner, James Harland: Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25
- 2008
- [c49]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412
- [c48]Nalaka Gooneratne, Zahir Tari, James Harland: VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591
- [e2]James Harland, Prabhu Manyem (Eds.): Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings. CRPIT 77, Australian Computer Society 2008, ISBN 978-1-920682-58-3
- 2007
- [j15]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)
- [c47]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
- [c46]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Aborting tasks in BDI agents. AAMAS 2007: 6
- [c45]Duc Quang Pham, James Harland: Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28
- [c44]
- [c43]Lavindra de Silva, Anthony Dekker, James Harland: Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139
- [c42]Duc Quang Pham, James Harland, Michael Winikoff: Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157
- [c41]Nalaka Gooneratne, Zahir Tari, James Harland: Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148
- [c40]Nalaka Gooneratne, Zahir Tari, James Harland: Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392
- 2006
- [j14]Tatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)
- [c39]Duc Quang Pham, James Harland: Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237
- [c38]Simon Duff, James Harland, John Thangarajah: On proactivity and maintenance goals. AAMAS 2006: 1033-1040
- [c37]
- 2005
- [j13]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)
- [c36]
- 2004
- [j12]James Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004)
- [c35]
- [c34]Bình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78
- [c33]Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254
- 2003
- [j11]
- [j10]James Harland, David J. Pym: Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003)
- [c32]Margaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
- [c31]Bình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
- [c30]Bình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
- [c29]Toan Phung, Seng Wai Loke, James Harland: Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565
- 2002
- [j9]
- [j8]James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): 89-107 (2002)
- [c28]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
- [c27]John Thangarajah, Lin Padgham, James Harland: Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265
- [c26]James Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939
- [c25]James Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA 2002: 79-93
- [c24]Michael Winikoff, Lin Padgham, James Harland, John Thangarajah: Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481
- 2001
- [c23]Michael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568
- 2000
- [j7]James Harland, David J. Pym, Michael Winikoff: Forward and Backward Chaining in Linear Logic. Electr. Notes Theor. Comput. Sci. 37: 1-16 (2000)
- [c22]James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268
- [c21]Abdullah-Al Amin, Michael Winikoff, James Harland: Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817
- [i1]James Harland, David J. Pym: Resource-distribution via Boolean constraints. CoRR cs.LO/0012018 (2000)
1990 – 1999
- 1998
- [c20]
- 1997
- [c19]Lawrence Cavedon, James Harland, Lin Padgham: Problem based learning with technological support in an AI subject: description and evaluation. ACSE 1997: 191-200
- [c18]James Harland, David J. Pym: Resource-Distribution via Boolean Constraint (Extended Abstract). CADE 1997: 222-236
- 1996
- [c17]James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: An Overview. AMAST 1996: 391-405
- [c16]James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A System Demonstration. AMAST 1996: 599
- 1995
- [c15]Michael Winikoff, James Harland: Implementing the Linear Logic Programming Language Lygon. ILPS 1995: 66-80
- [c14]James Harland, David J. Pym, Michael Winikoff: Programming in Lygon: A Brief Overview. ILPS 1995: 636
- 1994
- [j6]James Harland: A Proof-Theoretic Analysis of Goal-Directed Provability. J. Log. Comput. 4(1): 69-88 (1994)
- [j5]David J. Pym, James Harland: A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. 4(2): 175-207 (1994)
- [j4]Kotagiri Ramamohanarao, James Harland: An Introduction to Deductive Database Languages and Systems. VLDB J. 3(2): 107-122 (1994)
- [j3]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)
- [c13]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
- 1993
- [j2]James Harland: Success and Failure for Hereditary Harrop Formulae. J. Log. Program. 17(1): 1-29 (1993)
- [c12]James Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 6-17
- [c11]James Harland, Kotagiri Ramamohanarao: An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Book), ILPS 1993: 83-100
- [c10]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
- [c9]James Harland, Kotagiri Ramamohanarao: Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699
- [c8]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
- [c7]
- 1992
- [c6]James Harland, Kotagiri Ramamohanarao: Constraints for Query Optimization in Deductive Databases. Future Databases 1992: 332-336
- [c5]
- [c4]
- [e1]Kotagiri Ramamohanarao, James Harland, Guozhu Dong (Eds.): Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992. Technical Report CITRI/TR-92-65. Department of Computer Science, University of Melbourne 1992
- 1991
- [c3]
- [c2]James Harland, David J. Pym: The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP 1991: 304-318
1980 – 1989
- 1989
- [c1]
- 1987
- [j1]James Harland, Joxan Jaffar: On Parallel Unification for Prolog. New Generation Comput. 5(3): 259-279 (1987)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team