Searching for authors named "James Harland" – sorted by Relevance.
-
Success and Failure for Hereditary Harrop Formulae
- Success and Failure for Hereditary Harrop Formulae James Harland Department of Computer Science
- Cited by 5 (0 self) – Add To MetaCart
-
A Kripke-like Model for Negation as Failure
- A Kripke-like Model for Negation as Failure James Harland Department of Computer Science
- Cited by 7 (1 self) – Add To MetaCart
-
A Proof-Theoretic Analysis of Goal-Directed Provability
- A PROOF-THEORETIC ANALYSIS OF GOAL-DIRECTED PROVABILITY JAMES HARLAND Department of Computer
- Cited by 13 (7 self) – Add To MetaCart
-
On Normal Forms and Equivalence for Logic Programs
- On Normal Forms and Equivalence for Logic Programs James Harland Department of Computer Science
- Cited by 8 (7 self) – Add To MetaCart
-
Strategies for Logic Programming Languages
- Strategies for Logic Programming Languages Tatjana Lutovac and James Harland Department
- Add To MetaCart
-
Towards a Sequent Calculus for Negation as Failure
- Towards a Sequent Calculus for Negation as Failure James Harland, Royal Melbourne Institute
- Add To MetaCart
-
Agent Negotiation as Proof Search in Linear Logic
- Agent Negotiation as Proof Search in Linear Logic James Harland jah@(email omitted); Michael
- Cited by 4 (0 self) – Add To MetaCart
-
Language Design Issues for Agents based on Linear Logic
- Language Design Issues for Agents based on Linear Logic (Extended Abstract) James Harland
- Cited by 2 (0 self) – Add To MetaCart
-
Agents via Mixed-mode Computation in Linear Logic
- Agents via Mixed-mode Computation in Linear Logic James Harland (jah@(email omitted);) and Michael
- Cited by 5 (1 self) – Add To MetaCart
-
Constraint Propagation for Linear Recursive Rules
- Constraint Propagation for Linear Recursive Rules James Harland Kotagiri Ramamohanarao Department
- Cited by 7 (4 self) – Add To MetaCart

