Harland, James - School of Computer Science and Information Technology, RMIT University

• Implementing the Linear Logic Programming Language Lygon
• The Uniform Proof--theoretic Foundation of Lin ear Logic Programming (Extended Abstract)
• a uniform prooftheoretic investigation of linear logic programming
• A Kripkelike Model for Negation James Harland
• Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids #
• Constraint Propagation for Linear Recursive Rules
• ON RESOLUTION IN FRAGMENTS OF CLASSICAL LINEAR LOGIC (EXTENDED ABSTRACT) \Lambda
• Strategies for Logic Programming Languages Tatjana Lutovac and James Harland
• Agents via Mixed-mode Computation in Linear Logic James Harland (jah@cs.rmit.edu.au) and Michael Winiko
• Agents via Mixedmode Computation in Linear Logic: A Proposal James Harland Michael Winikoff
• Towards a Sequent Calculus for Negation as Failure James Harland, Royal Melbourne Institute of Technology
• A PROOFTHEORETIC ANALYSIS OF GOALDIRECTED PROVABILITY
• On GoalDirected Provability in Classical Logic James Harland, Royal Melbourne Institute of Technology
• Structural Properties of Logic Programs James Harland
• Towards the Automation of the Design of Logic Programming Tatjana Lutovac James Harland
• GoalDirected Proof Search in MultipleConclusioned Intuitionistic Logic
• A Note on the Implementation and Applications of Linear Logic Programming Languages
• Success and Failure for Hereditary Harrop Formulae James Harland
• Making Logic Programs Reactive James Harland Michael Winikoff
• A ProofTheoretic Analysis of GoalDirected Provability
• Resourcedistribution via Boolean constraints
• AgentOriented Programming in Linear Logic: An Example
• Simplifying the Development of Intelligent Agents Michael Winikoff, Lin Padgham, and James Harland
• 1 Introduction A deductive database system consists of a set of explicitly defined relations (facts in logic
• Subsumptionfree bottomup evaluation of logic programs with partially instantiated data structures
• Representation and Reasoning for Goals in BDI Agents John Thanagarajah Lin Padgham James Harland
• Some Applications of the Linear Logic Programming Language Michael Winikoff
• On Normal Forms and Equivalence for Logic Programs
• PROGRAMMING IN LYGON: AN OVERVIEW James Harland David Pym
• An Aditi Implementation of a Flights Database James Harland Kotagiri Ramamohanarao
• An Introduction to Deductive Database Languages and Systems
• On GoalDirected Proofs in MultipleConclusioned Intuitionistic Logic
• Problem Based Learning with Technological Support in an AI Subject: Description and Evaluation
• Implementation and Development Issues for the Linear Logic Programming Language Lygon
• Declarative & Procedural Goals in Intelligent Agent Systems Michael Winikoff
• Forward and Backward Chaining in Linear Logic James Harland 1 David Pym 2 Michael Winikoff 1
• Programming in Lygon: a system demonstration James Harland 1 David Pym 2 Michael Winikoff 3
• A Clausal Form for the Completion of Logic Programs
• Agent Negotiation as Proof Search in Linear Logic Paper ID: 186, POSTER
• Some Issues in the Operational Semantics of Logic (or: What do logic programs do?)
• Programming in Lygon: A Brief Overview James Harland David Pym Michael Winikoff