James Harland

From MaRDI portal
Person:306277

Available identifiers

zbMath Open harland.james-aMaRDI QIDQ306277

List of research outcomes





PublicationDate of PublicationType
Generating candidate busy beaver machines (or how to build the zany zoo)2022-06-13Paper
Resource-distribution via Boolean constraints2019-10-01Paper
Resource-distribution via Boolean constraints2017-06-13Paper
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons)2016-08-31Paper
MAINTENANCE GOALS IN INTELLIGENT AGENTS2016-01-05Paper
Detection and analysis of some redundancies in linear logic sequent proofs2014-04-01Paper
Issues in the analysis of proof-search strategies in sequential presentations of logics2013-09-25Paper
Language design issues for agents based on linear logic (extended abstract)2013-08-20Paper
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems2011-05-11Paper
Detecting Loops During Proof Search in Propositional Affine Logic2006-09-22Paper
Automated Reasoning with Analytic Tableaux and Related Methods2006-07-07Paper
Agents via mixed-mode computation in linear logic2005-01-17Paper
https://portal.mardi4nfdi.de/entity/Q44751942004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q27670582002-01-28Paper
Forward and backward chaining in linear logic. (Extended abstract)2001-05-07Paper
https://portal.mardi4nfdi.de/entity/Q49533542000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42555031999-08-16Paper
On goal-directed provability in classical logic1997-01-01Paper
A Uniform Proof-theoretic Investigation of Linear Logic Programming1994-10-17Paper
A Proof-theoretic Analysis of Goal-directed Provability1994-08-21Paper
Success and failure for hereditary Harrop formulae1993-12-06Paper

Research outcomes over time

This page was built for person: James Harland