Lin Padgham
Lin Padgham
Professor of Artificial Intelligence, RMIT University
Verified email at rmit.edu.au - Homepage
Title
Cited by
Cited by
Year
Developing intelligent agent systems: A practical guide
L Padgham, M Winikoff
John Wiley & Sons, 2005
8792005
Prometheus: A methodology for developing intelligent agents
L Padgham, M Winikoff
International Workshop on Agent-Oriented Software Engineering, 174-185, 2002
7342002
Declarative and procedural goals in intelligent agent systems
M Winikoff, L Padgham, J Harland, J Thangarajah
International Conference on Principles of Knowledge Representation and Reasoning, 2002
2432002
Reframing social sustainability reporting: Towards an engaged approach
L Magee, A Scerri, P James, JA Thom, L Padgham, S Hickmott, H Deng, ...
Environment, development and sustainability 15 (1), 225-243, 2013
1872013
Hierarchical planning in BDI agent programming languages: A formal approach
S Sardina, L de Silva, L Padgham
Proceedings of the fifth international joint conference on Autonomous agentsá…, 2006
1572006
Detecting and avoiding interference between goals in intelligent agents
J Thangarajah, L Padgham, M Winikoff
International Joint Conference on Artificial Intelligence, 2003
1392003
Debugging multi-agent systems using design artifacts: The case of interaction protocols
D Poutakidis, L Padgham, M Winikoff
Proceedings of the first international joint conference on Autonomous agentsá…, 2002
1372002
A BDI agent programming language with failure handling, declarative goals, and planning
S Sardina, L Padgham
Autonomous Agents and Multi-Agent Systems 23 (1), 18-70, 2011
1012011
Tool support for agent development using the Prometheus methodology
L Padgham, J Thangarajah, M Winikoff
Fifth International Conference on Quality Software (QSIC'05), 383-388, 2005
912005
Representation and Reasoning for Goals in BDI Agents.
J Thangarajah, L Padgham, J Harland
ACSC, 259-265, 2002
892002
Simplifying the development of intelligent agents
M Winikoff, L Padgham, J Harland
Australian Joint Conference on Artificial Intelligence, 557-568, 2001
862001
Adding debugging support to the Prometheus methodology
L Padgham, M Winikoff, D Poutakidis
Engineering Applications of Artificial Intelligence 18 (2), 173-190, 2005
832005
Prometheus: A practical agent-oriented methodology
L Padgham, M Winikoff
Agent-oriented methodologies, 107-135, 2005
832005
Detecting & exploiting positive goal interaction in intelligent agents
J Thangarajah, L Padgham, M Winikoff
Proceedings of the second international joint conference on Autonomousá…, 2003
802003
Avoiding resource conflicts in intelligent agents
J Thangarajah, M Winikoff, L Padgham, K Fischer
ECAI 2, 18-22, 2002
752002
A framework for part-of hierarchies in terminological logics
L Padgham, P Lambrix
Principles of Knowledge Representation and Reasoning, 485-496, 1994
741994
First principles planning in BDI systems
L De Silva, S Sardina, L Padgham
8th International Conference on Autonomous Agents and Multiagent Systemsá…, 2009
672009
Formalisations of capabilities for BDI-agents
L Padgham, P Lambrix
Autonomous Agents and Multi-Agent Systems 10 (3), 249-271, 2005
612005
Model-based test oracle generation for automated unit testing of agent systems
L Padgham, Z Zhang, J Thangarajah, T Miller
IEEE Transactions on Software Engineering 39 (9), 1230-1244, 2013
602013
Automated Unit Testing for Agent Systems.
Z Zhang, J Thangarajah, L Padgham
ENASE 7, 10-18, 2007
582007
The system can't perform the operation now. Try again later.
Articles 1–20