BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Hungary
1 × Korea
1 × United Kingdom
2 × Canada
2 × France
4 × USA
Collaborated with:
M.Winikoff D.J.Pym K.Ramamohanarao N.Gooneratne Z.Tari B.V.Trân M.Hamilton T.Lutovac L.Padgham J.Thangarajah Jessica Rivera-Villicana Fabio Zambetta Marsha Berry J.Vaghani D.B.Kemp Z.Somogyi P.J.Stuckey T.S.Leask
Talks about:
logic (6) program (5) system (3) linear (3) goal (3) constraint (2) direct (2) proof (2) model (2) lygon (2)

Person: James Harland

DBLP DBLP: Harland:James

Contributed to:

SAC 20072007
KR 20042004
KR 20022002
CL 20002000
CADE 19971997
ILPS 19951995
ICLP 19931993
ILPS 19931993
JICSLP 19921992
ICLP 19911991
ILPS 19911991
NACLP 19891989
CHI PLAY 20182018

Wrote 15 papers:

SAC-2007-GooneratneTH #algorithm #graph #traversal #using #verification #web #web service
Verification of web service descriptions using graph-based traversal algorithms (NG, ZT, JH), pp. 1385–1392.
KR-2004-TranHH #reasoning
Observation Expectation Reasoning in Agent Systems (BVT, JH, MH), pp. 246–254.
KR-2002-WinikoffPHT #declarative
Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.
CL-2000-HarlandLW #logic #multi #proving
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.
CADE-1997-HarlandP #constraints
Resource-Distribution via Boolean Constraint (JH, DJP), pp. 222–236.
ILPS-1995-HarlandPW #overview #perspective #programming
Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.
ILPS-1995-WinikoffH #implementation #linear #logic programming #programming language
Implementing the Linear Logic Programming Language Lygon (MW, JH), pp. 66–80.
ICLP-1993-HarlandR #constraints #linear #recursion
Constraint Propagation for Linear Recursive Rules (JH, KR), pp. 683–699.
ICLP-1993-VaghaniRKSSLH #database #deduction
Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.
ILPS-1993-Harland #logic #on the
On Goal-Directed Provability in Classical Logic (JH), p. 677.
JICSLP-1992-Harland #equivalence #logic programming #normalisation #on the #source code
On Normal Forms and Equivalence for Logic Programs (JH), pp. 146–160.
ICLP-1991-Harland #logic programming #source code
A Clausal Form for the Completion of Logic Programs (JH), pp. 711–725.
ISLP-1991-HarlandP #linear #logic programming
The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.
A Kripke-like Model for Negation as Failure (JH), pp. 626–642.
CHI-PLAY-2018-Rivera-Villicana #interactive
Informing a BDI Player Model for an Interactive Narrative (JRV, FZ, JH, MB), pp. 417–428.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.