Publications‎ > ‎

Bibtex Entries

@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 the International Conference on 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 = {publications/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 = {publications/cogrobo04-sdgll.pdf},
  slides = {publications/cogrobo04-sdgll-slides.pdf},
  keywords = {ssardina, sitcalc},
  year = 2004
}
@inproceedings{SardinaShapiro:AAMAS03,
  author = {Sebastian Sardina and Steven Shapiro},
  title = {Rational Action in Agent Programs with Prioritized Goals},
  booktitle = {Proceedings of the International Conference on 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 = {publications/aamas03-ss.pdf},
  slides = {publications/aamas03-ss-slides.pdf},
  year = 2003,
  editor = {Jeffrey S. Rosenschein and Michael Wooldridge and Tuomas Sandholm and Makoto Yokoo}
}
@article{DeGiacomoLevesqueSardina: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 = {publications/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 = {publications/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 = {publications/lpar01.pdf},
  slides = {publications/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 = {publications/amai04-sdgll.pdf},
  year = 2004,
  publisher = {Kluwer Academic Publishers Hingham, MA, USA},
  doi = {10.1023/B:AMAI.0000031197.13122.aa},
  issn = {1012-2443}
}
@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 = {publications/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{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 = {publications/nrac05-ss.pdf},
  slides = {publications/nrac05-ss-slides.pdf},
  editor = {L. Morgenstern and M. Pagnucco}
}
@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 the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2004},
  pages = {1522-1523},
  publisher = {IEEE Computer Society Press},
  month = may,
  doi = {10.1109/AAMAS.2004.199},
  keywords = {ssardina, sitcalc, poster},
  pdf = {publications/cogrobo04-sdgll.pdf},
  slides = {publications/cogrobo04-sdgll-slides.pdf},
  note = {(poster; extended version appeared at COGROBO'04)}
}

bibpersonal-bib-2006.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2006"' ./bib-ssardina-full.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 the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages = {463--471},
  year = {2006},
  address = {Lake District, UK},
  keywords = {ssardina, planning},
  pdf = {publications/kr06-sdgll.pdf},
  slides = {publications/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 the International Conference on 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 = {publications/aamas06-sdsp.pdf},
  slides = {publications/aamas06-sdsp-slides.pdf},
  poster = {publications/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 the International Conference on 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 = {publications/aamas06-tps.pdf},
  month = may
}

bibpersonal-bib-2007.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2007"' ./bib-ssardina-full.bib}}
@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 = {publications/ijcai07-dgs.pdf},
  errata = {publications/ijcai07-dgs-errata.txt},
  slides = {publications/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 the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {16--23},
  year = {2007},
  address = {Hawaii, USA},
  month = may,
  publisher = {ACM Press},
  pdf = {publications/aamas07-sp.pdf},
  slides = {publications/aamas07-sp-slides.pdf},
  poster = {publications/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{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 = {publications/aaai07-spdg.pdf},
  slides = {publications/aaai07-spdg-slides.pdf},
  publisher = {AAAI Press}
}

bibpersonal-bib-2008.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2008"' ./bib-ssardina-full.bib}}
@inproceedings{SardinaPDG:KR08,
  author = {Sebastian Sardina and Fabio Patrizi and Giuseppe {De Giacomo}},
  title = {Behavior Composition in the Presence of Failure},
  booktitle = {Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  pages = {640--650},
  year = {2008},
  address = {Sydney, Australia},
  month = sep,
  keywords = {ssardina, composition},
  pdf = {publications/kr08-spdg.pdf},
  slides = {publications/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 = {publications/icaps08-sdg.pdf},
  slides = {publications/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 = {publications/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 = {{IEEE} International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)},
  year = {2008},
  pages = {82-88},
  publisher = {IEEE Computer Society Press},
  pdf = {publications/wetice08-dlmmvs.pdf},
  slides = {publications/wetice08-dlmmvs-slides.pdf},
  keywords = {ssardina, sitcalc},
  isbn = {978-0-7695-3315-5}
}

bibpersonal-bib-2009.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2009"' ./bib-ssardina-full.bib}}
@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 = {publications/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 = {publications/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 the International Conference on 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 = {publications/aamas09-dssp.pdf},
  slides = {publications/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 = {publications/ijcai09-sdg.pdf},
  slides = {publications/ijcai09-sdg-slides.pdf},
  keywords = {ssardina, golog, sitcalc, rac, composition},
  address = {Pasadena, CA, USA},
  editor = {Craig Boutilier},
  publisher = {IJCAI}
}
@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 = {publications/icaps09-hs.pdf},
  slides = {publications/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 = {publications/cs09-vsl.pdf},
  slides = {publications/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,
  optnote = {ISBN: 978-0-387-89298-6},
  optaddress = {New York, USA},
  pdf = {publications/fulltext-IndiGolog-APLBOOK09.pdf}
}
@inproceedings{DeGiacomo:GENPLAN09,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Solving High-Level Planning Programs},
  booktitle = {Workshop on Generalized Planning},
  year = {2009},
  optpages = {29-40},
  address = {Thessaloniki, Greece},
  pdf = {publications/genplan09-dgps.pdf},
  keywords = {ssardina, composition, ao_programming}
}

bibpersonal-bib-2010.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2010"' ./bib-ssardina-full.bib}}
@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 = {publications/promas09-sl.pdf},
  slides = {publications/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{DeGiacomo:AAMAS10,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Agent Programming via Planning Programs},
  booktitle = {Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2010,
  optmonth = 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 = {publications/aamas10-dgps.pdf},
  publisher = {IFAAMAS},
  poster = {publications/aamas10-dgps-poster.pdf},
  slides = {publications/aamas10-dgps-slides.pdf},
  errata = {publications/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 the International Conference on Principles of Knowledge Representation and Reasoning (KR)},
  year = 2010,
  month = may,
  pages = {351--361},
  address = {Toronto, Canada},
  keywords = {ssardina, composition, planning, ao_programming},
  pdf = {publications/kr10-dgps.pdf},
  slides = {publications/kr10-dgps-slides.pdf},
  errata = {publications/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 the International Conference on 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 = {publications/aamas10-sspa.pdf},
  slides = {publications/aamas10-sspa-slides.pdf},
  poster = {publications/aamas10-sspa-poster.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 = {publications/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 = {publications/amai10-yzsr.pdf},
  keywords = {ssardina, bdi, ao_programming}
}
@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 = {publications/jras10-ssp.pdf}
}

bibpersonal-bib-2011.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2011"' ./bib-ssardina-full.bib}}
@article{SardinaPadgham: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},
  keywords = {ssardina, agents, BDI},
  doi = {10.1007/s10458-010-9130-9},
  issn = {1387-2532},
  pdf = {publications/jaamas10-sp.pdf}
}
@inproceedings{YadavSardina:AAMAS11,
  author = {Yadav, Nitin and Sebastian Sardina},
  title = {Decision Theoretic Behavior Composition},
  booktitle = {Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  pages = {575--582},
  address = {Taipei, Taiwan},
  publisher = {ACM Press},
  month = may,
  keywords = {ssardina, composition, decision_theory},
  pdf = {publications/aamas11-ys.pdf},
  slides = {publications/aamas11-ys-slides.pdf},
  poster = {publications/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 = {publications/ijcai11-sspj.pdf},
  slides = {publications/ijcai11-sspj-slides.pdf},
  poster = {publications/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 = {publications/dalt10-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 Demo Track of the Nineth Conference on Business Process Management 2011},
  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},
  pdf = {http://ceur-ws.org/Vol-820/Demo6.pdf},
  note = {(Demonstration Track at BPM-2011)},
  editor = {Heiko Ludwig and Hajo Reijers},
  volumne = 820,
  address = {Clermont-Ferrand, France},
  issn = {1613-0073},
  year = 2011,
  urn = {urn:nbn:de:0074-820-4}
}
@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}
}

bibpersonal-bib-2013.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2013"' ./bib-ssardina-full.bib}}
@article{DeGiacomoPatriziSardina:AIJ13,
  author = {Giuseppe {De Giacomo}  and Patrizi, Fabio and Sebastian Sardina},
  journal = {Artificial Intelligence},
  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},
  pdf = {publications/aij13-dgps-autocomp.pdf},
  publisher = {Elsevier Science Publishers Ltd.}
}
@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},
  optaddress = {Rome, Italy},
  optmonth = jun,
  optpublisher = {AAAI Press},
  opteditor = {Daniel Borrajo, Simone Fratini, Subbarao Kambhampati and Angelo Oddi},
  keywords = {ssardina, composition, planning},
  pdf = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS13/paper/view/5982/6177},
  slides = {publications/icaps13-rys-slides.pdf},
  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},
  poster = {publications/ijcai13-ys-poster.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},
  http = {http://dl.acm.org/citation.cfm?id=2540128.2540297},
  poster = {publications/ijcai13-yfdgs-poster.pdf},
  editor = {Francesca Rossi},
  publisher = {AAAI Press},
  month = aug,
  year = 2013,
  address = {Beijing, China}
}

bibpersonal-bib-2014.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2014"' ./bib-ssardina-full.bib}}
@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},
  slides = {publications/icaps14-dgps-slides.pdf},
  year = 2014
}
@inproceedings{RamirezSardina:ICAPS14-GRENDEL,
  author = {Ramirez, Miguel 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},
  slides = {publications/icaps14-rs-slides.pdf},
  year = 2014
}
@inproceedings{MarellaMecellaSardina:KR14,
  author = {Andrea Marrella and Massimo Mecella and Sebastian Sardina},
  booktitle = {Proceedings of the International Conference on 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 = {publications/bpm11-mmrths.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 the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = 2014,
  month = may,
  pages = {957--964},
  address = {Paris, France},
  keywords = {ssardina, bdi, agents, ao_programming},
  note = {Seelected top 10\% paper \& nominated for Jodi Best Student Paper award},
  publisher = {IFAAMAS},
  pdf = {http://aamas2014.lip6.fr/proceedings/aamas/p957.pdf},
  poster = {publications/aamas14-wps-poster.pdf},
  slides = {publications/aamas14-wps-slides.pdf}
}

bibpersonal-bib-2015.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2015"' ./bib-ssardina-full.bib}}
@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}
}
@inproceedings{SardinaDippolito:IJCAI15,
  author = {Sebastian Sardina and Nicolas D'Ippolito},
  title = {Towards Fully Observable Non-deterministic Planning as Assumption-based Reactive Synthesis},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  year = 2015,
  location = {Buenos Aires, Argentina},
  pages = {3200-3206},
  url = {http://ijcai.org/papers15/Papers/IJCAI15-451.pdf},
  keywords = {ssardina, planning, fond}
}
@inproceedings{Marella.etal:SOCA15,
  author = {Andrea Marrella and Massimo Mecella and Patris Halapuu and Sebastian Sardina},
  title = {Automated Process Adaptation in Cyber-Physical Domains with the {SmartPM} System},
  booktitle = {{IEEE} International Conference on Service Oriented Computing & Applications (SOCA)},
  year = 2015,
  volume = 1418,
  location = {Rome, Italy},
  optpages = {xxx-yyy},
  http = {http://ceur-ws.org/Vol-1418/paper24.pdf},
  publisher = {CEUR},
  keywords = {ssardina, business_process, ao_programming}
}
@inproceedings{Marella.etal:ICSOC14,
  author = {Andrea Marrella and Massimo Mecella and Sebastian Sardina and Paola Tucceri},
  title = {{SmartPM}: Automated Adaptation of Dynamic Processes (Demo)},
  booktitle = {Proceedings of Service-Oriented Computing - ICSOC 2014 Workshops},
  year = 2015,
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = 8954,
  pages = {423--427},
  keywords = {ssardina, business_process, ao_programming, demo},
  doi = {10.1007/978-3-319-22885-3_40}
}
@article{Morris.etal:AAAI16-RECAP,
  author = {Robert Morris and
               Blai Bonet and
               Marc Cavazza and
               Marie desJardins and
               Ariel Felner and
               Nick Hawes and
               Brad Knox and
               Sven Koenig and
               George Konidaris and
               J{\'{e}}r{\^{o}}me Lang and
               Carlos {Linares L{\'{o}}pez} and
               Daniele Magazzeni and
               Amy McGovern and
               Sriraam Natarajan and
               Nathan R. Sturtevant and
               Michael Thielscher and
               William Yeoh and
               Sebastian Sardi{\~{n}}a and
               Kiri Wagstaff},
  title = {A Summary of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence},
  journal = {AI Magazine},
  volume = {36},
  number = {3},
  pages = {99--106},
  keywords = {ssardina},
  year = {2015},
  url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2606}
}
@inproceedings{AversaSardinaVassos:AIIDE15,
  author = {Davide Aversa and Sebastian Sardina and Stavros Vassos},
  title = {Path planning with Inventory-driven Jump-Point-Search},
  booktitle = {Proceedings of the Confernece on Artificial Intelligence and Interactive Digital Entertainment (AIIDE)},
  year = 2015,
  pages = {2--8},
  keywords = {ssardina, planning, pathfinding},
  note = {Extended version at \href{http://arxiv.org/abs/1607.00715}{arXiv:1607.00715 [cs.AI]}}
}

bibpersonal-bib-2016.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c 'keywords : "ssardina"' -c 'year : "2016"' ./bib-ssardina-full.bib}}
@article{DeGiacomo.etal:AIJ16,
  author = {Giuseppe {De Giacomo} and Alfonso Gerevini and Fabio Patrizi and Alessandro Saetti and Sebastian Sardina},
  title = {Agent Planning Programs},
  journal = {Artificial Intelligence},
  year = 2016,
  volume = 231,
  pages = {64--106},
  keywords = {ssardina, planning, ao_programming, synthesis},
  publisher = {Elsevier Science Publishers Ltd.},
  doi = {10.1016/j.artint.2015.10.001}
}
@article{Marella.etal:ACMTIST16,
  author = {Andrea Marella and Massimo Mecella and Sebastian Sardina},
  title = {Intelligent Process Adaptation in the {SmartPM} System},
  journal = {{ACM} Transactions on Intelligent Systems and Technology},
  year = 2016,
  optpages = {xxx--yyy},
  keywords = {ssardina, BP, ao_programming},
  note = {To appear}
}
@article{FelliYadavSardina:IEETAC16,
  author = {Paolo Felli and Nitin Yadav and Sebastian Sardina},
  title = {Supervisory Control for Behavior Composition},
  journal = {{IEEE} Transactions on Automatic Control (IEEE-TAC)},
  optvolume = xx,
  optnumber = {xx},
  pages = {1--6},
  year = 2016,
  keywords = {ssardina, des, composition, synthesis},
  publisher = {Control Systems Society of IEEE},
  note = {To appear},
  doi = {10.1109/TAC.2016.2570748},
  pdf = {publications/ieetac16-fys.pdf}
}
@inproceedings{DeGiacomo.etal:ICAPS16,
  author = {Giuseppe {De Giacomo} and
  					Fabrizio Maria Maggi and
  					Andrea Marrella and 
  					Sebastian Sardina},
  title = {Computing Trace Alignment against Declarative Process Models through Planning},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)},
  pages = {367--375},
  pdf = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13094/12699},
  keywords = {ssardina, planning, business_process},
  year = {2016}
}
@inproceedings{DeGiacomo.etal:AAAI16,
  author = {Giuseppe {De Giacomo} and
 				Yves Lesperance and
 				Fabio Patrizi and 
 				Sebastian Sardina},
  title = {Verifying {ConGolog} Programs on Bounded Situation Calculus Theories},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI)},
  pages = {950--956},
  pdf = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12470/11688},
  keywords = {ssardina, sitcalc, verification},
  year = {2016}
}
@inproceedings{deSilvaPadghamSardina.etal:ECAI16,
  author = {Lavindra {de Silva} and Lin Padgham and Sebastian Sardina},
  title = {Summary Information for Reasoning about Hierarchical Plans},
  booktitle = {Proceedings of the European Conference in Artificial Intelligence (ECAI)},
  optpages = {},
  optpdf = {},
  keywords = {ssardina, BDI, agent_programming},
  year = {2016},
  note = {To appear}
}
@inproceedings{FelliLoganSardina:IJCAI16,
  author = {Paolo Felli and Brian Logan and Sebastian Sardina},
  title = {Parallel Behavior Composition for Manufacturing},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {272--278},
  http = {http://www.ijcai.org/Proceedings/16/Papers/046.pdf},
  keywords = {ssardina, composition, synthesis, kr},
  address = {New York, USA},
  year = {2016}
}
@inproceedings{Arenas.etal:IJCAI16,
  author = {Marcelo Arenas and Jorge Baier and Juan Navarro and Sebastian Sardina},
  title = {Incomplete Causal Laws in the Situation Calculus using Free Fluents},
  booktitle = {Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI)},
  pages = {907--914},
  keywords = {ssardina, sitlcac, kr, rac},
  year = {2016},
  address = {New York, USA},
  http = {http://www.ijcai.org/Proceedings/16/Papers/133.pdf}
}
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c '$type="ARTICLE" and keywords : "ssardina"' ./bib-ssardina-full.bib}}
@article{DeGiacomoLevesqueSardina: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 = {publications/tocl01.pdf}
}
@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 = {publications/amai04-sdgll.pdf},
  year = 2004,
  publisher = {Kluwer Academic Publishers Hingham, MA, USA},
  doi = {10.1023/B:AMAI.0000031197.13122.aa},
  issn = {1012-2443}
}
@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 = {publications/ijats09-apss.pdf},
  keywords = {ssardina, BDI, agents, learning},
  publisher = {IGI Global},
  issn = {1943-0744}
}
@article{SardinaPadgham: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},
  keywords = {ssardina, agents, BDI},
  doi = {10.1007/s10458-010-9130-9},
  issn = {1387-2532},
  pdf = {publications/jaamas10-sp.pdf}
}
@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 = {publications/amai10-yzsr.pdf},
  keywords = {ssardina, bdi, ao_programming}
}
@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 = {publications/jras10-ssp.pdf}
}
@article{DeGiacomoPatriziSardina:AIJ13,
  author = {Giuseppe {De Giacomo}  and Patrizi, Fabio and Sebastian Sardina},
  journal = {Artificial Intelligence},
  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},
  pdf = {publications/aij13-dgps-autocomp.pdf},
  publisher = {Elsevier Science Publishers Ltd.}
}
@article{DeGiacomo.etal:AIJ16,
  author = {Giuseppe {De Giacomo} and Alfonso Gerevini and Fabio Patrizi and Alessandro Saetti and Sebastian Sardina},
  title = {Agent Planning Programs},
  journal = {Artificial Intelligence},
  year = 2016,
  volume = 231,
  pages = {64--106},
  keywords = {ssardina, planning, ao_programming, synthesis},
  publisher = {Elsevier Science Publishers Ltd.},
  doi = {10.1016/j.artint.2015.10.001}
}
@article{Marella.etal:ACMTIST16,
  author = {Andrea Marella and Massimo Mecella and Sebastian Sardina},
  title = {Intelligent Process Adaptation in the {SmartPM} System},
  journal = {{ACM} Transactions on Intelligent Systems and Technology},
  year = 2016,
  optpages = {xxx--yyy},
  keywords = {ssardina, BP, ao_programming},
  note = {To appear}
}
@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{FelliYadavSardina:IEETAC16,
  author = {Paolo Felli and Nitin Yadav and Sebastian Sardina},
  title = {Supervisory Control for Behavior Composition},
  journal = {{IEEE} Transactions on Automatic Control (IEEE-TAC)},
  optvolume = xx,
  optnumber = {xx},
  pages = {1--6},
  year = 2016,
  keywords = {ssardina, des, composition, synthesis},
  publisher = {Control Systems Society of IEEE},
  note = {To appear},
  doi = {10.1109/TAC.2016.2570748},
  pdf = {publications/ieetac16-fys.pdf}
}
@article{Morris.etal:AAAI16-RECAP,
  author = {Robert Morris and
               Blai Bonet and
               Marc Cavazza and
               Marie desJardins and
               Ariel Felner and
               Nick Hawes and
               Brad Knox and
               Sven Koenig and
               George Konidaris and
               J{\'{e}}r{\^{o}}me Lang and
               Carlos {Linares L{\'{o}}pez} and
               Daniele Magazzeni and
               Amy McGovern and
               Sriraam Natarajan and
               Nathan R. Sturtevant and
               Michael Thielscher and
               William Yeoh and
               Sebastian Sardi{\~{n}}a and
               Kiri Wagstaff},
  title = {A Summary of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence},
  journal = {AI Magazine},
  volume = {36},
  number = {3},
  pages = {99--106},
  keywords = {ssardina},
  year = {2015},
  url = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/2606}
}
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -c '$type="INPROCEEDINGS" and keywords : "ssardina" and (booktitle : "workshop" or keywords : "poster" or keywords : "symposium" or keywords : "demo" or keywords : "workshop")' ./bib-ssardina-full.bib}}
@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 = {publications/cogrobo04-sdgll.pdf},
  slides = {publications/cogrobo04-sdgll-slides.pdf},
  keywords = {ssardina, sitcalc},
  year = 2004
}
@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 = {publications/promas03.pdf},
  year = 2003
}
@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}
}
@inproceedings{ThangarajahPS:AAMAS06,
  author = {John Thangarajah and Lin Padgham and Sebastian Sardina},
  title = {Modelling Situations in Intelligent Agents},
  booktitle = {Proceedings of the International Conference on 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 = {publications/aamas06-tps.pdf},
  month = may
}
@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 = {publications/nrac05-ss.pdf},
  slides = {publications/nrac05-ss-slides.pdf},
  editor = {L. Morgenstern and M. Pagnucco}
}
@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 = {publications/alamasalag08-apss.pdf},
  keywords = {agents, BDI, learning, ssardina},
  month = may
}
@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 the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS)},
  year = {2004},
  pages = {1522-1523},
  publisher = {IEEE Computer Society Press},
  month = may,
  doi = {10.1109/AAMAS.2004.199},
  keywords = {ssardina, sitcalc, poster},
  pdf = {publications/cogrobo04-sdgll.pdf},
  slides = {publications/cogrobo04-sdgll-slides.pdf},
  note = {(poster; extended version appeared at COGROBO'04)}
}
@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 = {publications/promas09-sl.pdf},
  slides = {publications/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{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 = {publications/cs09-vsl.pdf},
  slides = {publications/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}
}
@inproceedings{DeGiacomo:GENPLAN09,
  author = {Giuseppe {De Giacomo} and Fabio Patrizi and Sebastian Sardina},
  title = {Solving High-Level Planning Programs},
  booktitle = {Workshop on Generalized Planning},
  year = {2009},
  optpages = {29-40},
  address = {Thessaloniki, Greece},
  pdf = {publications/genplan09-dgps.pdf},
  keywords = {ssardina, composition, ao_programming}
}
@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 Demo Track of the Nineth Conference on Business Process Management 2011},
  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},
  pdf = {http://ceur-ws.org/Vol-820/Demo6.pdf},
  note = {(Demonstration Track at BPM-2011)},
  editor = {Heiko Ludwig and Hajo Reijers},
  volumne = 820,
  address = {Clermont-Ferrand, France},
  issn = {1613-0073},
  year = 2011,
  urn = {urn:nbn:de:0074-820-4}
}
@inproceedings{Marella.etal:ICSOC14,
  author = {Andrea Marrella and Massimo Mecella and Sebastian Sardina and Paola Tucceri},
  title = {{SmartPM}: Automated Adaptation of Dynamic Processes (Demo)},
  booktitle = {Proceedings of Service-Oriented Computing - ICSOC 2014 Workshops},
  year = 2015,
  series = {Lecture Notes in Computer Science (LNCS)},
  volume = 8954,
  pages = {423--427},
  keywords = {ssardina, business_process, ao_programming, demo},
  doi = {10.1007/978-3-319-22885-3_40}
}
Comments