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
https://portal.mardi4nfdi.de/entity/Q2848048	2013-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2844922	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
https://portal.mardi4nfdi.de/entity/Q2703718	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Harland