James Harland

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generating candidate busy beaver machines (or how to build the zany zoo) Theoretical Computer Science	2022-06-13	Paper
Resource-distribution via Boolean constraints (extended abstract) Automated Deduction—CADE-14	2019-10-01	Paper
Resource-distribution via Boolean constraints ACM Transactions on Computational Logic	2017-06-13	Paper
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons) Theoretical Computer Science	2016-08-31	Paper
Maintenance goals in intelligent agents Computational Intelligence	2016-01-05	Paper
Detection and analysis of some redundancies in linear logic sequent proofs Journal Of Logic And Computation	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 Declarative Agent Languages and Technologies VIII	2011-05-11	Paper
Detecting Loops During Proof Search in Propositional Affine Logic Journal Of Logic And Computation	2006-09-22	Paper
Automated Reasoning with Analytic Tableaux and Related Methods Lecture Notes in Computer Science	2006-07-07	Paper
Agents via mixed-mode computation in linear logic Annals of Mathematics and Artificial Intelligence	2005-01-17	Paper
Simplifying the development of intelligent agents Lecture Notes in Computer Science	2004-08-09	Paper
Simplifying the development of intelligent agents Lecture Notes in Computer Science	2004-08-09	Paper
Goal-directed proof search in multiple-conclusioned intuitionistic logic Lecture Notes in Computer Science	2002-01-28	Paper
Forward and backward chaining in linear logic. (Extended abstract)	2001-05-07	Paper
Filters for graph matching	2000-05-09	Paper
On resolution in fragments of classical linear logic Lecture Notes in Computer Science	1999-08-16	Paper
On goal-directed provability in classical logic Computer Languages	1997-01-01	Paper
A Uniform Proof-theoretic Investigation of Linear Logic Programming Journal Of Logic And Computation	1994-10-17	Paper
A Proof-theoretic Analysis of Goal-directed Provability Journal Of Logic And Computation	1994-08-21	Paper
Success and failure for hereditary Harrop formulae The Journal of Logic Programming	1993-12-06	Paper

Research outcomes over time

This page was built for person: James Harland