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: Harland:James
Contributed to:
2007
20042002
2000
1997
1995199319931992199119911989
2018Wrote 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.
- NACLP-1989-Harland
- 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.