James Harland

According to our database1, James Harland authored at least 118 papers between 1987 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Cultural influence on requirements engineering activities: a systematic literature review and analysis.
Requir. Eng., 2020

Does our culture influence requirements engineering activities? Vietnamese practitioners' view.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

A Framework for Identifying Cultural Influences on Requirements Engineering Activities.
Proceedings of the 24th Pacific Asia Conference on Information Systems, 2020

Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Identification of cultural influences on requirements engineering activities.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering.
Proceedings of the EASE '20: Evaluation and Assessment in Software Engineering, 2020

2019
Editors' message.
Inroads, 2019

Editors' message.
Inroads, 2019

The influence of power distance on requirements engineering activities.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View.
Proceedings of the Information Systems Development: Information Systems Beyond 2020, 2019

Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives.
Proceedings of the Extended Abstracts of the Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts, 2019

2018
Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice.
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2018

Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Informing a BDI Player Model for an Interactive Narrative.
Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2018

2017
A framework for automatically ensuring the conformance of agent designs.
J. Syst. Softw., 2017

Aborting, suspending, and resuming goals and plans in BDI agents.
Auton. Agents Multi Agent Syst., 2017

Requirements specification via activity diagrams for agent-based systems.
Auton. Agents Multi Agent Syst., 2017

2016
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons).
Theor. Comput. Sci., 2016

Generating Candidate Busy Beaver Machines (Or How to Build the Zany Zoo).
CoRR, 2016

Preference-based reasoning in BDI agent systems.
Auton. Agents Multi Agent Syst., 2016

Using BDI to Model Players Behaviour in an Interactive Fiction Game.
Proceedings of the Interactive Storytelling, 2016

Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.
Proceedings of the ENASE 2016, 2016

Towards a BDI Player Model for Interactive Narratives.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Requirements Specification in The Prometheus Methodology via Activity Diagrams.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Estimating the Progress of Maintenance Goals.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based Models.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Repository of Wisdom: Automated Support for Composing Programming Exams.
Proceedings of the 17th Australasian Computing Education Conference, 2015

2014
Detection and analysis of some redundancies in linear logic sequent proofs.
J. Log. Comput., 2014

Maintenance Goals in Intelligent Agents.
Comput. Intell., 2014

An operational semantics for the goal life-cycle in BDI agents.
Auton. Agents Multi Agent Syst., 2014

Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful.
Proceedings of the 2014 International Conference on Teaching and Learning in Computing and Engineering, 2014

Quantifying the Completeness of Goals in BDI Agent Systems.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Checking The Correctness of Agent Designs Against Model-Based Requirements.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Towards quantifying the completeness of BDI goals.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Checking consistency of agent designs against interaction protocols for early-phase defect location.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
A contribution to automated-oriented reasoning about permutability of sequent calculi rules.
Comput. Sci. Inf. Syst., 2013

An Endorsement Trust Model.
Proceedings of the 12th IEEE International Conference on Trust, 2013

What is Feedback? Connecting Student Perceptions to Assessment Practices.
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013

Facebook versus Blackboard for Supporting the Learning of Programming in a Fully Online Course: The Changing Face of Computing Education.
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013

CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures.
Proceedings of the 2013 Learning and Teaching in Computing and Engineering, 2013

Busy Beaver Machines and the Observant Otter Heuristic.
Proceedings of the Nineteenth Computing: The Australasian Theory Symposium, 2013

How difficult are exams?: a framework for assessing the complexity of introductory programming exams.
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013

A comparative analysis of results on programming exams.
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013

A conceptual model for reflecting on expected learning vs. demonstrated student performance.
Proceedings of the Fifteenth Australasian Computing Education Conference, 2013

2012
µ-Fractal Based Data Perturbation Algorithm For Privacy Protection.
Proceedings of the 16th Pacific Asia Conference on Information Systems, 2012

Can computing academics assess the difficulty of programming examination questions?
Proceedings of the 12th Koli Calling International Conference on Computing Education Research, 2012

Agent deliberation via forward and backward chaining in linear logic.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Reasoning about Preferences in Intelligent Agent Systems.
Proceedings of the IJCAI 2011, 2011

Exploring programming assessment instruments: a classification scheme for examination questions.
Proceedings of the Seventh International Workshop on Computing Education Research, 2011

Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created).
Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

Reasoning about preferences in BDI agent systems.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

2010
On the Life-Cycle of BDI Agent Goals.
Proceedings of the ECAI 2010, 2010

Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems.
Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

2009
Preface.
Int. J. Found. Comput. Sci., 2009

Evaluating the dynamic behaviour of Python applications.
Proceedings of the Computer Science 2009, 2009

2008
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning.
Proceedings of the Service-Oriented Computing, 2008

Suspending and resuming tasks in BDI agents.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Tracking reliability and helpfulness in agent interactions.
Web Intell. Agent Syst., 2007

Verification of web service descriptions using graph-based traversal algorithms.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Matching Strictly Dependent Global Constraints for Composite Web Services.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

Modeling Agents' Choices in Temporal Linear Logic.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

Planning with Time Limits in BDI Agent Programming Languages.
Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

Analysis of Busy Beaver Machines via Induction Proofs.
Proceedings of the Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30, 2007

Aborting tasks in BDI agents.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Temporal linear logic as a basis for flexible agent interactions.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set.
Proceedings of the Progress in Artificial Life, Third Australian Conference, 2007

2006
Detecting Loops During Proof Search in Propositional Affine Logic.
J. Log. Comput., 2006

The Busy Beaver, the Placid Platypus and other Crazy Creatures.
Proceedings of the Theory of Computing 2006, 2006

Flexible agent protocols via temporal and resource-based reasoning.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On proactivity and maintenance goals.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics.
Electron. Notes Theor. Comput. Sci., 2005

A Redundancy Analysis of Sequent Proofs.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004
Agents via Mixed-Mode Computation in Linear Logic.
Ann. Math. Artif. Intell., 2004

Observation Expectation Reasoning in Agent Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Expectation Reasoning Using Regret and Disappointment.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Enhancing Commitment Machines.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003
Resource-distribution via Boolean constraints.
ACM Trans. Comput. Log., 2003

Preface.
Electron. Notes Theor. Comput. Sci., 2003

Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents.
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

A Combined Logic of Expectation & Observation. A generalisation of BDI logics.
Proceedings of the Declarative Agent Languages and Technologies, 2003

Expectation: the logic of flexible motivation.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Experiences in Teaching Computing Theory via Aspects of Problem-based Learning.
Proceedings of the Fifth Australasian Computing Education Conference (ACE 2003), 2003

2002
Language Design Issues for Agents based on Linear Logic (Extended Abstract).
Electron. Notes Theor. Comput. Sci., 2002

Declarative & Procedural Goals in Intelligent Agent Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

Agent negotiation as proof search in linear logic.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Representation and Reasoning for Goals in BDI Agents.
Proceedings of the Computer Science 2002, 2002

Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids.
Proceedings of the Computer Science 2002, 2002

2001
Simplifying the Development of Intelligent Agents.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
Forward and Backward Chaining in Linear Logic.
Electron. Notes Theor. Comput. Sci., 2000

Agent-Oriented Programming in Linear Logic: An Example.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic.
Proceedings of the Computational Logic, 2000

1998
Filters for Graph Matching.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1997
On goal-directed provability in classical logic.
Comput. Lang., 1997

Resource-Distribution via Boolean Constraint (Extended Abstract).
Proceedings of the Automated Deduction, 1997

Problem based learning with technological support in an AI subject: description and evaluation.
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, 1997

1996
Programming in Lygon: A System Demonstration.
Proceedings of the Algebraic Methodology and Software Technology, 1996

Programming in Lygon: An Overview.
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Implementing the Linear Logic Programming Language Lygon.
Proceedings of the Logic Programming, 1995

Programming in Lygon: A Brief Overview.
Proceedings of the Logic Programming, 1995

1994
The Aditi Deductive Database System
VLDB J., 1994

An Introduction to Deductive Database Languages and Systems
VLDB J., 1994

A Uniform Proof-Theoretic Investigation of Linear Logic Programming.
J. Log. Comput., 1994

A Proof-Theoretic Analysis of Goal-Directed Provability.
J. Log. Comput., 1994

Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.
Proceedings of the Advances in Database Technology, 1994

1993
Success and Failure for Hereditary Harrop Formulae.
J. Log. Program., 1993

Status of the Aditi Deductive Database System.
Proceedings of the Logic Programming, 1993

Constraint Propagation for Linear Recursive Rules.
Proceedings of the Logic Programming, 1993

The Aditi Deductive Datebase System.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

An Aditi Implementation of a Flights Database.
Proceedings of the Applications of Logic Databases, 1993

1992
On Resolution in Fragments of Classical Linear Logic.
Proceedings of the Logic Programming and Automated Reasoning, 1992

On Normal Forms and Equivalence for Logic Programs.
Proceedings of the Logic Programming, 1992

Constraints for Query Optimization in Deductive Databases.
Proceedings of the Second Far-East Workshop on Future Database Systems 1992, 1992

1991
On hereditary Harrop formulae as a basis for logic programming.
PhD thesis, 1991

The Uniform Proof-Theoretic Foundation of Linear Logic Programming.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

A Clausal Form for the Completion of Logic Programs.
Proceedings of the Logic Programming, 1991

1989
A Kripke-like Model for Negation as Failure.
Proceedings of the Logic Programming, 1989

1987
On Parallel Unification for Prolog.
New Gener. Comput., 1987


  Loading...