James Harland

Available identifiers

zbMath Open harland.james-aMaRDI QIDQ306277

List of research outcomes

Publication	Date of Publication	Type
Generating candidate busy beaver machines (or how to build the zany zoo)	2022-06-13	Paper
Resource-distribution via Boolean constraints	2019-10-01	Paper
Resource-distribution via Boolean constraints	2017-06-13	Paper
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)	2016-08-31	Paper
MAINTENANCE GOALS IN INTELLIGENT AGENTS	2016-01-05	Paper
Detection and analysis of some redundancies in linear logic sequent proofs	2014-04-01	Paper
Issues in the analysis of proof-search strategies in sequential presentations of logics	2013-09-25	Paper
Language design issues for agents based on linear logic (extended abstract)	2013-08-20	Paper
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems	2011-05-11	Paper
Detecting Loops During Proof Search in Propositional Affine Logic	2006-09-22	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
Agents via mixed-mode computation in linear logic	2005-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4475194	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q2767058	2002-01-28	Paper
Forward and backward chaining in linear logic. (Extended abstract)	2001-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4953354	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4255503	1999-08-16	Paper
On goal-directed provability in classical logic	1997-01-01	Paper
A Uniform Proof-theoretic Investigation of Linear Logic Programming	1994-10-17	Paper
A Proof-theoretic Analysis of Goal-directed Provability	1994-08-21	Paper
Success and failure for hereditary Harrop formulae	1993-12-06	Paper

Research outcomes over time

This page was built for person: James Harland