The following pages link to James Harland (Q306277):
Displaying 21 items.
- Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) (Q306278) (← links)
- Agents via mixed-mode computation in linear logic (Q702108) (← links)
- Generating candidate busy beaver machines (or how to build the zany zoo) (Q2672601) (← links)
- Forward and backward chaining in linear logic. (Extended abstract) (Q2703718) (← links)
- (Q2767058) (← links)
- Language design issues for agents based on linear logic (extended abstract) (Q2844922) (← links)
- Issues in the analysis of proof-search strategies in sequential presentations of logics (Q2848048) (← links)
- Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems (Q2999234) (← links)
- MAINTENANCE GOALS IN INTELLIGENT AGENTS (Q3462268) (← links)
- (Q4255503) (← links)
- Success and failure for hereditary Harrop formulae (Q4272507) (← links)
- A Proof-theoretic Analysis of Goal-directed Provability (Q4286216) (← links)
- A Uniform Proof-theoretic Investigation of Linear Logic Programming (Q4291039) (← links)
- On goal-directed provability in classical logic (Q4395687) (← links)
- (Q4475194) (← links)
- (Q4953354) (← links)
- Resource-distribution via Boolean constraints (Q5234703) (← links)
- Resource-distribution via Boolean constraints (Q5267424) (← links)
- Detection and analysis of some redundancies in linear logic sequent proofs (Q5406127) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479277) (← links)
- Detecting Loops During Proof Search in Propositional Affine Logic (Q5488611) (← links)
