@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib agentsrmit.bib}}
@misc{fose08-w,
author = {Michael Winikoff},
date-added = {2008-10-27 15:58:47 +1300},
date-modified = {2008-10-27 15:59:48 +1300},
howpublished = {Position statement at panel session on Future of Software Engineering and Multi-Agent Systems (FOSE-MAS) held at AAMAS 2008},
pdf = {papers/fose08-w.pdf},
title = {The Future of Agent-Based Software Engineering: Goals and Verification \& Validation are Key},
year = {2008}
}
@inproceedings{ai01-wph,
author = {Michael Winikoff and Lin Padgham and James Harland},
booktitle = {AI2001: Advances in Artificial Intelligence. 14th Australian Joint Conference on Artificial Intelligence},
date-added = {2008-10-27 15:58:09 +1300},
date-modified = {2008-10-27 15:58:25 +1300},
pages = {555-568},
pdf = {papers/ai01-wph.pdf},
publisher = {Springer, LNAI 2256},
title = {Simplifying the Development of Intelligent Agents},
year = {2001}
}
@inproceedings{acsc02-rwph,
author = {Omer Rana and Michael Winikoff and Lin Padgham and James Harland},
booktitle = {Australasian Conference on Computer Science },
date-added = {2008-10-27 15:56:33 +1300},
date-modified = {2008-10-27 15:57:41 +1300},
pdf = {papers/acsc02-rwph.pdf},
title = {Applying Conflict Management Strategies in BDI Agents for Resource Management in Computational Grids},
year = {2002}
}
@inproceedings{kr02-wpht,
address = {Toulouse, France},
author = {Michael Winikoff and Lin Padgham and James Harland and John Thangarajah},
booktitle = {Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002)},
date-added = {2008-10-27 15:55:54 +1300},
date-modified = {2008-10-27 15:56:25 +1300},
pages = {470-481},
pdf = {papers/kr02-wpht.pdf},
publisher = {Morgan Kaufmann},
title = {Declarative \& Procedural Goals in Intelligent Agent Systems},
year = {2002}
}
@inproceedings{challenges02-hw,
address = {Bologna, Italy},
author = {Joshua Hutchison and Michael Winikoff},
booktitle = {Workshop on Challenges in Open Agent Systems at the First International Joint Conference on Autonomous Agents and Multi-Agents Systems},
date-added = {2008-10-27 15:55:03 +1300},
date-modified = {2008-10-27 15:55:20 +1300},
month = jul,
pdf = {papers/challenges02-hw.pdf},
publisher = {ACM Press},
title = {Flexibility and Robustness in Agent Interaction Protocols},
year = {2002}
}
@inproceedings{aose03-jsw,
author = {Thomas Juan and Leon Sterling and Michael Winikoff},
booktitle = {AOSE},
date-added = {2008-10-27 15:53:37 +1300},
date-modified = {2008-10-27 15:54:39 +1300},
pages = {198-209},
pdf = {papers/aose03-jsw.pdf},
publisher = {Springer},
title = {Assembling Agent Oriented Software Engineering Methodologies from Features},
volume = {LNCS 2585},
year = {2003}
}
@inproceedings{aois03-dw,
address = {Melbourne, Australia},
author = {Khanh Hoa Dam and Michael Winikoff},
booktitle = {Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems},
date-added = {2008-10-27 15:52:56 +1300},
date-modified = {2008-10-27 15:53:08 +1300},
editor = {Paolo Giorgini and Michael Winikoff},
pages = {52-59},
pdf = {papers/aois03-dw.pdf},
title = {Comparing Agent-Oriented Methodologies},
year = {2003}
}
@inproceedings{challenges03-swl,
address = {Melbourne, Australia},
author = {Lavindra Priyalal de Silva and Michael Winikoff and Wei Liu},
booktitle = {Proceedings of the Challenges in Open Agent Systems '03 Workshop},
date-added = {2008-10-27 15:51:36 +1300},
date-modified = {2008-10-27 15:52:13 +1300},
pdf = {papers/challenges03-swl.pdf},
title = {Extending Agents by Transmitting Protocols in Open Systems},
year = {2003}
}
@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 = {Proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005)},
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 = {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 = {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},
date-added = {2008-10-27 15:13:17 +1300},
date-modified = {2008-10-27 15:14:37 +1300},
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},
date-added = {2008-10-27 15:11:06 +1300},
date-modified = {2008-10-27 15:18:09 +1300},
journal = {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},
date-added = {2008-10-27 15:08:56 +1300},
date-modified = {2008-10-27 15:17:55 +1300},
journal = {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}
}
@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib --expand -c 'keywords : "ssardina"' -c 'year > 2004' /home/ssardina/Papers/00-biblio-ssardina/bib-ssardina.bib}}
@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
}
@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},
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},
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},
keywords = {ssardina, BDI, agents, learning},
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{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},
url = {http://www.springer.com/computer/ai/book/978-3-642-14842-2}
}
@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},
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{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},
optnote = {In Press; accepted for publication 16/3/2010},
publisher = {Springer},
keywords = {ssardina, agents, BDI},
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},
optvolume = 149,
optnumber = 2,
year = 2010,
optpages = {91-104},
doi = {10.1007/s10472-010-9182-1},
pdf = {papers/amai10-yzsr.pdf},
keywords = {ssardina, bdi, ao_programming},
note = {To appear; accepted 13/04/2010}
}
@inproceedings{YadavSardina:AAMAS11,
author = {Yadav, Nitin and Sebastian Sardina},
title = {Decision Theoretic Behavior Composition},
booktitle = {Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS)},
optpages = {417--424},
address = {Barcelona, Spain},
publisher = {ACM Press},
month = may,
doi = {10.1145/860575.860642},
keywords = {ssardina, composition, decision_theory},
optpdf = {papers/aamas03-ss.pdf},
optslides = {papers/aamas03-ss-slides.pdf},
opteditor = {Jeffrey S. Rosenschein and Michael Wooldridge and Tuomas Sandholm and Makoto Yokoo},
note = {To appear},
year = 2011
}
@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 the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008)},
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},
booktitle = {Agent-Oriented Software Engineering VIII},
editor = {Michael Luck and Lin Padgham},
month = {April},
pages = {132--146},
title = {Generation of Repair Plans for Change Propagation},
year = {2008},
volume = {LNCS 4951},
publisher = {Springer Berlin / Heidelberg},
series = {Lecture Notes in Computer Science},
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 = {Proceedings of the Ninth International Workshop on Agent Oriented Software Engineering},
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{AAMAS09-DSSP,
author = {Lavindra 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)},
optpages = {},
year = {2009},
address = {Budapest, Hungary},
month = {May},
publisher = {ACM Press},
pdf = {papers/aamas09-dssp.pdf}
}
@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 = {AAMAS '09: Proceedings of The 8th International Conference on Autonomous
Agents and Multiagent Systems},
year = {2009},
pages = {1333--1334},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
isbn = {978-0-9817381-7-8},
location = {Budapest, Hungary},
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 = {{AAMAS 2010} International Workshop on Interacting with {ECAs} as Virtual Characters},
address = {Toronto},
year = 2010
}
@inproceedings{companions-wshop,
author = {Carole Adam and Lawrence Cavedon and Lin Padgham},
title = {Personalised dialogue in a toy to engage children},
booktitle = {{ACL'10} Workshop on Companionable Dialogue Systems},
address = {Uppsala},
year = 2010
}
@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{song-aamas-learning,
author = {A. Song and L. Padgham and L. Cavedon},
year = 2007,
title = {Prediction in dynamic environments: Robocup Rescue exploration},
booktitle = {{AAMAS} 2007 Workshop on Adaptive and Learning Agents},
address = {Honolulu {HI}}
}
@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 = {12th Aust. Joint Conf. on Artificial Intelligence},
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 = {the 4th International Joint Conference on Autonomous Agents and
Multi-Agent Systems},
month = {July},
address = {Utrecht, The Netherlands},
year = {2005},
pages = {127-128}
}
@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}
}
@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
}
@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
}
@inproceedings{Than03b,
author = {John Thangarajah and Lin Padgham and Michael Winikoff},
title = {Detecting and Avoiding Interference Between Goals in
Intelligent Agents},
booktitle = {IJCAI '03: Proceedings of the International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {721--726},
owner = {johthan},
timestamp = {2006.08.30}
}
@inproceedings{Than03a,
author = {John Thangarajah and Lin Padgham and Michael Winikoff},
title = {Detecting and Exploiting Positive Goal Interaction in
Intelligent Agents},
booktitle = {AAMAS '03: Proceedings of The 2nd International Conference on Autonomous Agents and Multiagent Systems},
year = {2003},
noaddress = {Melbourne, Australia},
pages = {401--408},
owner = {johthan},
timestamp = {2006.08.30}
}
@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,
noaddress = {Lyon, France},
pages = {18--22},
owner = {johthan},
timestamp = {2006.08.30}
}
@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},
noaddress = {Melbourne, Australia},
pages = {259--265},
timestamp = {2006.08.30}
}
@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
}
@inproceedings{PadghamTW08,
author = {Lin Padgham and John Thangarajah and Michael Winikoff},
title = {Prometheus Design Tool},
booktitle = {Proceedings of The AAAI Conference on Artificial Intelligence},
year = {2008},
pages = {1882-1883},
address = aaai:ddr
}
@inproceedings{PadghamTW07,
author = {Lin Padgham and John Thangarajah and Michael Winikoff},
title = {AUML protocols and code generation in the Prometheus design
tool (System Demonstration)},
booktitle = {AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems},
year = {2007},
pages = {270}
}
@inproceedings{AOSEPadghamTW07,
author = {Lin Padgham and John Thangarajah and Michael Winikoff},
title = {The Prometheus Design Tool - A Conference Management System
Case Study},
booktitle = {Agent-Oriented Software Engineering VIII, 8th International
Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951},
year = {2008},
pages = {197-211},
publisher = {{Springer-Verlag}}
}
@inproceedings{AOSEDignumDTPW07,
author = {Frank Dignum and Virginia Dignum and John Thangarajah and Lin Padgham and Michael Winikoff},
title = {Open Agent Systems???},
booktitle = {Agent-Oriented Software Engineering VIII, 8th International
Workshop, AOSE 2007, Revised Selected Papers, LNCS Volume 4951},
year = {2008},
pages = {73-87},
publisher = {{Springer-Verlag}}
}
@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}
}
@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}
}
@inproceedings{SierraTPW06,
author = {Carles Sierra and John Thangarajah and Lin Padgham and Michael Winikoff},
title = {Designing Institutional Multi-Agent Systems},
booktitle = {Agent-Oriented Software Engineering VII, 7th International
Workshop, AOSE 2006, Revised and Invited Papers, LNCS Volume 4405},
year = {2007},
pages = {84-103},
publisher = {{Springer-Verlag}}
}
@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}
}
@inproceedings{Zhang2009,
author = {{Zhang}, Z. and {Thangarajah}, J. and {Padgham}, L.},
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}
}
@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},
volume = {3},
number = {4},
year = {2009},
issn = {1746-1375},
pages = {416--476},
publisher = {Inderscience Publishers},
address = {Inderscience Publishers, Geneva, SWITZERLAND}
}
@inproceedings{ZhangAAMAS09,
author = {Zhang, Zhiyong and Thangarajah, John and Padgham, Lin},
title = {Model based testing for agent systems},
booktitle = {AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems},
year = {2009},
isbn = {978-0-9817381-7-8},
pages = {1333--1334},
location = {Budapest, Hungary},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems}
}
@article{ThangarajahJAR2010,
author = {Thangarajah, John and Padgham, Lin },
title = {Computationally Effective Reasoning about Goal Interactions},
journal = {Journal of Automated Reasoning},
pages = {"To Appear, accepted 05-04-2010"},
publisher = {Springer},
year = 2010
}
@inproceedings{WinikoffPHT02,
author = {Michael Winikoff and
Lin Padgham and
James Harland and
John Thangarajah},
title = {Declarative {\&} Procedural Goals in Intelligent Agent
Systems},
pages = {470-481},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary-Anne Williams},
booktitle = {KR '02: Proceedings of the Eigth International Conference on Principles and Knowledge Representation and Reasoning},
address = {Toulouse, France},
publisher = {Morgan Kaufmann},
year = {2002}
}
@inproceedings{ThangarajahModRef2007,
author = {Thangarajah, J. and Harland, J. and Yorke-Smith, N.},
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}
}
@inproceedings{zhang07,
author = {Z. Zhang and J. Thangarajah and L. 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}
}
@inproceedings{ZhangTP08,
author = {Zhiyong Zhang and
John Thangarajah and
Lin Padgham},
title = {Automated unit testing intelligent agents in PDT (DEMO)},
year = {2008},
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}
}
@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 = {To appear}
}
@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},
month = {May},
year = 2010
}
@article{Singh:JRAS10,
author = {Dhirendra Singh and Sebastian Sardina and Lin Padgham},
journal = {Journal of 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{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 = {agents, BDI, learning},
pdf = {papers/aamas10-sspa.pdf}
}
@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 = {Intelligent Virtual Agents 6th International Conference (IVA06)},
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
}