dblp.uni-trier.dewww.uni-trier.de

James Harland Vis

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

*2009
68EEAlex Holkner, James Harland: Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25
67EEJoachim 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
65EEJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412
64EENalaka Gooneratne, Zahir Tari, James Harland: VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591
2007
63EEDuc Quang Pham, James Harland: Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28
62EEJohn Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith: Aborting tasks in BDI agents. AAMAS 2007: 6
61EEKen 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
60EELavindra de Silva, Anthony Dekker, James Harland: Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139
59EEJames Harland: Analysis of Busy Beaver Machines via Induction Proofs. CATS 2007: 71-78
58EEDuc Quang Pham, James Harland, Michael Winikoff: Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157
57EENalaka Gooneratne, Zahir Tari, James Harland: Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148
56EENalaka Gooneratne, Zahir Tari, James Harland: Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392
55EEMin 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
54EESimon Duff, James Harland, John Thangarajah: On proactivity and maintenance goals. AAMAS 2006: 1033-1040
53EEDuc Quang Pham, James Harland: Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237
52EEJames Harland: The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS 2006: 79-86
51EETatjana Lutovac, James Harland: Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006)
2005
50EETatjana Lutovac, James Harland: A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200
49EETatjana 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
48EEMichael 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
45EEJames Harland, Michael Winikoff: Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004)
2003
44EEBình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
43EEMargaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
42EEBình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
41EEToan Phung, Seng Wai Loke, James Harland: Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565
40EEJames Harland, David J. Pym: Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003)
39EEJames Harland: Preface. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
38EEJames Harland, Michael Winikoff: Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939
37EEOmer 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
36EEJohn 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
33EEJames Harland: Preface. Electr. Notes Theor. Comput. Sci. 61: (2002)
32EEJames Harland, Michael Winikoff: Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2001
31EEMichael Winikoff, Lin Padgham, James Harland: Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568
2000
30EEJames 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
28EEJames Harland, David J. Pym: Resource-distribution via Boolean constraints CoRR cs.LO/0012018: (2000)
27EEJames 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
25EELawrence Cavedon, James Harland, Lin Padgham: Problem based learning with technological support in an AI subject: description and evaluation. ACSE 1997: 191-200
24EEJames 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
19EEZoltan 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)
16EEKotagiri Ramamohanarao, James Harland: An Introduction to Deductive Database Languages and Systems VLDB J. 3(2): 107-122 (1994)
15EEJayen 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
5EEJames 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

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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)