Stop the war!Остановите войну!
for scientists:
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
- 2023
[j40]Margaret Hamilton, James Harland:
Editors' Message. Inroads 14(1): 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) - [c99]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) - [c98]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) - [c97]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 - [c96]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) 2020: 290-291 - [c95]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES 2020: 3379-3388 - [c94]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS 2020: 241 - [c93]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) - [c92]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CHI PLAY (Companion) 2019: 645-652 - [c91]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD 2019 - [c90]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
- [c89]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Informing a BDI Player Model for an Interactive Narrative. CHI PLAY 2018: 417-428 - [c88]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE 2018: 159-168 - [c87]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 - [c86]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) - [c85]Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland:
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS 2016: 1247-1248 - [c84]Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry:
Towards a BDI Player Model for Interactive Narratives. ECAI 2016: 1648-1649 - [c83]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 - [c82]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
- [c81]Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland:
Repository of Wisdom: Automated Support for Composing Programming Exams. ACE 2015: 129-136 - [c80]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 - [c79]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) - [c78]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 - [c77]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Towards quantifying the completeness of BDI goals. AAMAS 2014: 1369-1370 - [c76]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Quantifying the Completeness of Goals in BDI Agent Systems. ECAI 2014: 879-884 - [c75]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 - [c74]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) - [c73]Richard Gluga, Judy Kay, Raymond Lister, Simon, Michael Charleston, James Harland, Donna Teague:
A conceptual model for reflecting on expected learning vs. demonstrated student performance. ACE 2013: 77-86 - [c72]James Harland, Daryl J. D'Souza, Margaret Hamilton:
A comparative analysis of results on programming exams. ACE 2013: 117-126 - [c71]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 - [c70]James Harland:
Busy Beaver Machines and the Observant Otter Heuristic. CATS 2013: 53-52 - [c69]Wafaa Adnan Alsaggaf, Margaret Hamilton, James Harland:
CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE 2013: 1-8 - [c68]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 - [c67]Arnold Pears, James Harland, Margaret Hamilton, Roger Hadgraft:
What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE 2013: 106-113 - [c66]Charles Thevathayan, James Harland, Peter Bertók:
An Endorsement Trust Model. TrustCom/ISPA/IUCC 2013: 829-836 - 2012
- [c65]Luke Trodd, James Harland, John Thangarajah:
Agent deliberation via forward and backward chaining in linear logic. AAMAS 2012: 1443-1444 - [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
- <