


Остановите войну!
for scientists:
James 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
- 2022
- [j42]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) - [j41]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(1): 4 (2022) - [j40]Margaret Hamilton, James Harland:
Editors' message. Inroads 13(2): 4 (2022) - [j39]James Harland:
Generating candidate busy beaver machines (or how to build the zany zoo). Theor. Comput. Sci. 922: 368-394 (2022) - [c95]Nasser Alzahrani, Maria Spichkova, James Harland:
Application of Property-based Testing Tools for Metamorphic Testing. ENASE 2022: 553-560 - 2021
- [j38]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(1): 4 (2021) - [j37]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(2): 4 (2021) - [j36]Margaret Hamilton, James Harland:
Editors' message. Inroads 12(4): 4 (2021) - [c94]Maria Spichkova, Tawfeeq Alsanoosy, James Harland:
Impact of Organisational Culture on the Requirement Engineering Activities. RE 2021: 426-427 - 2020
- [j35]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(1): 4 (2020) - [j34]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(2): 4 (2020) - [j33]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(3): 4 (2020) - [j32]Margaret Hamilton, James Harland:
Editors' message. Inroads 11(4): 4 (2020) - [j31]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) - [c93]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 - [c92]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Identification of cultural influences on requirements engineering activities. ICSE (Companion Volume) 2020: 290-291 - [c91]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. KES 2020: 3379-3388 - [c90]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
A Framework for Identifying Cultural Influences on Requirements Engineering Activities. PACIS 2020: 241 - [c89]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Does our culture influence requirements engineering activities? Vietnamese practitioners' view. RE 2020: 394-395
2010 – 2019
- 2019
- [j30]Mark Bailey, Laurie A. Smith King, Margaret Hamilton, James Harland:
Editors' message. Inroads 10(1): 4 (2019) - [j29]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(2): 4 (2019) - [j28]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(3): 4 (2019) - [j27]Margaret Hamilton, James Harland:
Editors' message. Inroads 10(4): 4 (2019) - [c88]Jessica Rivera-Villicana
, Fabio Zambetta
, James Harland, Marsha Berry:
Exploring Apprenticeship Learning for Player Modelling in Interactive Narratives. CHI PLAY (Companion) 2019: 645-652 - [c87]Tawfeeq Alsanoosy, Maria Spichkova, James Harland:
Cultural Influence on Requirements Engineering Activities: Australian Practitioners' View. ISD 2019 - [c86]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
- [c85]Jessica Rivera-Villicana
, Fabio Zambetta
, James Harland, Marsha Berry
:
Informing a BDI Player Model for an Interactive Narrative. CHI PLAY 2018: 417-428 - [c84]Tawfeeq Alsanoosy
, Maria Spichkova, James Harland:
Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. ENASE 2018: 159-168 - [c83]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 - [c82]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
- [j26]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) - [j25]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) - [j24]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
- [j23]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) - [j22]James Harland
:
Busy beaver machines and the observant otter heuristic (or how to tame dreadful dragons). Theor. Comput. Sci. 646: 61-85 (2016) - [c81]Yoosef B. Abushark, John Thangarajah, Tim Miller, Michael Winikoff, James Harland:
Requirements Specification in The Prometheus Methodology via Activity Diagrams. AAMAS 2016: 1247-1248 - [c80]Jessica Rivera-Villicana
, Fabio Zambetta
, James Harland, Marsha Berry
:
Towards a BDI Player Model for Interactive Narratives. ECAI 2016: 1648-1649 - [c79]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 - [c78]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
- [c77]Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland:
Repository of Wisdom: Automated Support for Composing Programming Exams. ACE 2015: 129-136 - [c76]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 - [c75]John Thangarajah, James Harland, Neil Yorke-Smith:
Estimating the Progress of Maintenance Goals. AAMAS 2015: 1645-1646 - 2014
- [j21]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) - [j20]Simon Duff, John Thangarajah
, James Harland:
Maintenance Goals in Intelligent Agents. Comput. Intell. 30(1): 71-114 (2014) - [j19]Tatjana Lutovac, James Harland:
Detection and analysis of some redundancies in linear logic sequent proofs. J. Log. Comput. 24(1): 187-232 (2014) - [c74]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 - [c73]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Towards quantifying the completeness of BDI goals. AAMAS 2014: 1369-1370 - [c72]John Thangarajah
, James Harland, David N. Morley, Neil Yorke-Smith:
Quantifying the Completeness of Goals in BDI Agent Systems. ECAI 2014: 879-884 - [c71]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 - [c70]Arnold Pears
, James Harland, Margaret Hamilton, Roger Hadgraft
:
Four Feed-Forward Principles Enhance Students' Perception of Feedback as Meaningful. LaTiCE 2014: 272-277 - 2013
- [j18]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) - [c69]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 - [c68]James Harland, Daryl J. D'Souza, Margaret Hamilton:
A comparative analysis of results on programming exams. ACE 2013: 117-126 - [c67]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 - [c66]James Harland:
Busy Beaver Machines and the Observant Otter Heuristic. CATS 2013: 53-52 - [c65]Wafaa Alsaggaf
, Margaret Hamilton, James Harland:
CS Students' Readiness and Perceptions of Using Mobile Technology during Lectures. LaTiCE 2013: 1-8 - [c64]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 - [c63]Arnold Pears
, James Harland, Margaret Hamilton, Roger Hadgraft
:
What is Feedback? Connecting Student Perceptions to Assessment Practices. LaTiCE 2013: 106-113 - [c62]Charles Thevathayan, James Harland, Peter Bertók
:
An Endorsement Trust Model. TrustCom/ISPA/IUCC 2013: 829-836 - 2012
- [c61]Luke Trodd, James Harland, John Thangarajah:
Agent deliberation via forward and backward chaining in linear logic. AAMAS 2012: 1443-1444 - [c60]Luke Trodd, James Harland, John Thangarajah
:
Agent Deliberation via Forward and Backward Chaining in Linear Logic. DALT 2012: 57-75 - [c59]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 - [c58]Jian Zhong, Vinod Mirchandani, Peter Bertók, James Harland:
µ-Fractal Based Data Perturbation Algorithm For Privacy Protection. PACIS 2012: 148 - 2011
- [c57]Simeon Visser, John Thangarajah, James Harland:
Reasoning about preferences in BDI agent systems. AAMAS 2011: 1139-1140 - [c56]James Harland:
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). CATS 2011: 151-160 - [c55]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 - [c54]Simeon Visser, John Thangarajah
, James Harland:
Reasoning about Preferences in Intelligent Agent Systems. IJCAI 2011: 426-431 - 2010
- [c53]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 - [c52]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
- [j17]Joachim Gudmundsson
, James Harland:
Preface. Int. J. Found. Comput. Sci. 20(1): 1-2 (2009) - [c51]Alex Holkner, James Harland:
Evaluating the dynamic behaviour of Python applications. ACSC 2009: 17-25 - 2008
- [c50]John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Suspending and resuming tasks in BDI agents. AAMAS (1) 2008: 405-412 - [c49]Nalaka Gooneratne, Zahir Tari, James Harland:
VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. ICSOC 2008: 585-591 - [e2]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
- [j16]Min Xu, Lin Padgham, Aloys Mbala, James Harland:
Tracking reliability and helpfulness in agent interactions. Web Intell. Agent Syst. 5(1): 31-46 (2007) - [c48]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 - [c47]John Thangarajah
, James Harland, David N. Morley, Neil Yorke-Smith:
Aborting tasks in BDI agents. AAMAS 2007: 6 - [c46]Duc Quang Pham, James Harland:
Temporal linear logic as a basis for flexible agent interactions. AAMAS 2007: 28 - [c45]James Harland:
Analysis of Busy Beaver Machines via Induction Proofs. CATS 2007: 71-78 - [c44]Lavindra de Silva, Anthony Dekker, James Harland:
Planning with Time Limits in BDI Agent Programming Languages. CATS 2007: 131-139 - [c43]Duc Quang Pham, James Harland, Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic. DALT 2007: 140-157 - [c42]Nalaka Gooneratne, Zahir Tari
, James Harland:
Matching Strictly Dependent Global Constraints for Composite Web Services. ECOWS 2007: 139-148 - [c41]Nalaka Gooneratne, Zahir Tari
, James Harland:
Verification of web service descriptions using graph-based traversal algorithms. SAC 2007: 1385-1392 - 2006
- [j15]Tatjana Lutovac, James Harland:
Detecting Loops During Proof Search in Propositional Affine Logic. J. Log. Comput. 16(1): 61-133 (2006) - [c40]Duc Quang Pham, James Harland:
Flexible agent protocols via temporal and resource-based reasoning. AAMAS 2006: 235-237 - [c39]Simon Duff, James Harland, John Thangarajah
:
On proactivity and maintenance goals. AAMAS 2006: 1033-1040 - [c38]James Harland:
The Busy Beaver, the Placid Platypus and other Crazy Creatures. CATS 2006: 79-86 - 2005
- [j14]Tatjana Lutovac, James Harland:
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics. Electron. Notes Theor. Comput. Sci. 125(2): 115-147 (2005) - [c37]Tatjana Lutovac, James Harland:
A Redundancy Analysis of Sequent Proofs. TABLEAUX 2005: 185-200 - 2004
- [j13]James Harland, Michael Winikoff:
Agents via Mixed-Mode Computation in Linear Logic. Ann. Math. Artif. Intell. 42(1-3): 167-196 (2004) - [c36]Michael Winikoff, Wei Liu, James Harland:
Enhancing Commitment Machines. DALT 2004: 198-220 - [c35]Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78 - [c34]Bình Vu Trân, James Harland, Margaret Hamilton:
Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254 - 2003
- [j12]James Harland:
Preface. Electron. Notes Theor. Comput. Sci. 78: 303-304 (2003) - [j11]James Harland, David J. Pym:
Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. 4(1): 56-90 (2003) - [c33]Margaret Hamilton, James Harland, Lin Padgham:
Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211 - [c32]Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141 - [c31]Bình Vu Trân, James Harland, Margaret Hamilton:
A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172 - [c30]Bao Toan Phung, Seng Wai Loke, James Harland:
Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents. IAT 2003: 562-565 - 2002
- [j10]James Harland:
Preface. Electron. Notes Theor. Comput. Sci. 61: 212-213 (2002) - [j9]James Harland, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract). Electron. Notes Theor. Comput. Sci. 70(5): 89-107 (2002) - [c29]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 - [c28]John Thangarajah, Lin Padgham, James Harland:
Representation and Reasoning for Goals in BDI Agents. ACSC 2002: 259-265 - [c27]James Harland, Michael Winikoff:
Agent negotiation as proof search in linear logic. AAMAS 2002: 938-939 - [c26]James Harland, Michael Winikoff:
Language Design Issues for Agents based on Linear Logic (Extended Abstract). CLIMA 2002: 79-93 - [c25]Michael Winikoff, Lin Padgham, James Harland, John Thangarajah:
Declarative & Procedural Goals in Intelligent Agent Systems. KR 2002: 470-481 - 2001
- [c24]Michael Winikoff, Lin Padgham, James Harland:
Simplifying the Development of Intelligent Agents. Australian Joint Conference on Artificial Intelligence 2001: 557-568 - 2000
- [j8]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. Electron. Notes Theor. Comput. Sci. 37: 1-16 (2000) - [c23]James Harland, David J. Pym, Michael Winikoff:
Forward and Backward Chaining in Linear Logic. ARW 2000 - [c22]James Harland, Tatjana Lutovac, Michael Winikoff:
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. Computational Logic 2000: 254-268 - [c21]Abdullah-Al Amin, Michael Winikoff, James Harland:
Agent-Oriented Programming in Linear Logic: An Example. PRICAI 2000: 817 - [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