default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJames Harland
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j46]Margaret Hamilton, James Harland:
Editors' Message. Inroads 15(1): 4 (2024)- [j45]Margaret Hamilton, James Harland:
Editors' Message. Inroads 15(2): 4 (2024) - [j44]Margaret Hamilton, James Harland:
Editors' Message. Inroads 15(3): 4 (2024) - [c101]Chowdhury Shahriar Muzammel
, Maria Spichkova, James Harland:
Cultural influence on RE activities: An extended analysis of state of the art. MobileHCI (Companion) 2024: 13:1-13:8 - [i9]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on autonomous vehicles acceptance. CoRR abs/2404.03694 (2024) - [i8]Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland:
Cultural influence on RE activities: An extended analysis of state of the art. CoRR abs/2407.17038 (2024) - 2023
- [j43]Margaret Hamilton, James Harland:
Editors' Message. Inroads 14(1): 4 (2023) - [j42]Margaret Hamilton, James Harland:
Editors' Message. Inroads 14(2): 4 (2023) - [j41]Margaret Hamilton, James Harland:
Editors' Message. Inroads 14(3): 4 (2023) - [j40]Margaret Hamilton, James Harland:
Editors' Message. Inroads 14(4): 4 (2023) - 2022
- [j39]James Harland, John Thangarajah, Neil Yorke-Smith:
Quantifying the progress of goals in intelligent agents. Int. J. Agent Oriented Softw. Eng. 7(2): 108-151 (2022) - [j38]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(1): 4 (2022) - [j37]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(2): 4 (2022) - [j36]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(3): 4 (2022) - [j35]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(4): 4 (2022) - [j34]James Harland:
Generating candidate busy beaver machines (or how to build the zany zoo). Theor. Comput. Sci. 922: 368-394 (2022) - [c100]Nasser Alzahrani, Maria Spichkova, James Harland:
Application of Property-based Testing Tools for Metamorphic Testing. ENASE 2022: 553-560 - [i7]Nasser Alzahrani, Maria Spichkova, James Harland:
Application of property-based testing tools for metamorphic testing. CoRR abs/2211.12003 (2022) - 2021
- [j33]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(1): 4 (2021) - [j32]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(2): 4 (2021) - [j31]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(4): 4 (2021) - [c99]Maria Spichkova, Tawfeeq Alsanoosy, James Harland:
Impact of Organisational Culture on the Requirement Engineering Activities. RE 2021: 426-427 - 2020
- [j30]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(1): 4 (2020) - [j29]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(2): 4 (2020) - [j28]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(3): 4 (2020) - [j27]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(4): 4 (2020) - [j26]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural influence on requirements engineering activities: a systematic literature review and analysis. Requir. Eng. 25(3): 339-362 (2020) - [c98]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. EASE 2020: 354-359 - [c97]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) 2020: 290-291 - [c96]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES 2020: 3379-3388 - [c95]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS 2020: 241 - [c94]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE 2020: 394-395
2010 – 2019
- 2019
- [j25]Mark Bailey, Laurie A. Smith King, Margaret Hamilton, James Harland:
Editors' message. Inroads 10(1): 4 (2019) - [j24]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(2): 4 (2019) - [j23]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(3): 4 (2019) - [j22]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(4): 4 (2019) - [c93]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CHI PLAY (Companion) 2019: 645-652 - [c92]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD 2019 - [c91]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
The influence of power distance on requirements engineering activities. KES 2019: 2394-2403 - [i6]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CoRR abs/1909.07268 (2019) - [i5]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Informing a BDI Player Model for an Interactive Narrative. CoRR abs/1909.10414 (2019) - 2018
- [c90]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Informing a BDI Player Model for an Interactive Narrative. CHI PLAY 2018: 417-428 - [c89]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE 2018: 159-168 - [c88]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. ENASE (Selected Papers) 2018: 240-260 - [c87]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. ICECCS 2018: 61-70 - [i4]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. CoRR abs/1807.01930 (2018) - 2017
- [j21]James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith:
Aborting, suspending, and resuming goals and plans in BDI agents. Auton. Agents Multi Agent Syst. 31(2): 288-331 (2017) - [j20]Yoosef B. Abushark, Tim Miller, John Thangarajah, Michael Winikoff, James Harland:
Requirements specification via activity diagrams for agent-based systems. Auton. Agents Multi Agent Syst. 31(3): 423-468 (2017) - [j19]Yoosef B. Abushark, John Thangarajah, James Harland, Tim Miller:
A framework for automatically ensuring the conformance of agent designs. J. Syst. Softw. 131: 266-310 (2017) - 2016
- [j18]Simeon Visser, John Thangarajah, James Harland, Frank Dignum:
Preference-based reasoning in BDI agent systems. Auton. Agents Multi Agent Syst. 30(2): 291-330 (2016) - [j17]James Harland:
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). Theor. Comput. Sci. 646: 61-85 (2016) - [c86]Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland:
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS 2016: 1247-1248 - [c85]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Towards a BDI Player Model for Interactive Narratives. ECAI 2016: 1648-1649 - [c84]James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd:
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE 2016: 363-369 - [c83]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Using BDI to Model Players Behaviour in an Interactive Fiction Game. ICIDS 2016: 209-220 - [i3]James Harland:
Busy Beaver Machines and the Observant Otter Heuristic (or How to Tame Dreadful Dragons). CoRR abs/1602.03228 (2016) - [i2]James Harland:
Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo). CoRR abs/1610.03184 (2016) - 2015
- [c82]Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland:
Repository of Wisdom: Automated Support for Composing Programming Exams. ACE 2015: 129-136 - [c81]Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff:
Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models. AAMAS 2015: 1071-1079 - [c80]John Thangarajah, James Harland, Neil Yorke-Smith:
Estimating the Progress of Maintenance Goals. AAMAS 2015: 1645-1646 - 2014
- [j16]James Harland, David N. Morley, John Thangarajah, Neil Yorke-Smith:
An operational semantics for the goal life-cycle in BDI agents. Auton. Agents Multi Agent Syst. 28(4): 682-719 (2014) - [j15]Simon Duff, John Thangarajah, James Harland:
Maintenance Goals in Intelligent Agents. Comput. Intell. 30(1): 71-114 (2014) - [j14]Tatjana Lutovac, James Harland:
Detection and analysis of some redundancies in linear logic sequent proofs. J. Log. Comput. 24(1): 187-232 (2014) - [c79]Yoosef B. Abushark, John Thangarajah, Tim Miller, James Harland:
Checking consistency of agent designs against interaction protocols for early-phase defect location. AAMAS 2014: 933-940 - [c78]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Towards quantifying the completeness of BDI goals. AAMAS 2014: 1369-1370 - [c77]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Quantifying the Completeness of Goals in BDI Agent Systems. ECAI 2014: 879-884 - [c76]Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah:
Checking The Correctness of Agent Designs Against Model-Based Requirements. ECAI 2014: 953-954 - [c75]Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft:
Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful. LaTiCE 2014: 272-277 - 2013
- [j13]Tatjana Lutovac, James Harland:
A contribution to automated-oriented reasoning about permutability of sequent calculi rules. Comput. Sci. Inf. Syst. 10(3): 1185-1210 (2013) - [c74]Richard Gluga, Judy Kay, Raymond Lister, Simon, Michael A. Charleston, James Harland, Donna Teague:
A conceptual model for reflecting on expected learning vs. demonstrated student performance. ACE 2013: 77-86 - [c73]James Harland, Daryl J. D'Souza, Margaret Hamilton:
A comparative analysis of results on programming exams. ACE 2013: 117-126 - [c72]Judy Sheard, Simon, Angela Carbone, Donald Chinn, Tony Clear, Malcolm Corney, Daryl J. D'Souza, Joel Fenwick, James Harland, Mikko-Jussi Laakso, Donna Teague:
How difficult are exams?: a framework for assessing the complexity of introductory programming exams. ACE 2013: 145-154 - [c71]James Harland:
Busy Beaver Machines and the Observant Otter Heuristic. CATS 2013: 53-52 - [c70]Wafaa Adnan Alsaggaf, Margaret Hamilton, James Harland:
CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE 2013: 1-8 - [c69]Mercy Maleko, Dip Nandi, Margaret Hamilton, Daryl J. D'Souza, James Harland:
Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education. LaTiCE 2013: 83-89 - [c68]Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft:
What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE 2013: 106-113 - [c67]Charles Thevathayan, James Harland, Peter Bertók:
An Endorsement Trust Model. TrustCom/ISPA/IUCC 2013: 829-836 - 2012
- [c66]Luke Trodd, James Harland, John Thangarajah:
Agent deliberation via forward and backward chaining in linear logic. AAMAS 2012: 1443-1444 - [c65]Daryl J. D'Souza, James Harland, Margaret Hamilton, Wafaa Adnan Alsaggaf, Mikko-Jussi Laakso:
The Use of Laptop Computers in Programming Lectures. ACIS 2012 - [c64]Luke Trodd, James Harland, John Thangarajah:
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT 2012: 57-75 - [c63]Simon, Daryl J. D'Souza, Judy Sheard, James Harland, Angela Carbone, Mikko-Jussi Laakso:
Can computing academics assess the difficulty of programming examination questions? Koli Calling 2012: 160-163 - [c62]Jian Zhong, Vinod Mirchandani, Peter Bertók, James Harland:
µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. PACIS 2012: 148 - 2011
- [c61]Simeon Visser, John Thangarajah, James Harland:
Reasoning about preferences in BDI agent systems. AAMAS 2011: 1139-1140 - [c60]James Harland:
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). CATS 2011: 151-160 - [c59]Judy Sheard, Simon, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl J. D'Souza, James Harland, Raymond Lister, Anne Philpott, Geoff Warburton:
Exploring programming assessment instruments: a classification scheme for examination questions. ICER 2011: 33-38 - [c58]Simeon Visser, John Thangarajah, James Harland:
Reasoning about Preferences in Intelligent Agent Systems. IJCAI 2011: 426-431 - 2010
- [c57]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. DALT 2010: 1-21 - [c56]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
On the Life-Cycle of BDI Agent Goals. ECAI 2010: 1031-1032
2000 – 2009
- 2009
- [j12]Joachim Gudmundsson, James Harland:
Preface. Int. J. Found. Comput. Sci. 20(1): 1-2 (2009) - [c55]Alex Holkner, James Harland:
Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25 - 2008
- [c54]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412 - [c53]Nalaka Gooneratne, Zahir Tari, James Harland:
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591 - [e4]James Harland, Prabhu Manyem:
Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings. CRPIT 77, Australian Computer Society 2008, ISBN 978-1-920682-58-3 [contents] - 2007
- [j11]Min Xu, Lin Padgham, Aloys Mbala, James Harland:
Tracking reliability and helpfulness in agent interactions. Web Intell. Agent Syst. 5(1): 31-46 (2007) - [c52]Ken Gardiner, James Harland, Margaret Hamilton:
A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. ACAL 2007: 281-291 - [c51]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Aborting tasks in BDI agents. AAMAS 2007: 6 - [c50]Duc Quang Pham, James Harland:
Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28 - [c49]James Harland:
Analysis of Busy Beaver Machines via Induction Proofs. CATS 2007: 71-78 - [c48]Lavindra de Silva, Anthony Dekker, James Harland:
Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139 - [c47]Duc Quang Pham, James Harland, Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157 - [c46]Nalaka Gooneratne, Zahir Tari, James Harland:
Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148 - [c45]Nalaka Gooneratne, Zahir Tari, James Harland:
Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392 - 2006
- [j10]Tatjana Lutovac, James Harland:
Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006) - [c44]Duc Quang Pham, James Harland:
Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237 - [c43]Simon Duff, James Harland, John Thangarajah:
On proactivity and maintenance goals. AAMAS 2006: 1033-1040 - [c42]James Harland:
The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS 2006: 79-86 - 2005
- [c41]Tatjana Lutovac, James Harland:
A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200 - 2004
- [j9]James Harland, Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004) - [c40]Michael Winikoff, Wei Liu, James Harland:
Enhancing Commitment Machines. DALT 2004: 198-220 - [c39]Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78 - [c38]Bình Vu Trân, James Harland, Margaret Hamilton:
Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254 - [c37]Tatjana Lutovac, James Harland:
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. STRATEGIES@IJCAR 2004: 115-147 - 2003
- [j8]James Harland, David J. Pym:
Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003) - [c36]Margaret Hamilton, James Harland, Lin Padgham:
Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211 - [c35]Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141 - [c34]Bình Vu Trân, James Harland, Margaret Hamilton:
A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172 - [c33]Bao Toan Phung, Seng Wai Loke, James Harland:
Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565 - [c32]James Harland:
Preface. CATS 2003: 303-304 - [e3]James Harland:
Computing: the Australasian Theory Symposiumm, CATS 2003, Adelaide, SA, Australia, February 4-7, 2003. Electronic Notes in Theoretical Computer Science 78, Elsevier 2003 [contents] - 2002
- [c31]Omer F. Rana, Michael Winikoff, Lin Padgham, James Harland:
Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids. ACSC 2002: 205-214 - [c30]John Thangarajah, Lin Padgham, James Harland:
Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265 - [c29]James Harland, Michael Winikoff:
Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939 - [c28]Michael Winikoff, Lin Padgham, James Harland, John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481 - [c27]James Harland, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA 2002: 89-107 - [c26]James Harland:
Preface. CATS 2002: 212-213 - [e2]James Harland:
Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia. Electronic Notes in Theoretical Computer Science 61, Elsevier 2002 [contents] - 2001
- [c25]Michael Winikoff, Lin Padgham, James Harland:
Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568 - 2000
- [c24]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. ARW 2000 - [c23]James Harland, Tatjana Lutovac, Michael Winikoff:
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268 - [c22]Abdullah-Al Amin, Michael Winikoff, James Harland:
Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817 - [c21]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000: 1-16 - [i1]James Harland, David J. Pym:
Resource-distribution via Boolean constraints. CoRR cs.LO/0012018 (2000)
1990 – 1999
- 1998
- [c20]Steve Callaghan, Gerard Ellis, James Harland:
Filters for Graph Matching. CATS 1998: 121-136 - 1997
- [j7]James Harland:
On goal-directed provability in classical logic. Comput. Lang. 23(2-4): 161-178 (1997) - [c19]Lawrence Cavedon, James Harland, Lin Padgham:
Problem based learning with technological support in an AI subject: description and evaluation. ACSE 1997: 191-200 - [c18]James Harland, David J. Pym:
Resource-Distribution via Boolean Constraint (Extended Abstract). CADE 1997: 222-236 - 1996
- [c17]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: An Overview. AMAST 1996: 391-405 - [c16]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A System Demonstration. AMAST 1996: 599 - 1995
- [c15]Michael Winikoff, James Harland:
Implementing the Linear Logic Programming Language Lygon. ILPS 1995: 66-80 - [c14]James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A Brief Overview. ILPS 1995: 636 - 1994
- [j6]James Harland:
A Proof-Theoretic Analysis of Goal-Directed Provability. J. Log. Comput. 4(1): 69-88 (1994) - [j5]David J. Pym, James Harland:
A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. 4(2): 175-207 (1994) - [j4]Kotagiri Ramamohanarao, James Harland:
An Introduction to Deductive Database Languages and Systems. VLDB J. 3(2): 107-122 (1994) - [j3]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
The Aditi Deductive Database System. VLDB J. 3(2): 245-288 (1994) - [c13]Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao:
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. EDBT 1994: 59-72 - 1993
- [j2]James Harland:
Success and Failure for Hereditary Harrop Formulae. J. Log. Program. 17(1): 1-29 (1993) - [c12]James Harland, Kotagiri Ramamohanarao:
An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 6-17 - [c11]James Harland, Kotagiri Ramamohanarao:
An Aditi Implementation of a Flights Database. Workshop on Programming with Logic Databases (Book), ILPS 1993: 83-100 - [c10]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
The Aditi Deductive Datebase System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161 - [c9]James Harland, Kotagiri Ramamohanarao:
Constraint Propagation for Linear Recursive Rules. ICLP 1993: 683-699 - [c8]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
Status of the Aditi Deductive Database System. ICLP 1993: 851 - [c7]James Harland:
On Goal-Directed Provability in Classical Logic. ILPS 1993: 677 - 1992
- [c6]James Harland, Kotagiri Ramamohanarao:
Constraints for Query Optimization in Deductive Databases. Future Databases 1992: 332-336 - [c5]James Harland:
On Normal Forms and Equivalence for Logic Programs. JICSLP 1992: 146-160 - [c4]James Harland, David J. Pym:
On Resolution in Fragments of Classical Linear Logic. LPAR 1992: 30-41 - [e1]Kotagiri Ramamohanarao, James Harland, Guozhu Dong:
Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, Washington, D.C., USA, Saturday, November 14, 1992. Technical Report CITRI/TR-92-65, Department of Computer Science, University of Melbourne 1992 [contents] - 1991
- [b1]James Harland:
On hereditary Harrop formulae as a basis for logic programming. University of Edinburgh, UK, 1991 - [c3]James Harland:
A Clausal Form for the Completion of Logic Programs. ICLP 1991: 711-725 - [c2]James Harland, David J. Pym:
The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP 1991: 304-318
1980 – 1989
- 1989
- [c1]James Harland:
A Kripke-like Model for Negation as Failure. NACLP 1989: 626-642 - 1987
- [j1]James Harland, Joxan Jaffar:
On Parallel Unification for Prolog. New Gener. Comput. 5(3): 259-279 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
