Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
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