Searching for authors named "James Harland" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
