Publications‎ > ‎

Publications - Bibtex entries

@article{WatersPadghamSardina:JAAMAS15,
  author = {Max  Waters and Lin Padgham and Sebastian Sardina},
  title = {Improving Domain-Independent Intention Selection in {BDI} Systems},
  journal = {Autonomous Agents and Multi-Agent Systems},
  year = 2015,
  pages = {683--717},
  volume = 29,
  number = 4,
  keywords = {ssardina, bdi, agents, ao_programming},
  url = {http://link.springer.com/article/10.1007/s10458-015-9293-5},
  doi = {10.1007/s10458-015-9293-5},
  publisher = {Springer}
}
@article{HofstedeMecellaSardina:JDS15,
  author = {Arthur H. M. {ter Hofstede} and Massimo Mecella and Sebastian Sardina},
  title = {Special Issue on: Knowledge-intensive Business Processes},
  journal = {Journal on Data Semantics},
  year = 2015,
  pages = {1--2},
  editor = {Arthur H. M. {ter Hofstede} and Massimo Mecella and Sebastian Sardina},
  keywords = {ssardina, business_processes},
  publisher = {Springer},
  doi = {10.1007/s13740-014-0044-6}
}
@article{ijaoseSustainability,
  author = {Sarah Hickmott and Liam Magee and James Thom and Lin Padgham},
  title = {An Agent-Oriented Approach to Holistic Sustainability Reporting},
  journal = {International Journal of Agent-Oriented Software Engineering (IJAOSE)},
  publisher = {Inderscience},
  optvolume = {TBD},
  optnumber = {TBD},
  year = {2014},
  notes = {To appear.}
}
@inproceedings{DeGiacomoPatriziSardina:ICAPS14,
  author = {De Giacomo, Giuseppe and Patrizi, Fabio and Sardina, Sebastian},
  title = {Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {523--526},
  address = {Portsmouth, NH, USA},
  publisher = {AAAI Press},
  opteditor = {Steve Chien, Minh Do, Alan Fern, and Wheeler Ruml},
  keywords = {ssardina, planning, composition},
  pdf = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/download/8665/8070},
  year = 2014
}
@inproceedings{RamirezYadavSardina:ICAPS14-GRENDEL,
  author = {Ramirez, Miguel and Yadav, Nitin and Sebastian Sardina},
  title = {Directed Fixed-Point Regression-based Planning for Non-Deterministic Domains},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {235--243},
  address = {Portsmouth, NH, USA},
  publisher = {AAAI Press},
  opteditor = {Steve Chien, Minh Do, Alan Fern, and Wheeler Ruml},
  keywords = {ssardina, planning, FOND},
  pdf = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS14/paper/download/7908/8032},
  year = 2014
}
@inproceedings{MarellaMecellaSardina:KR14,
  author = {Andrea Marrella and Massimo Mecella and Sebastian Sardina},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  keywords = {ssardina, golog, bpm},
  pages = {518--527},
  title = {{SmartPM}: An Adaptive Process Management System through Situation Calculus, {IndiGolog}, and Classical Planning},
  optpdf = {http://www.dis.uniroma1.it/~marrella/papers/KR14.pdf},
  editor = {Chitta Baral and Giuseppe De Giacomo and Thomas Eiter},
  address = {Vienna, Austria},
  publisher = {AAAI Press},
  month = jul,
  year = 2014
}
@inproceedings{WatersPadghamSardina:AAMAS14,
  author = {Max  Waters and Lin Padgham and Sebastian Sardina},
  title = {Evaluating Coverage Based Intention Selection},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2014,
  month = may,
  pages = {957--964},
  address = {Paris, France},
  keywords = {ssardina, bdi, agents, ao_programming},
  publisher = {IFAAMAS},
  pdf = {http://aamas2014.lip6.fr/proceedings/aamas/p957.pdf}
}
@inproceedings{iva13-ac,
  title = {A companion robot that can tell stories},
  author = {Carole Adam and Lawrence Cavedon},
  booktitle = {Proceedings of the International Conference on Intelligent Virtual Agents (IVA)},
  year = 2013,
  month = aug,
  volume = {8108},
  series = {Lecture Notes in Computer Science (LNCS)},
  editor = {R. Aylett and B. Krenn and C. Pelachaud and H. Shimodaira},
  publisher = {Springer},
  address = {Edinburgh, UK},
  pdf = {papers/iva13-ac.pdf}
}
@inproceedings{RamirezYadavSardina:ICAPS13,
  author = {Ramirez, Miguel and Yadav, Nitin and Sebastian Sardina},
  title = {Behavior Composition as Fully Observable Non-Deterministic Planning},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {180--188},
  address = {Rome, Italy},
  month = jun,
  publisher = {AAAI Press},
  editor = {Daniel Borrajo and Simone Fratini and Subbarao Kambhampati and Angelo Oddi},
  keywords = {ssardina, composition, planning},
  pdf = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5982/6177},
  year = 2013
}
@inproceedings{YadavSardina:IJCAI13,
  author = {Nitin Yadav and Sebastian Sardina},
  title = {Using Strategic Logics to Reason about Agent Programs},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {3101--3105},
  keywords = {ssardina, ao_programming, agents},
  year = 2013,
  editor = {Francesca Rossi},
  publisher = {AAAI Press},
  pdf = {http://ijcai.org/papers13/Papers/IJCAI13-465.pdf},
  month = aug,
  address = {Beijing, China},
  note = {In Best Papers Sister Conferences track}
}
@inproceedings{YadavFelliDeGiacomoSardina:IJCAI13,
  author = {Nitin Yadav and Paolo Felli and {De Giacomo} Giuseppe and
Sebastian Sardina},
  title = {Supremal Realizability of Behaviors with Uncontrollable
Exogenous Events},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {1176--1182},
  keywords = {ssardina, composition, synthesis, DES},
  pdf = {http://ijcai.org/papers13/Papers/IJCAI13-177.pdf},
  editor = {Francesca Rossi},
  publisher = {AAAI Press},
  month = aug,
  year = 2013,
  address = {Beijing, China}
}
@incollection{promas13-sh,
  title = {Learning to Improve Agent Behaviours in {GOAL}},
  author = {Singh, Dhirendra and Hindriks, Koen V.},
  year = {2013},
  isbn = {978-3-642-38699-2},
  booktitle = {Programming Multi-Agent Systems},
  volume = {7837},
  pages = {158-173},
  series = {Lecture Notes in Computer Science},
  editor = {Dastani, Mehdi and H{\"u}bner, Jomi F. and Logan, Brian},
  doi = {10.1007/978-3-642-38700-5_10},
  url = {http://dx.doi.org/10.1007/978-3-642-38700-5_10},
  publisher = {Springer Berlin Heidelberg},
  keywords = {Agent programming; rule selection; reinforcement learning},
  pdf = {papers/promas13-sh.pdf}
}
@incollection{ourweissch,
  author = {M. Winikoff and L. Padgham},
  title = {Agent Oriented Software Engineering},
  booktitle = {Multiagent Systems},
  year = {2012},
  chapter = {15},
  publisher = {MIT press},
  editor = {Gerhard Weiss},
  pages = {695--757},
  pdf = {papers/mas12-wp.pdf}
}
@article{DeGiacomoPatriziSardina:AIJ13,
  author = {Giuseppe {De Giacomo}  and Patrizi, Fabio and Sebastian Sardina},
  journal = {Artificial Intelligence Journal},
  title = {Automatic Behavior Composition Synthesis},
  doi = {10.1016/j.artint.2012.12.001},
  keywords = {ssardina, composition, synthesis, rac},
  year = 2013,
  volume = 196,
  pages = {106--142},
  publisher = {Elsevier Science Publishers Ltd.}
}
@inproceedings{aamas13-ps,
  author = {Lin Padgham and Dhirendra Singh},
  title = {Situational preferences for {BDI} plans},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2013,
  isbn = {978-1-4503-1993-5},
  location = {St. Paul, MN, USA},
  pages = {1013--1020},
  numpages = {8},
  url = {http://dl.acm.org/citation.cfm?id=2484920.2485080},
  acmid = {2485080},
  publisher = {IFAAMAS},
  address = {Richland, SC},
  pdf = {papers/aamas13-ps.pdf}
}
@article{magee2012reframing,
  title = {Reframing social sustainability reporting: towards an engaged approach},
  author = {Liam Magee and Andy Scerri and Paul James and James A. Thom and Lin Padgham and Sarah Hickmott and Hepu Deng and Felicity Cahill},
  journal = {Environment, Development and Sustainability},
  volume = {15},
  issue = {1},
  pages = {225-243},
  month = {February},
  year = {2013},
  publisher = {Springer},
  pdf = {papers/eds12-msjtphdc.pdf}
}
@article{SHBLajem12,
  author = {David Scerri and Sarah Hickmott and Karyn Bosomworth and Lin Padgham},
  title = {Using modular simulation and agent based modelling to explore emergency management scenarios},
  journal = {Australian Journal of Emergency Management (AJEM)},
  volume = {27},
  issue = {3},
  pages = {44-48},
  month = {July},
  year = {2012},
  pdf = {papers/ajem12-shbp.pdf}
}
@article{PZTMtse12,
  author = {Lin Padgham and Zhiyong Zhang and John Thangarajah and Tim Miller},
  title = {Model-based Test Oracle Generation for Automated Unit Testing of Agent Systems},
  journal = {IEEE Transactions on Software Engineering},
  volume = {39},
  issue = {9},
  pages = {1230-1244},
  month = {September},
  year = {2013},
  pdf = {papers/tse12-pztm.pdf}
}
@inproceedings{wong_et_al_2012f,
  author = {Wilson Wong and Lawrence Cavedon and John Thangarajah and Lin Padgham},
  title = {Mining the Web for Large-Scale Conversational Content},
  booktitle = {Proceedings of the International Conference on Computational Linguistics (COLING)},
  year = {2012},
  address = { Mumbai},
  pages = {},
  optpdf = {papers/coling12-wctp.pdf}
}
@inproceedings{cikm12-wctp,
  author = {Wilson Wong and Lawrence Cavedon and John Thangarajah and Lin Padgham},
  title = {Mixed-Initiative Conversational System using Question-Answer Pairs Mined from the Web},
  booktitle = {Proceedings of the International Conference on Information and Knowledge Management (CIKM)},
  year = {2012},
  pages = {2707-2709},
  address = {Hawaii},
  pdf = {papers/cikm12-wctp.pdf}
}
@inproceedings{interspeech2012,
  author = {D. Macias-Galindo and W. Wong and L. Cavedon and J. Thangarajah},
  title = {Coherent topic transition in a conversational agent},
  booktitle = {Proceedings of the Annual Conference of the International Speech Communication Association (InterSpeech)},
  address = {Portland, Oregon, USA},
  year = {2012},
  pdf = {papers/is12-gwct.pdf}
}
@inproceedings{wong_et_al_2012c,
  author = { Wilson Wong and Lawrence Cavedon John Thangarajah and  Lin Padgham},
  title = {Flexible Conversation Management using a {BDI} Agent Approach},
  booktitle = {Proceedings of the International Conference on Intelligent Virtual Agents (IVA)},
  year = {2012},
  publisher = {Springer},
  address = { Santa Cruz, USA},
  pages = {464-470},
  pdf = {papers/iva12-wctp.pdf}
}
@inproceedings{LukeAAMAS2012,
  author = {Luke Trodd and James Harland and John Thangarajah},
  title = {Agent Deliberation via Forward and Backward chaining in Linear Logic},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  month = {June},
  year = {2012},
  pages = {1443-1444},
  address = {Valencia, Spain},
  pdf = {papers/aamas12-tht.pdf}
}
@inproceedings{WilsonAAMAS2012,
  author = {Wilson Wong and John Thangarajah and Lin Padgham},
  title = {Goal-Driven Approach To Open-Ended Dialogue Management using {BDI} Agents},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  editor = {Conitzer and Winikoff and Padgham and van der Hoek},
  month = jun,
  year = {2012},
  volume = {3},
  pages = {1187--1188},
  address = {Valencia, Spain},
  note = {(Extended Abstract)},
  pdf = {papers/aamas12-wtp.pdf}
}
@proceedings{SakamaSardinaVasconcelosWinikoff:DALT11,
  title = {Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT)},
  year = 2012,
  key = {ssardina, agents},
  editor = {Andrea Omicini and Sebastian Sardina and Wamberto Vasconcelos},
  volume = 7169,
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  keywords = {ssardina, ao_programming, agents},
  note = {Revised Selected and Invited Papers of DALT IX},
  publisher = {Springer},
  isbn = {978-3-642-29112-8},
  doi = {10.1007/978-3-642-29113-5},
  address = {Berlin, Heidelberg},
  pdf = {publications/dalt11-book-frontmatter.pdf}
}
@inproceedings{YadavSardina:JELIA12a,
  author = {Nitin Yadav and Sebastian Sardina},
  title = {Reasoning about {BDI} Agent Programs using {ATL}-like Logics},
  booktitle = {Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)},
  pages = {437--449},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = 7519,
  editor = {Luis {Fari\~nas del Cerro} and Andreas Herzig and J\'er\^ome Mengin},
  year = 2012,
  month = sep,
  address = {Toulouse, France},
  isbn = {978-3-642-33352-1},
  url = {http://arxiv.org/abs/1207.3874}
}
@inproceedings{YadavSardina:JELIA12b,
  author = {Nitin Yadav and Sebastian Sardina},
  title = {Qualitative Approximate Behavior Composition},
  booktitle = {Proceedings of the European Conference on Logics in Artificial Intelligence (JELIA)},
  pages = {450--462},
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = 7519,
  publisher = {Springer},
  editor = {Luis {Fari\~nas del Cerro} and Andreas Herzig and J\'er\^ome Mengin},
  year = 2012,
  month = sep,
  address = {Toulouse, France},
  isbn = {978-3-642-33352-1},
  url = {http://arxiv.org/abs/1207.3863}
}
@inproceedings{Shapiro.etal:AAMAS12,
  author = {Steven Shapiro and Sebastian Sardina and John Thangarajah and Lawrence Cavedon and Lin Padgham},
  title = {Revising Conflicting Intention Sets in {BDI} Agents},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  optpages = {xxx-yyy},
  publisher = {IFAAMAS},
  editor = {Conitzer and Winikoff and Padgham and van der Hoek},
  year = 2012,
  month = jun,
  volume = {2},
  pages = {1081--1088},
  address = {Valencia, Spain},
  pdf = {papers/aamas12-sstcp.pdf}
}
@inproceedings{SHPwsc12,
  author = {David Scerri and Sarah Hickmott and Lin Padgham},
  title = {User Understanding of Cognitive Processes in Simulation: A Tool for Exploring and Modifying},
  booktitle = {Winter Simulation Conference (WSC)},
  year = {2012},
  pages = {},
  month = dec,
  address = {Berlin, Germany},
  pdf = {papers/wsc12-shp.pdf}
}
@inproceedings{JohnAAMAS2012,
  author = {John Thangarajah and Sebastian Sardina and Lin Padgham},
  title = {Measuring Plan Coverage and Overlap for Agent Reasoning},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  editor = {Conitzer and Winikoff and Padgham and van der Hoek},
  month = jun,
  year = {2012},
  address = {Valencia, Spain},
  pages = {1081-1088},
  pdf = {papers/aamas12-tsp.pdf}
}
@article{wong_et_al_2012b,
  author = { Wilson Wong and John Thangarajah and  Lin Padgham},
  title = { Contextual Question Answering for the Health Domain},
  journal = {Journal of the American Society for Information Science and Technology (JASIST)},
  volume = {63},
  number = {11},
  pages = {2313-2327},
  publisher = {Wiley-Blackwell},
  year = {2012},
  pdf = {papers/jasist12-wtp.pdf}
}
@inproceedings{HickmottMTPAAMAS2012,
  author = {Sarah Hickmott and Liam Magee and James Thom and Lin Padgham},
  title = {An Adaptive System for Pro-actively Supporting Sustainability Goals},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  editor = {Conitzer and Winikoff and Padgham and van der Hoek},
  month = jun,
  year = {2012},
  address = {Valencia, Spain},
  pages = {1163-1164},
  note = {(Extended Abstract)},
  pdf = {papers/aamas12-hmtp.pdf}
}
@inproceedings{WongTCPAAMAS2012,
  author = {Wilson Wong and Lawrence  Cavedon and John Thangarajah  and Lin Padgham},
  title = {A Goal Driven Approach to Open Ended Dialogue Management Using {BDI} Agents},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  editor = {Conitzer and Winikoff and Padgham and van der Hoek},
  month = jun,
  year = {2012},
  address = {Valencia, Spain},
  pages = {1187-1188},
  note = {(Extended Abstract)},
  pdf = {papers/aamas12-wctp.pdf}
}
@inproceedings{adcs2011,
  author = {S. N. Kim and L. Cavedon and T. Baldwin},
  title = {Harvesting domain-specific terms using Wikipedia},
  booktitle = {Australasian Document Computing Symposium (ADCS)},
  address = {Canberra, Australia},
  year = {2011}
}
@inproceedings{alta2011,
  author = {S.N. Kim and L. Cavedon},
  title = {Classifying domain-specific terms using a dictionary},
  booktitle = {Australasian Language Technology Workshop (ALTA)},
  address = {Canberra, Australia},
  year = {2011}
}
@inproceedings{spatial_science2011,
  author = {S. Winter and A. Kealy and M. Duckham and A. Rajabifard and K-F. Richter and T. Baldwin and L. Stirling and L. Cavedon and D. Richter},
  title = {Starting to talk about place},
  booktitle = {Spatial Sciences and Surveying Biennial Conference},
  address = {Wellington, NZ},
  year = {2011}
}
@inproceedings{ausai2011,
  author = {D. Macias-Galindo and W. Wong and L. Cavedon and J. Thangarajah},
  title = {Using a lexical dictionary and a folksonomy to automatically construct domain ontologies},
  booktitle = {Proceedings of the Australian Joint Conference on AI (AI)},
  address = {Perth, Australia},
  year = {2011}
}
@inproceedings{ijcai-wshop2011,
  author = {D. Macias-Galindo and L. Cavedon and J. Thangarajah},
  title = {Building modular knowledge bases for a conversational agent},
  booktitle = {IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems},
  address = {Barcelona, Spain},
  year = {2011}
}
@inproceedings{VisserIJCAI11,
  author = {Simeon Visser and John Thangarajah and James Harland},
  title = {Reasoning about Preferences in Intelligent Agent Systems},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  address = {Barcelona,Spain},
  month = jul,
  publisher = {IJCAI/AAAI},
  year = {2011},
  pages = {426--431},
  isbn = {978-1-57735-516-8},
  comment = {papers/ijcai11-vth.pdf}
}
@inproceedings{NguyenPBPT09,
  author = {Cu D. Nguyen and Anna Perini and Carole Bernon and Juan Pav{\'o}n and John Thangarajah},
  title = {Testing in Multi-Agent Systems},
  pages = {180-190},
  editor = {Marie Pierre Gleizes and Jorge J. G{\'o}mez-Sanz},
  booktitle = {Agent-Oriented Software Engineering X},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6038},
  year = {2011},
  isbn = {978-3-642-19207-4},
  comment = { PDF }
}
@inproceedings{visser:aamas-11,
  title = {Reasoning about Preferences in BDI Agent Systems},
  author = {Simeon Visser and John Thangarajah and James Harland},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2011},
  month = may,
  address = {Taipei, Taiwan},
  pages = {1139-1140},
  comment = { PDF }
}
@inproceedings{Macias11b,
  author = {Daniel Macias-Galindo and Wilson Wong and Lawrence Cavedon and John
Thangarajah},
  title = {Using a Lexical Dictionary and a Folksonomy to Automatically
Construct
Domain Ontologies},
  booktitle = {AI 2011: Advances in Artificial Intelligence},
  year = {2011},
  editor = {Dianhui Wang and Mark Reynolds},
  volume = {7106},
  series = {Lecture Notes in Computer Science},
  pages = {638--647},
  publisher = {Springer},
  isbn = {978-3-642-25831-2},
  comment = { PDF }
}
@inproceedings{Macias11,
  author = {Daniel Macias-Galindo and Lawrence Cavedon and John Thangarajah},
  title = {{Building Modular Knowledge Bases for Conversational Agents}},
  booktitle = {{IJCAI} Workshop on Knowledge Representation and Reasoning for Practical Dialogue Systems {(KRPDS)}},
  year = {2011},
  pages = {16--23},
  comment = { PDF }
}
@incollection{coverageaose,
  author = {Tim Miller and Lin Padgham and John Thangarajah},
  affiliation = {Department of Computer Science and Software Engineering, University of Melbourne, Australia},
  title = {Test Coverage Criteria for Agent Interaction Testing},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  series = {Lecture Notes in Computer Science},
  editor = {Weyns, Danny and Gleizes, Marie-Pierre},
  publisher = {Springer Berlin / Heidelberg},
  pages = {91-105},
  volume = {6788},
  year = {2011},
  pdf = {papers/aose11-mpt.pdf}
}
@misc{fose08-w,
  author = {Michael Winikoff},
  title = {The Future of Agent-Based Software Engineering: Goals and Verification \& Validation are Key},
  howpublished = {Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008},
  year = {2008},
  pdf = {papers/fose08-w.pdf}
}
@inproceedings{ai01-wph,
  author = {Michael Winikoff and Lin Padgham and James Harland},
  title = {Simplifying the Development of Intelligent Agents},
  booktitle = {AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence},
  year = {2001},
  pages = {555-568},
  publisher = {Springer, LNAI 2256},
  pdf = {papers/ai01-wph.pdf}
}
@inproceedings{acsc02-rwph,
  author = {Omer Rana and Michael Winikoff and Lin Padgham and James Harland},
  title = {Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids},
  booktitle = {Australasian Conference on Computer Science },
  year = {2002},
  pdf = {papers/acsc02-rwph.pdf}
}
@inproceedings{kr02-wpht,
  author = {Michael Winikoff and Lin Padgham and James Harland and John Thangarajah},
  title = {Declarative \& Procedural Goals in Intelligent Agent Systems},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  pages = {470-481},
  year = {2002},
  address = {Toulouse, France},
  publisher = {Morgan Kaufmann},
  pdf = {papers/kr02-wpht.pdf}
}
@inproceedings{challenges02-hw,
  author = {Joshua Hutchison and Michael Winikoff},
  title = {Flexibility and Robustness in Agent Interaction Protocols},
  booktitle = {Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems},
  year = {2002},
  month = jul,
  address = {Bologna, Italy},
  publisher = {ACM Press},
  pdf = {papers/challenges02-hw.pdf}
}
@inproceedings{aose03-jsw,
  author = {Thomas Juan and Leon Sterling and Michael Winikoff},
  title = {Assembling Agent Oriented Software Engineering Methodologies from Features},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  pages = {198-209},
  publisher = {Springer},
  volume = {LNCS 2585},
  year = {2003},
  pdf = {papers/aose03-jsw.pdf}
}
@inproceedings{aois03-dw,
  author = {Khanh Hoa Dam and Michael Winikoff},
  title = {Comparing Agent-Oriented Methodologies},
  booktitle = {Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems},
  year = {2003},
  pages = {52-59},
  editor = {Paolo Giorgini and Michael Winikoff},
  address = {Melbourne, Australia},
  pdf = {papers/aois03-dw.pdf}
}
@inproceedings{challenges03-swl,
  author = {Lavindra Priyalal de Silva and Michael Winikoff and Wei Liu},
  title = {Extending Agents by Transmitting Protocols in Open Systems},
  booktitle = {Proceedings of the Challenges in Open Agent Systems '03 Workshop},
  year = {2003},
  address = {Melbourne, Australia},
  pdf = {papers/challenges03-swl.pdf}
}
@inproceedings{dalt04-wlh,
  author = {Michael Winikoff and Wei Liu and James Harland},
  booktitle = {workshop on Declarative Agent Languages and Technologies (DALT)},
  date-added = {2008-10-27 15:50:13 +1300},
  date-modified = {2008-10-27 15:50:43 +1300},
  pages = {198-220},
  pdf = {papers/dalt04-wlh.pdf},
  title = {Enhancing Commitment Machines},
  volume = {LNAI 3476},
  year = {2004}
}
@inproceedings{promas05-w,
  author = {Michael Winikoff},
  booktitle = {Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS)},
  date-added = {2008-10-27 15:49:34 +1300},
  date-modified = {2008-10-27 15:49:59 +1300},
  month = {July},
  pdf = {papers/promas05-w.pdf},
  title = {An {AgentSpeak} Meta-Interpreter and its Applications},
  year = {2005}
}
@inproceedings{kes05-pwp,
  author = {Toan Phung and Michael Winikoff and Lin Padgham},
  booktitle = {Knowledge-Based Intelligent Information and Engineering Systems (part III)},
  date-added = {2008-10-27 15:47:57 +1300},
  date-modified = {2008-10-27 15:49:05 +1300},
  pdf = {papers/kes05-pwp.pdf},
  publisher = {Springer},
  title = {Learning within the BDI Framework: An Empirical Analysis},
  volume = {LNCS 3685},
  year = {2005}
}
@inproceedings{iseat05-w,
  author = {Michael Winikoff},
  booktitle = {First international workshop on Integration of Software Engineering and Agent Technology (ISEAT)},
  date-added = {2008-10-27 15:47:15 +1300},
  date-modified = {2008-10-27 15:47:45 +1300},
  pages = {401-406},
  pdf = {papers/iseat05-w.pdf},
  publisher = {IEEE},
  title = {Towards Making Agent UML Practical: A Textual Notation and a Tool},
  year = {2005}
}
@inproceedings{iseat05-kw,
  author = {Jason Khallouf and Michael Winikoff},
  booktitle = {First international workshop on Integration of Software Engineering and Agent Technology (ISEAT)},
  date-added = {2008-10-27 15:45:22 +1300},
  date-modified = {2008-10-27 15:46:35 +1300},
  pages = {389-394},
  pdf = {papers/iseat05-kw.pdf},
  publisher = {IEEE},
  title = {Towards Goal-Oriented Design of Agent Systems},
  year = {2005}
}
@inproceedings{selmas06-cw,
  author = {Christopher Cheong and Michael Winikoff},
  booktitle = {Software Engineering for Multi-Agent Systems IV: Research Issues and Practical Applications},
  date-added = {2008-10-27 15:42:30 +1300},
  date-modified = {2008-10-27 15:43:19 +1300},
  pdf = {papers/selmas06-cw.pdf},
  publisher = {Springer-Verlag},
  title = {Improving Flexibility and Robustness in Agent Interactions: {E}xtending {P}rometheus with {H}ermes},
  volume = {LNCS 3914},
  year = {2006}
}
@inproceedings{promas05-cw,
  author = {Christopher Cheong and Michael Winikoff},
  booktitle = {Proceedings of the Third international Workshop on Programming Multi-Agent Systems (ProMAS)},
  date-added = {2008-10-27 15:42:30 +1300},
  date-modified = {2008-10-27 15:44:39 +1300},
  month = {July},
  pdf = {papers/promas05-cw.pdf},
  title = {Hermes: {Implementing} Goal-Oriented Agent Interactions},
  year = {2005}
}
@inproceedings{aose05-cw,
  author = {Christopher Cheong and Michael Winikoff},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  date-added = {2008-10-27 15:42:30 +1300},
  date-modified = {2008-10-27 15:43:54 +1300},
  month = {July},
  pdf = {papers/aose05-cw.pdf},
  title = {{Hermes}: {D}esigning Goal-Oriented Agent Interactions},
  year = {2005}
}
@inproceedings{iat06-w,
  author = {Michael Winikoff},
  booktitle = {IAT},
  date-added = {2008-10-27 15:28:25 +1300},
  date-modified = {2008-10-27 15:28:49 +1300},
  pdf = {papers/iat06-w.pdf},
  title = {Designing Commitment-Based Agent Interactions},
  year = {2006}
}
@inproceedings{aamas07-w,
  author = {Michael Winikoff},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  date-added = {2008-10-27 15:27:33 +1300},
  date-modified = {2008-10-27 15:27:53 +1300},
  pdf = {papers/aamas07-w.pdf},
  title = {Implementing Commitment-Based Interactions},
  year = {2007}
}
@inproceedings{esaw07-bdw,
  author = {Rafael H. Bordini and Mehdi Dastani and Michael Winikoff},
  booktitle = {Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World (ESAW)},
  date-added = {2008-10-27 15:24:02 +1300},
  date-modified = {2008-10-27 15:25:50 +1300},
  pdf = {papers/esaw07-bdw.pdf},
  publisher = {Springer},
  title = {Current Issues in Multi-Agent Systems Development (Invited Paper)},
  volume = {LNAI 4457},
  year = {2007}
}
@inproceedings{aamas08-rdw,
  author = {M. Birna van Riemsdijk and Mehdi Dastani and Michael Winikoff},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  date-added = {2008-10-27 15:23:17 +1300},
  date-modified = {2008-10-27 15:23:49 +1300},
  pdf = {papers/aamas08-rdw.pdf},
  title = {Goals in Agent Systems: A Unifying Framework},
  year = {2008}
}
@inproceedings{iccmsn08-wc,
  author = {Michael Winikoff and Stephen Cranefield},
  booktitle = {International Conference on Computer Mediated Social Networking (ICCMSN)},
  date-added = {2008-10-27 15:14:59 +1300},
  date-modified = {2008-10-27 15:15:55 +1300},
  pdf = {papers/iccmsn08-wc.pdf},
  title = {Eliciting Expectations for Monitoring Social Interactions},
  year = {2008}
}
@inproceedings{coin08-cw,
  author = {Stephen Cranefield and Michael Winikoff},
  booktitle = {COIN workshop},
  date-added = {2008-10-27 15:14:57 +1300},
  date-modified = {2008-10-27 15:20:52 +1300},
  pdf = {papers/coin08-cw.pdf},
  title = {Verifying social expectations by model checking truncated paths},
  year = {2008}
}
@article{MAGS06-W,
  author = {Michael Winikoff},
  journal = {Multiagent and Grid Systems},
  number = {4},
  pdf = {papers/MAGS06-W.pdf},
  title = {Implementing Flexible and Robust Agent Interactions using Distributed Commitment Machines},
  volume = {2},
  year = {2006}
}
@article{IJAOSE07-W,
  author = {Michael Winikoff},
  journal = {International Journal of Agent-Oriented Software Engineering (IJAOSE)},
  number = {2},
  pages = {123-144},
  pdf = {papers/IJAOSE07-W.pdf},
  title = {Defining syntax and providing tool support for Agent UML using a textual notation},
  volume = {1},
  year = {2007}
}
@article{IJAOSE-KW,
  author = {Jason Khallouf and Michael Winikoff},
  journal = {International Journal of Agent-Oriented Software Engineering (IJAOSE)},
  pdf = {papers/IJAOSE-KW.pdf},
  title = {Goal-Oriented Design of Agent Systems: A Refinement of Prometheus and its Evaluation},
  year = {2009}
}
@incollection{mseas04-wp,
  author = {Michael Winikoff and Lin Padgham},
  booktitle = {Methodologies and Software Engineering for Agent Systems},
  chapter = {11},
  date-added = {2008-10-27 15:06:45 +1300},
  date-modified = {2008-10-27 15:07:15 +1300},
  editor = {Federico Bergenti and Marie-Pierre Gleizes and Franco Zambonelli},
  pdf = {papers/mseas04-wp.pdf},
  publisher = {Kluwer Academic Publishing (New York)},
  title = {The Prometheus Methodology},
  year = {2004}
}
@incollection{MAP05-W,
  author = {Michael Winikoff},
  booktitle = {Multi-Agent Programming},
  date-added = {2008-10-27 15:02:00 +1300},
  date-modified = {2008-10-27 15:06:31 +1300},
  editor = {Rafael H. Bordini and Mehdi Dastani and Jurgen Dix and Amal El Fallah Seghrouchni},
  pages = {175-193},
  pdf = {papers/MAP05-W.pdf},
  publisher = {Springer},
  title = {JACK Intelligent Agents: An Industrial Strength Platform},
  year = {2005}
}
@incollection{MASSDOM-CW,
  author = {Christopher Cheong and Michael Winikoff},
  booktitle = {Multi-Agent Systems -- Semantics and Dynamics of Organizational Models},
  chapter = {5},
  date-added = {2008-10-27 15:01:59 +1300},
  date-modified = {2008-10-27 15:01:59 +1300},
  editor = {Virginia Dignum},
  pdf = {papers/MASSDOM-CW.pdf},
  publisher = {IGI},
  title = {Hermes: {D}esigning Flexible and Robust Agent Interactions},
  year = {2009}
}
@inproceedings{aamas05-cw,
  author = {Christopher Cheong and Michael Winikoff},
  title = {Hermes: {A} Methodology for Goal-Oriented Agent Interactions (poster)},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2005,
  pdf = {papers/aamas05-cw.pdf}
}
@inproceedings{pricai00-awh,
  author = {Abdullah Al-Amin and Michael Winikoff and James Harland},
  title = {Agent-Oriented Programming in Linear Logic: An Example (poster)},
  booktitle = {Sixth Pacific Rim International Conference on Artificial Intelligence (PRICAI)},
  publisher = {Springer, LNAI 1886},
  editor = {Mizoguchi \& Slaney},
  year = 2000,
  pdf = {papers/pricai00-awh.pdf}
}
@inproceedings{HoaAOIS03,
  title = {Comparing Agent-Oriented Methodologies},
  author = {Khanh Hoa Dam and Michael Winikoff},
  booktitle = {AOIS},
  editor = {Paolo Giorgini and Brian Henderson-Sellers and Michael Winikoff},
  pages = {78-93},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {3030},
  year = {2003},
  biburl = {http://www.bibsonomy.org/bibtex/291ab33c6edbe4d96754803e3f062c074/dblp},
  description = {dblp},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3030&spage=78},
  date = {2004-06-28}
}
@inproceedings{HoaAAMAS08,
  author = {Khanh Hoa Dam and Michael Winikoff},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  editor = {Padgham and Parkes and M{\"u}ller and Parsons},
  month = {May},
  title = {Cost-Based {BDI} Plan Selection for Change Propagation},
  year = {2008},
  pages = {217--224},
  pdf = {papers/aamas08-dw.pdf},
  address = {Estoril, Portuga}
}
@inproceedings{HoaAOSE07,
  author = {Khanh Hoa Dam and Michael Winikoff},
  title = {Generation of Repair Plans for Change Propagation},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  editor = {Michael Luck and Lin Padgham},
  month = apr,
  pages = {132--146},
  year = {2008},
  volume = {4951},
  publisher = {Springer Berlin / Heidelberg},
  series = {Lecture Notes in Computer Science (LNCS)},
  isbn = {978-3-540-79487-5}
}
@inproceedings{HoaAOSE08,
  author = {Khanh Hoa Dam and Michael Winikoff},
  title = {Evaluating an Agent-Oriented approach for Change Propagation},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  year = {2008},
  editor = {Michael Luck and Jorge J. Gomez-Sanz},
  pages = {61--72},
  address = {Estoril, Portugal},
  month = may
}
@inproceedings{HoaASWEC06,
  author = {Khanh Hoa Dam and Michael Winikoff and Lin Padgham},
  booktitle = {Proceedings of the Australian Software Engineering Conference (ASWEC)},
  isbn = {0-7695-2551-2},
  location = {Sydney, Australia},
  pages = {309--318},
  publisher = {IEEE Computer Society},
  title = {An agent-oriented approach to change propagation in software evolution},
  year = {2006}
}
@inproceedings{XiaodongHoaCEC03,
  author = {Xiaodong Li and Khanh Hoa Dam},
  title = {Comparing Particle Swarms for Tracking Extrema in Dynamic Environments},
  booktitle = {Proceeding of the 2003 Congress on Evolutionary Computation (CEC'03)},
  year = {2003},
  pages = {1772--1779},
  location = {Piscataway, NJ},
  publisher = {IEEE Service Center}
}
@inproceedings{AGENTCITIES03-DSWPL,
  author = {Lavindra de Silva and Michael Winikoff and Wei Liu},
  title = {Extending Agents by Transmitting Protocols in Open Systems},
  booktitle = {Proceedings of the 2nd International Workshop on Challenges in Open Agent Environments},
  year = {2003},
  pdf = {papers/agentcities03-dswpl.pdf},
  address = {Melbourne, Australia},
  month = jul
}
@inproceedings{ICAPS05-DSP,
  author = {Lavindra de Silva and Lin Padgham},
  title = {Planning on Demand in {BDI} Systems},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {37--40},
  year = {2005},
  pdf = {papers/icaps05-dsp.pdf},
  address = {Monterey, California, USA},
  note = {Poster},
  month = jun
}
@inproceedings{AJCAI04-DSP,
  author = {Lavindra de Silva and Lin Padgham},
  title = {A Comparison of {BDI} Based Real-Time Reasoning and {HTN} Based Planning},
  booktitle = {Proceedings of the Australian Joint Conference on Artificial Intelligence},
  pages = {1167--1173},
  year = {2004},
  pdf = {papers/ajcai04-dsp.pdf},
  address = {Cairns, Australia},
  month = dec
}
@inproceedings{IAWTIC-DDS,
  author = {Anthony Dekker and Lavindra de Silva},
  title = {Investigating Organisational Structures with Networks of Planning Agents},
  booktitle = {Proceedings of the International Conference on Intelligent Agents, 
                     Web Technologies and Internet Commerce},
  pages = {25},
  year = {2006},
  pdf = {papers/iawtic-dds.pdf},
  address = {Sydney, Australia},
  month = nov
}
@inproceedings{CATS-DSD,
  author = {Lavindra de Silva and Anthony Dekker},
  title = {Planning with Time Limits in {BDI} Agent Programming Languages},
  booktitle = {Proceedings of Computing: the Australasian Theory Symposium},
  pages = {131--139},
  year = {2007},
  pdf = {papers/cats-dsd.pdf},
  address = {Ballarat, Australia},
  month = jan
}
@inproceedings{Pham:DALT:07,
  author = {Quam Duc Pham and James Harland and Michael Winikoff},
  title = {Modelling Agent's Choices in Temporal Linear Logic},
  booktitle = {Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT)},
  year = {2007},
  month = {May}
}
@inproceedings{Pham:AAMAS:07,
  author = {Quam Duc Pham and James Harland},
  title = {Temporal Linear Logic as a Basis for Flexible Agent Interactions},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {124--131},
  year = {2007},
  month = {May}
}
@inproceedings{Duff:AAMAS:06,
  author = {Simon Duff and James Harland and John Thangarajah},
  title = {On Proactivity and Maintenance Goals},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {1033--1040},
  year = {2006},
  address = {Hakodate},
  month = {May}
}
@inproceedings{Pham:AAMAS:06,
  author = {Quang Duc Pham and James Harland},
  title = {Flexible agent protocols via temporal and resource-based reasoning (short paper)},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {235--237},
  year = {2006},
  address = {Hakodate},
  month = {May}
}
@inproceedings{Tran:ECAI:04,
  author = {Vu Binh Tran and James Harland and Margaret Hamilton},
  title = {Expectation Reasoning using Regret and Disappointment},
  booktitle = {Proceedings of the European Conference in Artificial Intelligence (ECAI)},
  pages = {74--78},
  year = {2004},
  address = {Valencia},
  month = {August}
}
@inproceedings{Tran:KR:04,
  author = {Vu Binh Tran and James Harland and Margaret Hamilton},
  title = {Observation Expectation Reasoning in Agent Systems},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  pages = {246--254},
  year = {2004},
  address = {Whistler},
  month = {June}
}
@article{Harland:AMAI:04,
  author = {James Harland and Michael Winikoff},
  title = {Agents via Mixed-mode Computation in Linear Logic},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {42},
  number = {1/3},
  pages = {167--196},
  year = {2004}
}
@inproceedings{Toan:IAT:03,
  author = {Toan Phung and Seng Loke and James Harland},
  title = {Adding Flexibility Using Structured Goals: the Case of Itinerant Mobile Agents (short paper)},
  booktitle = {Proceedigns of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT)},
  pages = {562--565},
  year = {2003},
  address = {Halifax},
  month = {October}
}
@inproceedings{Tran:DALT:03,
  author = {Vu Binh Tran and James Harland and Margaret Hamilton},
  title = {A Combined Logic of Expectation and Observation: A Generalisation of BDI Logics},
  booktitle = {Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT)},
  year = {2003},
  address = {Melbourne},
  month = {July}
}
@inproceedings{Tran:AAMAS:03,
  author = {Vu Binh Tran and James Harland and Margaret Hamilton},
  title = {Expectation: the Logic of Flexible Motivation (poster)},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {1140--1141},
  year = {2003},
  address = {Melbourne},
  month = {July}
}
@inproceedings{Harland:CLIMA:02,
  author = {James Harland and Michael Winikoff},
  title = {Language Design Issues for Agents based on Linear Logic (Extended Abstract)},
  booktitle = {Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)},
  pages = {79--93},
  year = {2002},
  address = {Copenhagen},
  month = {August}
}
@inproceedings{Harland:AAMAS:02,
  author = {James Harland and Michael Winikoff},
  title = {Agent Negotiation as Proof Search in Linear Logic (poster)},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {938--939},
  year = {2002},
  address = {Bologna},
  month = {July}
}
@inproceedings{Rana:ACSC:02,
  author = {Omar Rana and Michael Winikoff and Lin Padgham and James Harland},
  title = {Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids},
  booktitle = {Proceedigns of the Australasian Computer Science Conference (ACSC)},
  year = {2002},
  address = {Melbourne},
  month = {January}
}
@inproceedings{Harland:CLIMA:01,
  author = {James Harland and Michael Winikoff},
  title = {Agents via Mixed-mode Computation in Linear Logic: A Proposal},
  booktitle = {Proceedings of the International Workshop on Computational Logic in Multi-Agent Systems (CLIMA)},
  year = {2001},
  address = {Paphos},
  month = {November}
}
@inproceedings{Amin:PRICAI:00,
  author = {Abdullah-Al Amin and Michael Winikoff and James Harland},
  title = {Agent-Oriented Programming in Linear Logic: An Example (poster)},
  booktitle = {Proceedings of the Pacific Rim International Conference on Artificial Intelligence (PRICAI)},
  pages = {817},
  year = {2000},
  address = {Melbourne},
  month = {August}
}
@inproceedings{alag07-SPC,
  author = {Andy Song and Lin Padgham and Lawrence Cavedon},
  title = {Prediction in Dynamic Environment:Robocup Rescue Exploration},
  booktitle = {Adaptive Learning Agents Workshop 2007 in AAMAS07},
  year = {2007},
  page = {22-27},
  editor = {K.Tumer and S.Sen and L. Panait},
  pdf = {papers/alag07-SPC.pdf}
}
@inproceedings{aamas09-ZTP,
  author = {Zhang, Zhiyong and Thangarajah, John and Padgham, Lin},
  title = {Model based testing for agent systems},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  editor = {Carles Sierra and Cristiano Castelfranchi and Keith S. Decker and Jaime Sim{\~a}o Sichman},
  publisher = {IFAAMAS},
  year = {2009},
  pages = {1333--1334},
  isbn = {978-0-9817381-7-8},
  address = {Budapest, Hungary},
  note = {(Extended Abstract)},
  pdf = {papers/aamas09-ZTP.pdf}
}
@incollection{agentprogramming-PWPZ,
  author = {David Poutakidis and Michael Winikoff and Lin Padgham and Zhiyong
	Zhang},
  title = {Debugging and Testing of Multi-Agent Systems using Design Artefacts},
  booktitle = {Multi-Agent Programming: Languages, Tools and Applications},
  publisher = {Springer US},
  year = {2009},
  pages = {215-258},
  citeseerurl = {http://www.springerlink.com/content/p301848l6348845},
  citeulike-article-id = {6009625},
  doi = {http://dx.doi.org/10.1007/978-0-387-89299-3_7},
  isbn = {978-0-387-89298-6},
  pdf = {papers/agentprogramming-PWPZ.pdf}
}
@inproceedings{aamas08-ZTP,
  author = {Zhang, Zhiyong and Thangarajah, John and Padgham, Lin},
  title = {Automated unit testing intelligent agents in PDT},
  booktitle = {AAMAS '08: Proceedings of the 7th international joint conference
	on Autonomous agents and multiagent systems},
  year = {2008},
  pages = {1673--1674},
  publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
  location = {Estoril, Portugal},
  pdf = {papers/aamas08-ZTP.pdf}
}
@inproceedings{enase07-ZTP,
  author = {Zhiyong Zhang and John Thangarajah and lin Padgham},
  title = {Automated unit testing for agent systems},
  booktitle = {Proceedings of the Second International Working Conference on Evaluation
	of Novel Approaches to Software Engineering (ENASE-07)},
  year = {2007},
  pages = {10 - 18},
  address = {Barcelona, Spain},
  month = {July},
  pdf = {papers/enase07-ZTP.pdf}
}
@inproceedings{aamas-eca-wshop,
  author = {Carole Adam and Lawrence Cavedon and Lin Padgham},
  title = {Flexible conversation management in an engaging virtual character},
  booktitle = {International Workshop on Interacting with {ECAs} as Virtual Characters at Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  address = {Toronto, Canada},
  month = may,
  year = 2010
}
@inproceedings{companions-wshop,
  author = {Carole Adam and Lawrence Cavedon and Lin Padgham},
  title = {"{H}ello {E}mily, how are you today?" Personalised dialogue in a toy to engage children},
  booktitle = {Workshop on Companionable Dialogue Systems (CDS) at Proceedings of the Annual Meeting of Association for Computational Linguistics},
  address = {Uppsala, Sweden},
  month = jul,
  year = {2010},
  pdf = {papers/cds10-acp.pdf}
}
@inproceedings{emotions-wshop,
  author = {Simon Whitehead and Lawrence Cavedon},
  title = {Generating shifting sentiment for a conversational agent},
  booktitle = {{NAACL-HLT 2010} Workshop on Computational Approaches to Analysis and Generation of Emotion in Text},
  address = {Los Angeles},
  year = 2010
}
@inproceedings{fml-wshop,
  author = {Carole Adam and Lawrence Cavedon},
  title = {An extension of FML for a lexicon of engaging communicative strategies},
  booktitle = {{AAMAS-09} Workshop on Towards a Standard Markup Language for Embodied Dialogue Acts {(EDAML)}},
  address = {Budapest},
  year = 2009
}
@book{cavedon-ws-mas,
  editor = {L. Cavedon and Z. Maamar and D. Martin and B. Benatallah},
  year = 2005,
  title = {Extending Web Services Technologies: The Use of Multi-Agent Approaches},
  publisher = {Springer},
  address = {Berlin},
  note = {{ISBN}: 0-387-23343-1, 328 pages}
}
@book{cavedon-llc,
  editor = {L. Cavedon and P. Blackburn and N. Braisby and A. Shimojima},
  year = 2001,
  title = {Logic, Language and Computation, Volume 3, {CSLI Lecture Notes, Number 111}},
  publisher = {CSLI Publications and Chicago University Press},
  address = {Chicago},
  note = {{ISBN}: 1-575-86267-0, 354 pages}
}
@book{cavedon-pricai,
  editor = {L. Cavedon and A. Rao and W. Wobcke},
  year = 1997,
  title = {Intelligent Agent Systems: Theoretical and Practical Issues, Lecture Notes in {AI} 1209},
  publisher = {Springer},
  address = {Berlin},
  note = {{ISBN}: 3-540-62686-7, 188 pages}
}
@proceedings{cavedon-alta,
  editor = {L. Cavedon and I. Zukerman},
  year = 2006,
  title = {Proceedings of the 2006 Australasian Language Technology Workshop},
  address = {Sydney},
  note = {{ISBN}: 1-74108-146-7, 166 pages}
}
@proceedings{cavedon-eii,
  editor = {L. Cavedon and F. Cheng and R. Dale and D. Traum},
  year = 2006,
  title = {Proceedings of the {IUI} Workshop on Effective Multimodal Dialogue Interfaces},
  address = {Sydney}
}
@article{bao-journal,
  author = {Bao Quoc Vo and L. Padgham and L. Cavedon},
  year = 2007,
  title = {Negotiating flexible agreements by combining distributive and integrative negotiation},
  journal = {Intelligent Decision Technologies},
  volume = {1},
  number = {(1-2)},
  pages = {33--47}
}
@article{cavedon-minds,
  author = {L. Cavedon},
  year = 1998,
  title = {Default reasoning as situated monotonic inference},
  journal = {Minds and Machines},
  volume = {8},
  number = {4},
  pages = {509--531}
}
@article{cavedon-pbl,
  author = {L. Cavedon and D. D'Souza and J. Harland and S. Howell and L. Padgham},
  year = 1997,
  title = {Combining Problem Based Learning with technological support},
  journal = {Austrian Journal for Higher Education},
  volume = {1},
  pages = {132--147}
}
@article{cavedon-acta,
  author = {L. Cavedon and S. Glasbey},
  year = 1997,
  title = {Outline of an information-flow model of generics},
  journal = {Acta Linguistica Hungarica},
  volume = {42},
  number = {(3-4)},
  pages = {227--245}
}
@inproceedings{purver-interspeech,
  author = {M. Purver and F. Ratiu and L.Cavedon},
  year = 2006,
  title = {Robust interpretation in dialogue by combining confidence scores with contextual features},
  booktitle = {{INTERSPEECH}: International Conference on Spoken Language Processing},
  address = {Pittsburgh {PA}},
  pages = {1--4}
}
@inproceedings{weng-interspeech,
  author = {F. Weng and S. Varges and B. Raghunathan and F. Ratiu and H. Pon-Barry and B. Lathrop and Q. Zhang and T. Scheideck and H. Bratt and K. Xu and M. Purver and R. Mishra and M. Raya and S. Peters and Y. Meng and L. Cavedon and L. Shriberg},
  year = 2006,
  title = {{CHAT}: A conversational helper for automotive tasks},
  booktitle = {{INTERSPEECH}: International Conference on Spoken Language Processing},
  address = {Pittsburgh {PA}},
  pages = {1061--1064}
}
@inproceedings{mirkovic-pacling,
  author = {D. Mirkovic and L. Cavedon},
  year = 2005,
  title = {Practical multi-domain, multi-device dialogue management},
  booktitle = {{PACLING'05}: 6th Meeting of the Pacific Assoc. for Computational Linguistics},
  address = {Tokyo},
  pages = {235--243}
}
@inproceedings{dignum-icmas,
  author = {F. Dignum and D. Morley and E. Sonenberg and L. Cavedon},
  year = 2000,
  title = {Towards socially sophisticated {BDI} agents},
  booktitle = {Fourth International Conference on Multi-Agent Systems},
  address = {Boston {MA}},
  pages = {111--118}
}
@inproceedings{pynadath-atal,
  author = {D. V. Pynadath and M. Tambe and N. Chauvat and L. Cavedon},
  year = 1999,
  title = {Toward team-oriented programming},
  booktitle = {6th Workshop on Agents, Theories, Architectures and Languages {(ATAL'99)}},
  address = {Orlando {FL}},
  pages = {233--247}
}
@inproceedings{cavedon-icmas98,
  author = {L. Cavedon and E. Sonenberg},
  year = 1998,
  title = {On social commitment, roles and preferred goals},
  booktitle = {International Conference on Multi-Agent Systems},
  address = {Paris},
  pages = {80--87}
}
@inproceedings{westendorp-ai98,
  author = {J. Westendorp and P. Scerri and L. Cavedon},
  year = 1998,
  title = {Strategic behaviour-based reasoning with dynamic, partial information},
  booktitle = {Proceedings of the Australian Joint Conference on AI (AI)},
  address = {Brisbane},
  pages = {297--308}
}
@inproceedings{cavedon-wwca96,
  author = {L. Cavedon and A. Rao and E. Sonenberg and G. Tidhar},
  year = 1996,
  title = {Teamwork via team plans in intelligent autonomous agent systems},
  booktitle = {International Conference on WorldWide Computing and its Applications},
  address = {Tsukuba, Japan},
  pages = {106--121},
  note = {Invited paper}
}
@inproceedings{cavedon-pbl97,
  author = {L. Cavedon and J. Harland and L. Padgham},
  year = 1997,
  title = {Problem based learning with technological support in an AI subject: description and evaluation},
  booktitle = {Second Australasian Conference on Computer Science Education},
  address = {Melbourne},
  pages = {191--200}
}
@inproceedings{cavedon-llc97,
  author = {L. Cavedon},
  year = 1997,
  title = {A channel-theoretic model for conditional logics},
  editor = {J. Seligman and D. Westerstahl},
  booktitle = {Logic, Language and Computation, Volume 1, {CSLI} Lecture Notes, Volume 58},
  publisher = {{CSLI} Publications and U. Chicago Press}
}
@inproceedings{cavedon-pricai96,
  author = {L. Cavedon and A. Rao},
  year = 1996,
  title = {Bringing about rationality: Incorporating plans into a {BDI} architecture},
  booktitle = {4th Pacific Rim Int'l Conference on Artificial Intelligence},
  address = {Cairns},
  pages = {601--612}
}
@inproceedings{cavedon-pricai-wshop96,
  author = {L. Cavedon and A. Rao and G. Tidhar},
  year = 1996,
  title = {Social and individual commitment},
  booktitle = {{PRICAI'96} Workshop on Theoretical and Practical Foundations of Intelligent Agents},
  address = {Cairns},
  pages = {152--163}
}
@inproceedings{cavedon-amsterdam,
  author = {L. Cavedon and S. Glasbey},
  year = 1995,
  title = {The role of context in the interpretation of generics},
  booktitle = {Tenth Amsterdam Colloquium on Logic and Language},
  address = {Amsterdam},
  pages = {143--162}
}
@inproceedings{cavedon-ai95a,
  author = {L. Cavedon and G .Tidhar and D. Morley},
  year = 1995,
  title = {A framework for modelling multi-agent systems},
  booktitle = {8th Australian Joint Conference on Artificial Intelligence},
  address = {Canberra},
  pages = {139--146}
}
@inproceedings{cavedon-ai95b,
  author = {L. Cavedon and L. Padgham and A. Rao and E. Sonenberg},
  year = 1995,
  title = {Revisiting rationality for agents with intentions},
  booktitle = {Eighth Australian Conference on Artificial Intelligence},
  address = {Canberra},
  pages = {131--138}
}
@inproceedings{cavedon-ai95c,
  author = {L. Cavedon and G. Tidhar},
  year = 1995,
  title = {A logical framework for multi-agent systems and joint intentions},
  booktitle = {1st Australian Workshop on Distributed Artificial Intelligence},
  address = {Canberra},
  pages = {16--30}
}
@inproceedings{pdtdemo,
  author = {John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Prometheus Design Tool},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  month = jul,
  address = {Utrecht, The Netherlands},
  year = {2005},
  pages = {127-128},
  note = {(System Demonstration)},
  pdf = {papers/aamas05-tpw.pdf}
}
@inproceedings{pad05_pdt,
  author = {Lin Padgham and John Thangarajah and Michael Winikoff},
  title = {Tool Support for Agent Development using the Prometheus Methodology},
  booktitle = {QSIC '05: Proceedings of the Fifth International Conference on
Quality Software},
  year = {2005},
  pages = {383--388},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  comment = { PDF }
}
@inproceedings{DTH06,
  author = {Simon Duff and James Harland and John Thangarajah},
  title = {On Proactivity and Maintenance Goals},
  booktitle = {AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems},
  pages = {1033--1040},
  year = 2006,
  address = {Hakodate, Japan},
  comment = { PDF }
}
@inproceedings{THMYS07,
  author = {John Thangarajah and James Harland and David Morley and Neil Yorke-Smith},
  title = {Aborting Tasks in {BDI} Agents},
  booktitle = {AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems},
  pages = {8--15},
  year = 2007,
  address = {Hawai'i, USA},
  comment = { PDF }
}
@inproceedings{Than03b,
  author = {John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Detecting and Avoiding Interference Between Goals in Intelligent Agents},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  year = {2003},
  pages = {721--726},
  address = {Acapulco, Mexico},
  pdf = {papers/ijcai03-tpw.pdf}
}
@inproceedings{Than03a,
  author = {John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Detecting and Exploiting Positive Goal Interaction in Intelligent Agents},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2003},
  address = {Melbourne, Australia},
  pages = {401--408},
  pdf = {papers/aamas03-tpw.pdf}
}
@inproceedings{Than02b,
  author = {John Thangarajah and Michael Winikoff and Lin Padgham and
                  Klaus Fischer},
  title = {Avoiding Resource Conflicts in Intelligent Agents},
  booktitle = {ECAI '02: Proceedings of the European Conference on Artificial Intelligence},
  year = 2002,
  address = {Lyon, France},
  pages = {18--22},
  comment = { PDF }
}
@inproceedings{Than02a,
  author = {John Thangarajah and Lin Padgham and James Harland},
  title = {Representation and Reasoning for Goals in {BDI} Agents},
  booktitle = {Proceedings of the Twenty-Fifth Australasian Computer Science
                  Conference (ACSC'02)},
  year = {2002},
  address = {Melbourne, Australia},
  pages = {259--265},
  comment = { PDF }
}
@inproceedings{thangarajah08:suspending,
  author = {John Thangarajah and James Harland and David Morley and
                  Neil Yorke-Smith},
  title = {Suspending and Resuming Tasks in {BDI} Agents},
  booktitle = {AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems},
  pages = {405--412},
  year = 2008,
  address = {Estoril,Portugal},
  comment = { PDF }
}
@inproceedings{PadghamTW07,
  author = {Lin Padgham and John Thangarajah and Michael Winikoff},
  title = {AUML protocols and code generation in the Prometheus design
               tool},
  booktitle = {AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems},
  year = {2007},
  pages = {270},
  address = {Hawai'i, USA},
  note = {(System Demonstration)},
  comment = { PDF }
}
@inproceedings{AOSEPadghamTW07,
  author = {Lin Padgham and John Thangarajah and Michael Winikoff},
  title = {The Prometheus Design Tool - A Conference Management System Case Study},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  volume = {4951},
  series = {Lecture Notes in Computer Science (LNCS)},
  year = {2008},
  pages = {197-211},
  publisher = {{Springer-Verlag}},
  comment = { PDF }
}
@inproceedings{AOSEDignumDTPW07,
  author = {Frank Dignum and Virginia Dignum and John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Open Agent Systems???},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  volume = {4951},
  series = {Lecture Notes in Computer Science (LNCS)},
  year = {2008},
  pages = {73-87},
  publisher = {{Springer-Verlag}},
  comment = { PDF }
}
@inproceedings{JayatillekeTPW06,
  author = {Gaya Buddhinath Jayatilleke and John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Component Agent Framework for domain-Experts (CAFnE) toolkit},
  booktitle = {AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems},
  year = {2006},
  pages = {1465-1466},
  address = {Hakodate, Japan},
  comment = { PDF }
}
@inproceedings{ThangarajahPS06,
  author = {John Thangarajah and Lin Padgham and Sebastian Sardina},
  title = {Modelling situations in Intelligent Agents},
  booktitle = {AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems},
  year = {2006},
  pages = {1049-1051},
  address = {Hakodate, Japan},
  comment = { PDF }
}
@inproceedings{SierraTPW06,
  author = {Carles Sierra and John Thangarajah and Lin Padgham and Michael Winikoff},
  title = {Designing Institutional Multi-Agent Systems},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  series = {Lecture Notes in Computer Science},
  volume = {4405},
  year = {2007},
  pages = {84-103},
  publisher = {{Springer-Verlag}},
  pdf = {papers/aose07-stpw.pdf}
}
@inproceedings{ThangarajahP04,
  author = {John Thangarajah and Lin Padgham},
  title = {An Empirical Evaluation of Reasoning about Resource Conflicts},
  booktitle = {AAMAS '04: Proceedings of The 3rd International Conference on Autonomous Agents and Multiagent Systems},
  year = {2004},
  pages = {1298-1299},
  address = {New York, NY},
  note = {Extended Abstract},
  pdf = {papers/aamas04-tp.pdf}
}
@inproceedings{Zhang2009,
  author = {Zhiyong Zhang and John Thangarajah and Lin Padgham},
  title = {Model Based Testing for Agent Systems},
  booktitle = {Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg},
  year = 2009,
  editor = {{J.~Filipe, B.~Shishkov, M.~Helfert, \& L.~A.~Maciaszek}},
  pages = {399-413},
  pdf = {papers/enase09-ztp.pdf}
}
@article{DeLoach2009,
  author = {DeLoach, Scott A. and Padgham, Lin and Perini, Anna and Susi, Angelo and Thangarajah, John},
  title = {Using three {AOSE} toolkits to develop a sample design},
  journal = {International Journal of Agent-Oriented Software Engineering (IJAOSE)},
  volume = {3},
  number = {4},
  year = {2009},
  issn = {1746-1375},
  pages = {416--476},
  publisher = {Inderscience Publishers},
  address = {Inderscience Publishers, Geneva, SWITZERLAND},
  pdf = {papers/ijaose09-dppst.pdf}
}
@inproceedings{ThangarajahModRef2007,
  author = {John Thangarajah and James Harland and Neil Yorke-Smith},
  title = {A Soft COP Model for Goal Deliberation in a BDI Agent},
  booktitle = {Proceedings of CP'07 Workshop on Constraint Modelling and Reformulation},
  address = {Providence, RI},
  month = {September},
  year = {2007},
  comment = { PDF }
}
@inproceedings{zhang07,
  author = {Zhiyong Zhang and John Thangarajah and Lin Padgham},
  title = {Automated Unit Testing For Agent Systems},
  booktitle = {Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)},
  month = {July},
  address = {Spain},
  year = {2007},
  pages = {10-18},
  comment = { PDF }
}
@inproceedings{HongyuanTP10,
  author = {Hongyuan Sun and John Thangarajah and Lin Padgham},
  title = {Eclipse-based Prometheus Design Tool},
  editor = {van der Hoek and Kaminka and Lesp\'erance and Luck and Sen},
  pages = {1769-1770},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  year = {2010},
  note = {(System Demonstration)},
  pdf = {papers/aamas10-stp.pdf}
}
@inproceedings{ZhangTP08,
  author = {Zhiyong Zhang and
               John Thangarajah and
               Lin Padgham},
  title = {Automated unit testing intelligent agents in PDT},
  pages = {1673-1674},
  booktitle = {AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems},
  publisher = {IFAAMAS},
  year = {2008},
  address = {Estoril,Portugal},
  note = {(System Demonstration)},
  comment = { PDF }
}
@proceedings{Promas2009,
  editor = {Lars Braubach and
               Jean-Pierre Briot and
               John Thangarajah},
  title = {Programming Multi-Agent Systems, 7th International Workshop,
               ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited
               and Selected Papers},
  booktitle = {ProMAS},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {5919},
  year = {2010}
}
@inproceedings{ThangarajahECAI2010,
  author = {John Thangarajah and James Harland and David Morley and Neil Yorke-Smith },
  title = {On the Life-Cycle of BDI Agent Goals},
  booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010)},
  month = {August},
  year = {2010},
  pages = {1031-1032},
  address = {Lisbon, Portugal},
  comment = { PDF }
}
@inproceedings{ThangarajahDALT2010,
  author = {John Thangarajah and James Harland and David Morley and Neil Yorke-Smith },
  title = {Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems},
  booktitle = {Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10)},
  address = {Toronto},
  pages = {1-21},
  month = {May},
  year = 2010,
  comment = { PDF }
}
@inproceedings{Zhiyong2010,
  author = {Zhiyong Zhang and John Thangarajah and Lin Padgham},
  title = {Automated Testing for Intelligent Agent Systems},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  editor = {Marie Pierre Gleizes and Jorge J. G{\'o}mez-Sanz},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6038},
  year = {2010},
  pages = {66-79},
  isbn = {978-3-642-19207-4},
  pdf = {papers/aose10-ztp.pdf}
}
@phdthesis{JTthesis,
  author = {John Thangarajah},
  title = {{Managing the Concurrent Execution of Goals in Intelligent Agents}},
  school = {{RMIT University}},
  year = 2005,
  address = {Melbourne, Australia},
  comment = { PDF }
}
@inproceedings{DeGiacomoLLS:KR02,
  author = {Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque and Sebastian Sardina},
  title = {On the Semantics of Deliberation in {I}ndi{G}olog -- From Theory to Implementation},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  editor = {Dieter Fensel and Fausto Giunchiglia and Deborah L. McGuinness and Mary-Anne Williams},
  pages = {603--614},
  address = {Toulouse, France},
  publisher = {Morgan Kaufmann Publishers Inc.},
  month = apr,
  keywords = {ssardina, sitcalc, indigolog},
  pdf = {papers/kr02-dglls.pdf},
  year = 2002
}
@inproceedings{SardinaDGLL:COGROBO04,
  author = {Sebastian Sardina and Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque},
  title = {On Ability to Autonomously Execute Agent Programs with Sensing},
  booktitle = {Proceedings of the International Cognitive Robotics Workshop (COGROBO)},
  address = {Valencia, Spain},
  pdf = {papers/cogrobo04-sdgll.pdf},
  slides = {papers/cogrobo04-sdgll-slides.pdf},
  keywords = {ssardina, sitcalc},
  year = 2004
}
@inproceedings{Sardina:AAMAS03,
  author = {Sebastian Sardina and Steven Shapiro},
  title = {Rational Action in Agent Programs with Prioritized Goals},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {417--424},
  address = {Melbourne, Australia},
  publisher = {ACM Press},
  month = jul,
  doi = {10.1145/860575.860642},
  keywords = {ssardina, sitcalc, goals},
  pdf = {papers/aamas03-ss.pdf},
  slides = {papers/aamas03-ss-slides.pdf},
  year = 2003,
  editor = {Jeffrey S. Rosenschein and Michael Wooldridge and Tuomas Sandholm and Makoto Yokoo}
}
@article{DeGiacomoLS:TOCL01,
  title = {Incremental Execution of Guarded Theories},
  author = {Giuseppe {De Giacomo} and Hector J. Levesque and Sebastian Sardina},
  publisher = {ACM Press},
  journal = {ACM Transactions on Computational Logic},
  pages = {495--525},
  volume = {2},
  number = {4},
  doi = {10.1145/383779.383782},
  month = oct,
  year = 2001,
  issn = {1529-3785},
  keywords = {ssardina, sitcalc, indigolog},
  pdf = {papers/tocl01.pdf}
}
@inproceedings{DeGiacomoLLS:PROMAS03,
  author = {Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque and Sebastian Sardina},
  title = {On Deliberation under Incomplete Information and the Inadequacy of entailment and Consistency-Based Formalizations},
  booktitle = {Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS)},
  address = {Melbourne, Australia},
  month = jul,
  keywords = {ssardina, BDI, sitcalc, knowledge},
  pdf = {papers/promas03.pdf},
  year = 2003
}
@inproceedings{Sardina:LPAR01,
  author = {Sebastian Sardina},
  title = {Local Conditional High-Level Robot Programs},
  booktitle = {Proceedings of the International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)},
  volume = {2250},
  series = {Lecture Notes in Computer Science (LNCS)},
  pages = {110--124},
  address = {La Habana, Cuba},
  month = dec,
  pdf = {papers/lpar01.pdf},
  slides = {papers/lpar01-slides.pdf},
  year = 2001,
  editor = {Robert Nieuwenhuis and Andrei Voronkov},
  keywords = {ssardina, sitcalc, golog, rac, ao_programming},
  publisher = {Springer},
  isbn = {3-540-42957-3}
}
@inproceedings{Sardina:NRAC01,
  author = {Sebastian Sardina},
  title = {Local Conditional High-Level Robot Programs},
  booktitle = {Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC)},
  pages = {64--69},
  address = {Seattle, USA},
  month = aug,
  year = 2001,
  keywords = {ssardina, sitcalc, golog, rac, ao_programming}
}
@article{SardinaDGLL:AMAI04,
  author = {Sebastian Sardina and Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque},
  title = {On the Semantics of Deliberation in {IndiGolog} -- {F}rom Theory to Implementation},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = {41},
  number = {2--4},
  pages = {259--299},
  keywords = {ssardina, sitcalc, indigolog},
  month = aug,
  pdf = {papers/amai04-sdgll.pdf},
  year = 2004,
  publisher = {Kluwer Academic Publishers Hingham, MA, USA},
  doi = {10.1023/B:AMAI.0000031197.13122.aa},
  issn = {1012-2443}
}
@inproceedings{SDGLL:KR06,
  author = {Sebastian Sardina and Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque},
  title = {On the Limits of Planning over Belief States Under Strict Uncertainty},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  pages = {463--471},
  year = {2006},
  address = {Lake District, UK},
  keywords = {ssardina, planning},
  pdf = {papers/kr06-sdgll.pdf},
  slides = {papers/kr06-sdgll-slides.pdf},
  month = jun
}
@phdthesis{Sardina:PHD05,
  author = {Sebastian Sardina},
  title = {Deliberation in Agent Programming Languages},
  school = {Department of Computer Science, University of Toronto},
  year = 2005,
  publisher = {University of Toronto, Toronto, Ontario, Canada},
  institution = {University of Toronto},
  location = {Toronto, Canada},
  pdf = {papers/phd05-ss.pdf},
  keywords = {ssardina, sitcalc, indigolog, thesis},
  isbn = {0494076097}
}
@mastersthesis{Sardina:MSC00,
  author = {Sebastian Sardina},
  title = {{IndiGolog}: Execution of Guarded Action Theories},
  school = {Department of Computer Science, University of Toronto},
  year = 2000,
  publisher = {University of Toronto, Toronto, Ontario, Canada},
  institution = {University of Toronto},
  location = {Toronto, Canada},
  keywords = {ssardina, sitcalc, indigolog, thesis},
  isbn = {0612533905}
}
@inproceedings{SardinaDP:AAMAS06,
  author = {Sebastian Sardina and Lavindra P. {de Silva} and Lin Padgham},
  title = {Hierarchical Planning in {BDI} Agent Programming Languages: {A} Formal Approach},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {1001--1008},
  year = {2006},
  address = {Hakodate, Japan},
  month = may,
  publisher = {ACM Press},
  keywords = {ssardina, BDI, agents, planning},
  doi = {10.1145/1160633.1160813},
  pdf = {papers/aamas06-sdsp.pdf},
  slides = {papers/aamas06-sdsp-slides.pdf},
  poster = {papers/aamas06-sdsp-poster.pdf},
  editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}
}
@inproceedings{ThangarajahPS:AAMAS06,
  author = {John Thangarajah and Lin Padgham and Sebastian Sardina},
  title = {Modelling Situations in Intelligent Agents},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {1049--1051},
  year = {2006},
  keywords = {ssardina, BDI, agents, poster},
  doi = {10.1145/1160633.1160819},
  address = {Hakodate, Japan},
  pdf = {papers/aamas06-tps.pdf},
  month = may
}
@inproceedings{DeGiacomoS:IJCAI07,
  author = {Giuseppe {De Giacomo} and Sebastian Sardina},
  title = {Automatic Synthesis of New Behaviors from a Library of Available Behaviors},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {1866--1871},
  year = {2007},
  address = {Hyderabad, India},
  month = jan,
  keywords = {ssardina, composition},
  pdf = {papers/ijcai07-dgs.pdf},
  errata = {papers/ijcai07-dgs-errata.txt},
  slides = {papers/ijcai07-dgs-slides.pdf},
  editor = {Manuela M. Veloso}
}
@inproceedings{SardinaP:AAMAS07,
  author = {Sebastian Sardina and Lin Padgham},
  title = {Goals in the Context of {BDI} Plan Failure and Planning},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {16--23},
  year = {2007},
  address = {Hawaii, USA},
  month = may,
  publisher = {ACM Press},
  pdf = {papers/aamas07-sp.pdf},
  slides = {papers/aamas07-sp-slides.pdf},
  poster = {papers/aamas07-sp-poster.pdf},
  keywords = {ssardina, BDI, agents, goals},
  doi = {10.1145/1329125.1329134},
  editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory}
}
@inproceedings{SardinaVassos:NRAC05,
  author = {Sebastian Sardina and Stavros Vassos},
  title = {The {Wumpus World} in {IndiGolog}: {A} Preliminary Report},
  booktitle = {Proceedings the Nonmonotonic Reasoning, Action and Change Workshop (NRAC)},
  pages = {90--95},
  year = {2005},
  keywords = {ssardina, agents, indigolog, implementation, sitcalc, workshop},
  pdf = {papers/nrac05-ss.pdf},
  slides = {papers/nrac05-ss-slides.pdf},
  editor = {L. Morgenstern and M. Pagnucco}
}
@inproceedings{Sardina:AAAI07,
  author = {Sebastian Sardina and Fabio Patrizi and Giuseppe {De Giacomo}},
  title = {Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI)},
  pages = {1063--1069},
  year = {2007},
  address = {Vancouver, Canada},
  month = jul,
  editor = {Robert C. Holte and Adele Howe},
  keywords = {ssardina, composition},
  pdf = {papers/aaai07-spdg.pdf},
  slides = {papers/aaai07-spdg-slides.pdf},
  publisher = {AAAI Press}
}
@inproceedings{SardinaPDG:KR08,
  author = {Sebastian Sardina and Fabio Patrizi and Giuseppe {De Giacomo}},
  title = {Behavior Composition in the Presence of Failure},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  pages = {640--650},
  year = {2008},
  address = {Sydney, Australia},
  month = sep,
  keywords = {ssardina, composition},
  pdf = {papers/kr08-spdg.pdf},
  slides = {papers/kr08-spdg-slides.pdf},
  editor = {Gerhard Brewka and Jerome Lang},
  publisher = {AAAI Press}
}
@inproceedings{SardinaDG:ICAPS08,
  author = {Sebastian Sardina and Giuseppe {De Giacomo}},
  title = {Realizing Multiple Autonomous Agents through Scheduling of Shared Devices},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {304--312},
  year = {2008},
  address = {Sydney, Australia},
  month = sep,
  pdf = {papers/icaps08-sdg.pdf},
  slides = {papers/icaps08-sdg-slides.pdf},
  keywords = {ssardina, composition},
  editor = {Jussi Rintanen and Bernhard Nebel},
  publisher = {AAAI Press}
}
@inproceedings{AiriauPSS:ALAMAS08,
  author = {St{\'e}phane Airiau and Lin Padgham and Sebastian Sardina and Sandip Sen},
  title = {Incorporating Learning in {BDI} Agents},
  booktitle = {Proceedings of the Adaptive Learning Agents and Multi-Agent Systems Workshop (ALAMAS+ALAg-08)},
  year = {2008},
  address = {Esteroil, Protugal},
  pdf = {papers/alamasalag08-apss.pdf},
  keywords = {agents, BDI, learning, ssardina},
  month = may
}
@inproceedings{deLeoni:WETICE08,
  author = {de Leoni, Massimiliano and Andrea Marrella and Massimo
				Mecella and Stefano Valentini and Sebastian Sardina},
  title = {Coordinating Mobile Actors in Pervasive and Mobile
				Scenarios: An {AI}-based Approach},
  booktitle = {Proceedings of the 17th IEEE International Workshops on 
 		Enabling Technologies: Infrastructure for collaboration enterprises (WETICE'08)},
  year = {2008},
  pages = {82-88},
  publisher = {IEEE Computer Society},
  pdf = {papers/wetice08-dlmmvs.pdf},
  slides = {papers/wetice08-dlmmvs-slides.pdf},
  keywords = {ssardina, sitcalc},
  isbn = {978-0-7695-3315-5}
}
@article{AiriauPSS:IJATS09,
  author = {St{\'e}phane Airiau and Lin Padham and Sebastian Sardina and Sandip Sen},
  title = {Enhancing Adaptation in {BDI} Agents Using Learning Techniques},
  journal = {International Journal of Agent Technologies and Systems (IJATS)},
  year = {2009},
  volume = 1,
  number = 2,
  pages = {1--18},
  month = jan,
  pdf = {papers/ijats09-apss.pdf},
  publisher = {IGI Global},
  issn = {1943-0744}
}
@proceedings{Hindriks:PROMAS08,
  title = {Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS)},
  year = {2009},
  key = {ssardina, agents},
  editor = {Koen Hindriks and Alexander Pokahr and Sebastian Sardina},
  volume = {5442},
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  keywords = {ssardina, ao_programming, agents},
  note = {Revised Invited and Selected Papers 2009, XII, 253 p., ISBN: 978-3-642-03277-6},
  publisher = {Springer},
  address = {Berlin, Heidelberg},
  pdf = {papers/promas08-book-frontmatter.pdf}
}
@inproceedings{deSilvaSP:AAMAS09,
  author = {Lavindra P. {de Silva} and Sebastian Sardina and Lin Padgham},
  title = {First Principles Planning in {BDI} Systems},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {1001--1008},
  volume = 2,
  year = 2009,
  address = {Budapest, Hungary},
  month = may,
  publisher = {IFAAMAS},
  isbn = {978-0-9817381-7-8},
  keywords = {ssardina, BDI, agents, planning},
  pdf = {papers/aamas09-dssp.pdf},
  slides = {papers/aamas09-dssp-slides.pdf},
  editor = {Carles Sierra and
               Cristiano Castelfranchi and
               Keith S. Decker and
               Jaime Sim{\~a}o Sichman}
}
@inproceedings{SardinaGLL:AAMAS04,
  author = {Sebastian Sardina and Giuseppe {De Giacomo} and Yves Lesp{\'e}rance and Hector J. Levesque},
  title = {On Ability to Autonomously Execute Agent Programs with Sensing},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2004},
  pages = {1522-1523},
  publisher = {IEEE Computer Society},
  month = may,
  doi = {10.1109/AAMAS.2004.199},
  keywords = {ssardina, sitcalc, poster},
  pdf = {papers/cogrobo04-sdgll.pdf},
  slides = {papers/cogrobo04-sdgll-slides.pdf},
  note = {(poster; extended version appeared at COGROBO'04)}
}
@inproceedings{SardinaDeGiacomo:IJCAI09,
  author = {Sardina, Sebastian and De Giacomo, Giuseppe},
  title = {Composition of {ConGolog} Programs},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  year = 2009,
  pages = {904--910},
  month = jul,
  pdf = {papers/ijcai09-sdg.pdf},
  slides = {papers/ijcai09-sdg-slides.pdf},
  keywords = {ssardina, golog, sitcalc, rac, composition},
  address = {Pasadena, CA, USA},
  editor = {Craig Boutilier},
  publisher = {IJCAI}
}
@inproceedings{SardinaLesperance:PROMAS09,
  author = {Sebastian Sardina and Yves Lesp\'erance},
  title = {{GologSpeak}: {Golog} Speaks the {BDI} Language},
  booktitle = {Proceedings of the Programming Multiagent Systems Languages, Frameworks, Techniques and Tools workshop (PROMAS)},
  year = 2010,
  pages = {82--89},
  volume = 5919,
  series = {Lecture Notes in Computer Science (LNCS)},
  editor = {L. Braubach and J.-P. Briot and J. Thangarajah},
  publisher = {Springer},
  address = {Budapest, Hungary},
  pdf = {papers/promas09-sl.pdf},
  slides = {papers/promas09-sl-slides.pdf},
  keywords = {ssardina, golog, sitcalc, bdi, ao_programming},
  isbn = {978-3-642-14842-2},
  doi = {10.1007/978-3-642-14843-9_6}
}
@inproceedings{HickmottSardina:ICAPS09,
  author = {Sarah Hickmott and Sebastian Sardina},
  title = {Optimality Properties of Planning via {P}etri Net Unfolding: A Formal Analysis},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {170--177},
  year = 2009,
  address = {Thessaloniki, Greece},
  month = sep,
  pdf = {papers/icaps09-hs.pdf},
  slides = {papers/icaps09-hs-slides.pdf},
  keywords = {ssardina, planning},
  editor = {Alfonso Gerevini and Adele Howe},
  publisher = {AAAI Press}
}
@inproceedings{VassosSardinaLevesque:CS09,
  author = {Stavros Vassos and Sebastian Sardina and Hector Levesque},
  title = {Progressing Basic Action Theories with Non-Local Effect Actions},
  booktitle = {Proceedings of the Ninth International Symposium on
				Logical Formalizations of Commonsense Reasoning (CS'09)},
  pages = {135--140},
  year = 2009,
  address = {Toronto, Canada},
  month = jun,
  pdf = {papers/cs09-vsl.pdf},
  slides = {papers/cs09-vsl-slides.pdf},
  keywords = {ssardina, rac, sitcalc, workshop},
  editor = {Gerhard Lakemeyer and Leora Morgenstern and Mary-Anne Williams},
  publisher = {UTSePress, University of Technology, Sydney, Australia},
  isbn = {978-0-9802840-6-5}
}
@incollection{DGLLS:APLBOOK09-IndiGolog,
  author = {De Giacomo, Giuseppe and Lesp\'{e}rance, Yves and
				 Levesque, Hector J. and Sardina, Sebastian},
  title = {{IndiGolog}: {A} High-Level Programming Language for Embedded Reasoning Agents},
  booktitle = {Multi-Agent Programming: Languages, Platforms and Applications},
  publisher = {Springer},
  editor = {Rafael H. Bordini and
               Mehdi Dastani and
               J{\"u}rgen Dix and
               Amal El Fallah-Seghrouchni},
  chapter = 2,
  pages = {31--72},
  keywords = {ssardina, golog, sitcalc, rac, ao_programming},
  year = 2009,
  note = {ISBN: 978-0-387-89298-6},
  address = {New York, USA},
  pdf = {papers/fulltext-IndiGolog-APLBOOK09.pdf}
}
@inproceedings{DeGiacomo:AAMAS10,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Agent Programming via Planning Programs},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2010,
  month = may,
  pages = {491--498},
  editor = {van der Hoek and Kaminka and Lesp\'erance and Luck and Sen},
  address = {Toronto, Canada},
  keywords = {ssardina, composition, planning, ao_programming},
  pdf = {papers/aamas10-dgps.pdf},
  publisher = {IFAAMAS},
  poster = {papers/aamas10-dgps-poster.pdf},
  slides = {papers/aamas10-dgps-slides.pdf},
  errata = {papers/aamas10-dgps-errata.txt}
}
@inproceedings{DeGiacomoPS:KR10,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Generalized Planning with Loops under Strong Fairness Constraints},
  booktitle = {Proceedings of Principles of Knowledge Representation and Reasoning (KR)},
  year = 2010,
  month = may,
  pages = {351--361},
  address = {Toronto, Canada},
  keywords = {ssardina, composition, planning, ao_programming},
  pdf = {papers/kr10-dgps.pdf},
  slides = {papers/kr10-dgps-slides.pdf},
  errata = {papers/kr10-dgps-errata.txt}
}
@inproceedings{Singh:AAMAS10,
  author = {Dhirendra Singh and Sebastian Sardina and Lin Padgham and St{\'e}phane Airiau},
  title = {Learning Context Conditions for {BDI} Plan Selection},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2010,
  pages = {325--332},
  address = {Toronto, Canada},
  month = may,
  editor = {van der Hoek and Kaminka and Lesp\'erance and Luck and Sen},
  keywords = {ssardina, agents, BDI, learning},
  publisher = {IFAAMAS},
  pdf = {papers/aamas10-sspa.pdf},
  slides = {papers/aamas10-sspa-slides.pdf},
  poster = {papers/aamas10-sspa-poster.pdf}
}
@inproceedings{DeGiacomo:GENPLAN09,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Solving High-Level Planning Programs},
  booktitle = {Generalized Planning: Macros, Loops, Domain Control Workshop},
  year = {2009},
  optpages = {29-40},
  address = {Thessaloniki, Greece},
  pdf = {papers/genplan09-dgps.pdf},
  keywords = {ssardina, composition, ao_programming}
}
@article{SardinaP:JAAMAS10,
  author = {Sebastian Sardina and Lin Padgham},
  title = {A {BDI} Agent Programming Language with Failure Recovery, Declarative Goals, and Planning},
  journal = {Autonomous Agents and Multi-Agent Systems},
  year = 2011,
  volume = 23,
  number = 1,
  pages = {18--70},
  publisher = {Springer},
  doi = {10.1007/s10458-010-9130-9},
  issn = {1387-2532},
  pdf = {papers/jaamas10-sp.pdf}
}
@inproceedings{DeGiacomoPFS:AAAI10,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Paolo Felli and Sebastian Sardina},
  title = {Two-Player Game Structures for Generalized Planning and Agent Composition},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI)},
  year = 2010,
  pages = {297--302},
  address = {Altanta, USA},
  month = jul,
  pdf = {papers/aaai10-dgfps.pdf},
  publisher = {AAAI Press},
  keywords = {ssardina, composition, ao_programming}
}
@article{Yadav:AMAI10,
  author = {Nitin Yadav and Chenguang Zhou and Sebastian Sardina and Ralph R\"onnquist},
  title = {A {BDI} Agent System for the Cow Herding Domain},
  journal = {Annals of Mathematics and Artificial Intelligence},
  volume = 59,
  tnumber = {3--4},
  year = 2010,
  pages = {313--333},
  doi = {10.1007/s10472-010-9182-1},
  pdf = {papers/amai10-yzsr.pdf},
  keywords = {ssardina, bdi, ao_programming}
}
@article{Singh:JRAS10,
  author = {Dhirendra Singh and Sebastian Sardina and Lin Padgham},
  journal = {Robotics and Autonomous Systems},
  keywords = {ssardina, ao_programming, bdi, learning},
  pages = {1067--1075},
  title = {Extending {BDI} Plan Selection to Incorporate Learning from Experience},
  volume = 58,
  year = 2010,
  doi = {10.1016/j.robot.2010.05.008},
  pdf = {papers/jras10-ssp.pdf}
}
@inproceedings{YadavSardina:AAMAS11,
  author = {Yadav, Nitin and Sebastian Sardina},
  title = {Decision Theoretic Behavior Composition},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {575--582},
  address = {Taipei, Taiwan},
  publisher = {ACM Press},
  month = may,
  keywords = {ssardina, composition, decision_theory},
  pdf = {papers/aamas11-ys.pdf},
  slides = {papers/aamas11-ys-slides.pdf},
  poster = {papers/aamas11-ys-poster.pdf},
  editor = {Tumer and Yolum and Sonenberg and Stone},
  year = 2011
}
@inproceedings{Singh:IJCAI11,
  author = {Dhirendra Singh and Sebastian Sardina and Lin Padgham and Geoff James},
  title = {Integrating Learning into a {BDI} Agent for Environments with Changing Dynamics},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  year = 2011,
  pages = {2525--2530},
  address = {Barcelona, Spain},
  month = aug,
  editor = {Toby Walsh, Craig Knoblock and Carles Sierra},
  keywords = {ssardina, agents, BDI, learning},
  publisher = {AAAI Press},
  pdf = {papers/ijcai11-sspj.pdf},
  slides = {papers/ijcai11-sspj-slides.pdf},
  poster = {papers/ijcai11-sspj-poster.pdf}
}
@proceedings{OmiciniSardinaVasconcelos:DALT10,
  title = {Proceedings of the International Workshop on Declarative Agent Languages and Technologies (DALT)},
  year = 2011,
  key = {ssardina, agents},
  editor = {Andrea Omicini and Sebastian Sardina and Wamberto Vasconcelos},
  volume = 6619,
  series = {Lecture Notes in Artificial Intelligence (LNAI)},
  keywords = {ssardina, ao_programming, agents},
  note = {Revised, Selected and Invited Papers},
  publisher = {Springer},
  doi = {10.1007/978-3-642-20715-0},
  address = {Berlin, Heidelberg},
  pdf = {papers/dalt110-book-frontmatter.pdf}
}
@inproceedings{Marella.etal.demo:BPM11,
  author = {Andrea Marrella and Massimo Mecella and Alessandro Russo and Arthur {Ter Hofstede} and Sebastian Sardina},
  booktitle = {Proceedings of the International Conference on Business Process Management (BPM)},
  keywords = {ssardina, golog, services, demo},
  month = aug,
  optpages = {xxx--yyy},
  title = {Making {YAWL} and {SmartPM} Interoperate: {M}anaging Highly Dynamic Processes by Exploiting Automatic Adaptation Features (demo)},
  optpdf = {publications/bpm11-mmrths.pdf},
  optposter = {publications/bpm11-mmrths-poster.pdf},
  note = {(Demonstration Track)},
  editor = {Rinderle-Ma, Stefanie and Toumani, Farouk and Wolf, Karsten},
  series = {Lecture Notes in Computer Science (LNCS)},
  subseries = {Information Systems and Applications, incl. Internet/Web, and HCI},
  volumne = 6896,
  address = {Clermont-Ferrand, France},
  isbn = {978-3-642-23058-5},
  doi = {10.1007/978-3-642-23059-2},
  url = {http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-642-23058-5},
  year = 2011
}
@incollection{VassosSardina:HECTOR11,
  author = {Stavros Vassos and Sebastian Sardina},
  booktitle = {Knowing, Reasoning, and Acting: {E}ssays in Honour of {Hector J. Levesque}},
  editor = {Gerhard Lakemeyer and Sheila A. McIlraith},
  keywords = {ssardina, rac, sitcalc},
  pages = {467--486},
  chapter = 29,
  publisher = {College Publications},
  isbn = {978-1848900448},
  title = {A Database-type Approach for Progressing Action Theories with Bounded Effects},
  year = 2011,
  month = jul
}
@incollection{SardinaLesperance:HECTOR11,
  author = {Sebastian Sardina and Yves Lesp\'erance},
  title = {{GologSpeak}: {Golog} Speaks the {BDI} Language},
  booktitle = {Knowing, Reasoning, and Acting: {E}ssays in Honour of {Hector J. Levesque}},
  year = 2011,
  pages = {437--454},
  chapter = 27,
  editor = {Gerhard Lakemeyer and Sheila A. McIlraith},
  publisher = {College Publications},
  keywords = {ssardina, golog, sitcalc, bdi, ao_programming},
  isbn = {978-1848900448},
  note = {Reprint of PROMAS'09 article}
}
@inproceedings{PadghamSJHwsc11,
  author = {Lin Padgham and David Scerri and Gaya Buddhinath Jayatilleke and Sarah Hickmott},
  title = {Integrating {BDI} Reasoning into Agent Based Modelling and Simulation},
  booktitle = {Winter Simulation Conference (WSC)},
  month = dec,
  year = {2011},
  address = {Pheonix, Arizona, USA},
  pages = {345-356},
  pdf = {papers/wsc11-psjh.pdf}
}
@inproceedings{JGLaamas11,
  author = {John Thangarajah and Gaya Buddhinath Jayatilleke and Lin Padgham},
  title = {Scenarios for system requirements traceability and testing},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2011},
  pdf = {papers/aamas11-tjp.pdf},
  pages = {285-292}
}
@inproceedings{WJLcikm11,
  author = {Wilson Wong and John Thangarajah and Lin Padgham},
  title = {Health conversational system based on contextual matching of community-driven question-answer pairs},
  booktitle = {Proceedings of the International Conference on Information and Knowledge Management (CIKM)},
  year = {2011},
  pages = {2577--2580},
  isbn = {978-1-4503-0717-8},
  publisher = {ACM Press},
  pdf = {papers/cikm11-wtp.pdf}
}
@article{TPjar11,
  author = {John Thangarajah and Lin Padgham},
  title = {Computationally Effective Reasoning About Goal Interactions},
  journal = {Journal of Automed Reasoning},
  volume = {47},
  number = {1},
  year = {2011},
  pages = {17-56},
  pdf = {papers/jar11-tp.pdf}
}
@inproceedings{ScerriGHYZPaamasdemo10,
  author = {David Scerri and Ferdinand Gouw and Sarah L. Hickmott and Isaac Yehuda and Fabio Zambetta and Lin Padgham},
  title = {Bushfire {BLOCKS}: a modular agent-based simulation},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2010},
  pages = {1643-1644},
  pdf = {papers/aamas10-sghyzp.pdf}
}
@inproceedings{ScerriDHPaamas10,
  author = {David Scerri and Alexis Drogoul and Sarah L. Hickmott and Lin Padgham},
  title = {An architecture for modular distributed simulation with agent-based models},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2010},
  pages = {541-548},
  pdf = {papers/aamas10-sdhp.pdf}
}
@proceedings{aamasproc2008,
  editor = {Lin Padgham and
               David C. Parkes and
               J{\"o}rg P. M{\"u}ller and
               Simon Parsons},
  title = {7th International Joint Conference on Autonomous Agents
               and Multiagent Systems (AAMAS 2008), Estoril, Portugal,
               May 12-16, 2008, Volumes 1-3},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  publisher = {IFAAMAS},
  year = {2008}
}
@proceedings{aoseproc2007,
  editor = {Michael Luck and Lin Padgham},
  title = {Agent-Oriented Software Engineering VIII, 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {4951},
  year = {2008}
}
@inproceedings{PadghamTWaaaidemo08,
  author = {Lin Padgham and John Thangarajah and Michael Winikoff},
  title = {Prometheus Design Tool},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI)},
  volume = {3},
  year = {2008},
  pages = {1882-1883},
  note = {(System Demonstration)},
  pdf = {papers/aaai08-ptw.pdf}
}
@inproceedings{ZhangTPaamasdemo08,
  author = {Zhiyong Zhang and
               John Thangarajah and
               Lin Padgham},
  title = {Automated unit testing intelligent agents in PDT},
  booktitle = {AAMAS (Demos)},
  year = {2008},
  pages = {1673-1674}
}
@inproceedings{PadghamWDCaose08,
  author = {Lin Padgham and Michael Winikoff and Scott A. DeLoach and Massimo Cossentino},
  title = {A Unified Graphical Notation for {AOSE}},
  booktitle = {International Workshop on Agent-Oriented Software Engineering (AOSE)},
  year = {2008},
  pages = {116-130}
}
@inproceedings{Padghamprima08,
  author = {Lin Padgham},
  title = {Keynote Speech: Agent Oriented Software Engineering: Why and How},
  booktitle = {PRIMA},
  year = {2008},
  pages = {4-5}
}
@book{aose07,
  editor = {Michael Luck and Lin Padgham},
  title = {Agent Oriented Software Engineering VIII},
  publisher = {Springer},
  year = 2008,
  volume = 4951
}
@book{aose06,
  editor = {Lin Padgham and Franco Zambonelli},
  title = {Agent Oriented Software Engineering VII},
  publisher = {Springer},
  year = 2007
}
@incollection{HPproject,
  author = {Marsha Berry and Margaret Hamilton and Naomi Herzog and Lin Padgham and Ron {van Schyndel}},
  title = {Enhancing Learning Through Mobile Computing},
  booktitle = {Enhancing Learning Through Human Computer Interaction},
  chapter = {IV},
  editor = {Elspeth McKay},
  publisher = {IDEA Group},
  year = 2007,
  pages = {57--74}
}
@incollection{liupad07,
  author = {Wei Liu and Husniza Husni and Lin Padgham},
  title = {E-Service Composition Tools from a Lifecycle Perspective},
  booktitle = {E-Service Intelligence: Methodologies, Technologies and Applications},
  chapter = {5},
  editor = {J. Lu and D. Ruan and G. Zhang},
  publisher = {Springer},
  series = {Studies in Computational Intelligence},
  volume = {37},
  pages = {125--146},
  year = 2007,
  note = {ISBN 978-3-540-37015-4}
}
@article{ijaosePadghamP07,
  author = {Lin Padgham and Mikhail Perepletchikov},
  title = {Prioritisation mechanisms to support incremental development of agent systems},
  journal = {International Journal of Agent-Oriented Software Engineering (IJAOSE)},
  volume = {1},
  number = {3/4},
  year = {2007},
  pages = {477--497}
}
@article{wias07,
  author = {Min Xu and Lin Padgham and Aloys Mbala and James Harland},
  title = {Tracking Reliability and Helpfulness in Agent Interactions},
  journal = {Web Intelligence and Agent Systems: An International Journal (WIAS)},
  volume = {5},
  number = {1},
  year = {2007}
}
@article{baojnl07,
  author = {Bao Quoc Vo and Lin Padgham and Lawrence Cavedon},
  title = {Negotiating Flexible Agreements by Combining Distributive and Integrative Negotiation},
  journal = {International journal of Intelligent Decision Technologies},
  volume = {1},
  publisher = {IOS},
  number = {1-2},
  year = {2007},
  pages = {33--47}
}
@inproceedings{iva07,
  author = {Jennifer Sandercock and Lin Padgham and Fabio Zambetta},
  title = {Creating Adaptive and Individual Personalities in Many Characters Without Hand Crafting Behaviours},
  booktitle = {Proceedings of the International Conference on Intelligent Virtual Agents (IVA)},
  year = 2006,
  month = aug
}
@article{jaamas05,
  author = {Lin Padgham and Patrick Lambrix},
  title = {Formalisations of Capabilities for BDI-Agents in Autonomous Agents and Multi-Agent Systems},
  journal = {Autonomous Agents and Multi-Agent Systems},
  volume = {10},
  number = {3},
  month = may,
  year = {2005},
  pages = {249--271}
}
@inproceedings{ozchi05,
  author = {Gregory More and Jeremy Yuille and Lin Padgham and Aman Sahani and Mark Burry},
  title = {The Space and Sound of Intelligent Information Environments},
  booktitle = {OZCHI},
  year = 2005
}
@inproceedings{ceemas05,
  author = {Mikhail Perepletchikov and Lin Padgham},
  title = {Use Case and Actor Driven Requirements Engineering: An Evaluation of Modifications to Prometheus},
  booktitle = {Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, (CEEMAS)},
  year = 2005,
  address = {Budapest, Hungary},
  month = sep
}
@incollection{aman,
  author = {Aman Sahani and Ian Mathieson and Lin Padgham},
  title = {Agent Support for a Grid-based High Energy Physics Application},
  booktitle = {Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, (IEA-AIE)},
  volume = 3533,
  publisher = {LNCS},
  year = 2005,
  address = {Bari, Italy},
  month = jun,
  pages = 134
}
@inproceedings{iseato5,
  author = {Mikhail Perepletchikov and Lin Padgham},
  title = {Systematic Incremental Development of Agent Systems, using Prometheus},
  booktitle = {1st International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005)},
  year = 2005,
  note = {In conjunction with the Fifth International Conference on Quality Software (QSIC)}
}
@inproceedings{baolinaamas07,
  author = {Bao Quoc Vo and Lin Padgham},
  title = {Searching for joint gains in automated negotiations based on multi-criteria decision making theory},
  booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2007,
  address = {Hawaii, USA},
  month = may
}
Comments