@inproceedings{CoreaFMP24,
  author       = {Carl Corea and
                  Paolo Felli and
                  Marco Montali and
                  Fabio Patrizi},
  editor       = {Giancarlo Guizzardi and
                  Fl{\'{a}}via Maria Santoro and
                  Haralambos Mouratidis and
                  Pnina Soffer},
  title        = {On the Flexibility of Declarative Process Specifications},
  booktitle    = {Advanced Information Systems Engineering - 36th International Conference,
                  CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14663},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-61057-8\_10},
  doi          = {10.1007/978-3-031-61057-8\_10}
}

@inproceedings{FelliMW23,
  author       = {Paolo Felli and
                  Marco Montali and
                  Sarah Winkler},
  title        = {Repairing Soundness Properties in Data-Aware Processes},
  booktitle    = {5th International Conference on Process Mining, {ICPM} 2023, Rome,
                  Italy, October 23-27, 2023},
  pages        = {41--48},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICPM60904.2023.10271969},
  doi          = {10.1109/ICPM60904.2023.10271969}
}

@inproceedings{BuriganaFMT23,
  author       = {Alessandro Burigana and
                  Paolo Felli and
                  Marco Montali and
                  Nicolas Troquard},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {A Semantic Approach to Decidability in Epistemic Planning},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
                  12th Conference on Prestigious Applications of Intelligent Systems
                  {(PAIS} 2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {319--326},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230286},
  doi          = {10.3233/FAIA230286}
}

@article{FelliGMRW23,
  author       = {Paolo Felli and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin and
                  Sarah Winkler},
  title        = {Data-aware conformance checking with {SMT}},
  journal      = {Inf. Syst.},
  volume       = {117},
  pages        = {102230},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102230},
  doi          = {10.1016/J.IS.2023.102230}
}

@inproceedings{BuriganaFMT23,
  author       = {Alessandro Burigana and
                  Paolo Felli and
                  Marco Montali and
                  Nicolas Troquard},
  editor       = {Kobi Gal and
                  Ann Now{\'{e}} and
                  Grzegorz J. Nalepa and
                  Roy Fairstein and
                  Roxana Radulescu},
  title        = {A Semantic Approach to Decidability in Epistemic Planning},
  booktitle    = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
                  September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
                  12th Conference on Prestigious Applications of Intelligent Systems
                  {(PAIS} 2023)},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {372},
  pages        = {319--326},
  publisher    = {{IOS} Press},
  year         = {2023},
  url          = {https://doi.org/10.3233/FAIA230286},
  doi          = {10.3233/FAIA230286}
}

@inproceedings{BuriganaFMT23,
  author       = {Alessandro Burigana and
                  Paolo Felli and
                  Marco Montali and
                  Nicolas Troquard},
  editor       = {Noa Agmon and
                  Bo An and
                  Alessandro Ricci and
                  William Yeoh},
  title        = {A Semantic Approach to Decidability in Epistemic Planning},
  booktitle    = {Proceedings of the 2023 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
                  2023 - 2 June 2023},
  pages        = {2361--2363},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://dl.acm.org/doi/10.5555/3545946.3598934},
  doi          = {10.5555/3545946.3598934}
}

@inproceedings{FelliMPW23,
  author       = {Paolo Felli and
                  Marco Montali and
                  Fabio Patrizi and
                  Sarah Winkler},
  editor       = {Brian Williams and
                  Yiling Chen and
                  Jennifer Neville},
  title        = {Monitoring Arithmetic Temporal Properties on Finite Traces},
  booktitle    = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2023, Thirty-Fifth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
                  7-14, 2023},
  pages        = {6346--6354},
  publisher    = {{AAAI} Press},
  year         = {2023},
  url          = {https://doi.org/10.1609/aaai.v37i5.25781},
  doi          = {10.1609/AAAI.V37I5.25781}
}

@inproceedings{FelliGMRW22,
  author       = {Paolo Felli and
                  Alessandro Gianola and
                  Marco Montali and
                  Andrey Rivkin and
                  Sarah Winkler},
  editor       = {Claudio Di Ciccio and
                  Remco M. Dijkman and
                  Adela del{-}R{\'{\i}}o{-}Ortega and
                  Stefanie Rinderle{-}Ma},
  title        = {Conformance Checking with Uncertainty via {SMT}},
  booktitle    = {Business Process Management - 20th International Conference, {BPM}
                  2022, M{"{u}}nster, Germany, September 11-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13420},
  pages        = {199--216},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16103-2\_15},
  doi          = {10.1007/978-3-031-16103-2\_15}
}

@inproceedings{FelliMW22,
  author       = {Paolo Felli and
                  Marco Montali and
                  Sarah Winkler},
  editor       = {Jasmin Blanchette and
                  Laura Kov{\'{a}}cs and
                  Dirk Pattinson},
  title        = {CTL\({}^{\mbox{*}}\) Model Checking for Data-Aware Dynamic Systems
                  with Arithmetic},
  booktitle    = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
                  2022, Haifa, Israel, August 8-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13385},
  pages        = {36--56},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-10769-6\_4},
  doi          = {10.1007/978-3-031-10769-6\_4}
}

@inproceedings{DeGiacomoFLPS22,
  author       = {Giuseppe De Giacomo and
                  Paolo Felli and
                  Brian Logan and
                  Fabio Patrizi and
                  Sebastian Sardi{\~{n}}a},
  editor       = {Luc De Raedt},
  title        = {Situation Calculus for Controller Synthesis in Manufacturing Systems
                  with First-Order State Representation (Extended Abstract)},
  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
                  2022},
  pages        = {5722--5726},
  publisher    = {ijcai.org},
  year         = {2022},
  url          = {https://doi.org/10.24963/ijcai.2022/798},
  doi          = {10.24963/IJCAI.2022/798}
}

@inproceedings{FelliMW22,
  author       = {Paolo Felli and
                  Marco Montali and
                  Sarah Winkler},
  editor       = {Xavier Franch and
                  Geert Poels and
                  Frederik Gailly and
                  Monique Snoeck},
  title        = {Soundness of Data-Aware Processes with Arithmetic Conditions},
  booktitle    = {Advanced Information Systems Engineering - 34th International Conference,
                  CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13295},
  pages        = {389--406},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07472-1\_23},
  doi          = {10.1007/978-3-031-07472-1\_23}
}

@inproceedings{FelliMW22,
  author       = {Paolo Felli and
                  Marco Montali and
                  Sarah Winkler},
  title        = {Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {5642--5650},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i5.20505},
  doi          = {10.1609/AAAI.V36I5.20505}
}

@article{MuiseBFMMPS22,
  	author = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
	title = {Efficient multi-agent epistemic planning: Teaching planners about nested belief},
	journal = {Artificial Intelligence},
	volume = {302},
	pages = {103605},
	year = {2022},
	issn = {0004-3702},
	url = {https://doi.org/10.1016/j.artint.2021.103605}
  	}

@article{DeGiacomoFLPS22,
  	author = {Giuseppe {De Giacomo} and Paolo Felli and Brian Logan and Fabio Patrizi and Sebastian Sardi{\~{n}}a},
	title = {Situation calculus for controller synthesis in manufacturing systems with first-order state representation},
	journal = {Artificial Intelligence},
	volume = {302},
	pages = {103598},
	year = {2022},
	issn = {0004-3702},
	url = {https://doi.org/10.1016/j.artint.2021.103598}
  	}

@inproceedings{FelliGMRW21,
  	author    = {Paolo Felli and Alessandro Gianola and Marco Montali and Andrey Rivkin and Sarah Winkler},
  	title     = {CoCoMoT: Conformance Checking of Multi-perspective Processes via {SMT}},
  	booktitle = {Business Process Management - 19th International Conference, {BPM} 2021, Rome, Italy, September 06-10, 2021, Proceedings},
  	series    = {Lecture Notes in Computer Science},
  	volume    = {12875},
  	pages     = {217--234},
  	publisher = {Springer},
  	year      = {2021},
  	url       = {https://doi.org/10.1007/978-3-030-85469-0\_15}
  	}

@article{deLeoniFM21,
  	author    = {Massimiliano de Leoni and Paolo Felli and Marco Montali},
  	title     = {Integrating {BPMN} and {DMN:} Modeling and Analysis},
  	journal   = {J. Data Semant.},
  	volume    = {10},
  	number    = {1},
  	pages     = {165--188},
  	year      = {2021},
  	url       = {https://doi.org/10.1007/s13740-021-00132-z}
  	}

@article{deLeoniFM21,
  	author    = {Paolo Felli and Massimiliano de Leoni and Marco Montali},
  	title     = {Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions},
  	journal   = {Fundam. Informaticae},
  	volume    = {182},
  	number    = {1},
  	pages     = {1--29},
  	year      = {2021},
  	url       = {https://doi.org/10.3233/FI-2021-2064}
  	}

@inproceedings{DeGiacomoFMP21,
  	author    = {Giuseppe De Giacomo and Paolo Felli and Marco Montali and Giuseppe Perelli},
  	title     = {HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs},
  	booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021},
  	pages     = {1859--1865},
  	publisher = {ijcai.org},
  	year      = {2021},
  	url       = {https://doi.org/10.24963/ijcai.2021/256}
  	}

@inproceedings{FelliGM21,
  	author    = {Paolo Felli and Alessandro Gianola and Marco Montali},
  	title     = {SMT-based Safety Checking of Parameterized Multi-Agent Systems},
  	booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Virtual Event, February 2-9, 2021},
  	pages     = {6321--6330},
  	publisher = {{AAAI} Press},
  	year      = {2021},
  	url       = {https://ojs.aaai.org/index.php/AAAI/article/view/16785}
	}

@inproceedings{FelliGM20,
	author    = {Paolo Felli and Alessandro Gianola and Marco Montali},
	title     = {A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems},
  	booktitle = {{PRIMA} 2020: Principles and Practice of Multi-Agent Systems - 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings},
  	series    = {Lecture Notes in Computer Science},
  	volume    = {12568},
  	pages     = {259--280},
  	publisher = {Springer},
  	year      = {2020},
  	url       = {https://doi.org/10.1007/978-3-030-69322-0_17}
	}

@inproceedings{deLeoniFM20,
  	author    = {Massimiliano de Leoni and Paolo Felli and Marco Montali},
  	editor    = {Diego Calvanese and Esra Erdem and Michael Thielscher},
  	title     = {Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors},
  	booktitle = {Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece, September 12-18, 2020},
  	pages     = {315--325},
  	year      = {2020}
	}

@inproceedings{FelliDLMM19,
	author={P. {Felli} and M. {de Leoni} and M. {Montali}},
	booktitle={2019 19th International Conference on Application of Concurrency to System Design (ACSD)},
	title={Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions},
	year={2019},
	pages={82-91},
	url = {https://doi.org/10.1109/ACSD.2019.00013}
}

@article{DeSilvaFSCLR19,
	author = {Lavindra {de Silva} and Paolo Felli and David Sanderson and Jack C. Chaplin and Brian Logan and Svetan Ratchev},
	title = {Synthesising process controllers from formal models of transformable assembly systems},
	journal = {Robotics and Computer-Integrated Manufacturing},
	volume = {58},
	pages = {130--144},
	year = {2019},
	issn = {0736-5845},
	doi = {https://doi.org/10.1016/j.rcim.2019.01.014}
	}

@inproceedings{AlechinaBGFLV19,
	author    = {Natasha Alechina and Tom{\'{a}}s Br{\'{a}}zdil and Giuseppe {De Giacomo} and Paolo Felli and Brian Logan and Moshe Y. Vardi},
	title     = {Unbounded Orchestrations of Transducers for Manufacturing},
	booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.},
	pages     = {2646--2653},
	year      = {2019},
	url       = {https://aaai.org/ojs/index.php/AAAI/article/view/4113}
	}

@inproceedings{deLeoniFM18,
	author    = {Massimiliano {de Leoni} and Paolo Felli and Marco Montali},
	title     = {A Holistic Approach for Soundness Verification of Decision-Aware Process Models},
	booktitle = {Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings},
	pages     = {219--235},
	year      = {2018},
	url       = {https://doi.org/10.1007/978-3-030-00847-5_17}
	}

@inproceedings{DeGiacomoVFAL18,
	author    = {Giuseppe {De Giacomo} and Moshe Y. Vardi and Paolo Felli and Natasha Alechina and Brian Logan},
	title     = {Synthesis of Orchestrations of Transducers for Manufacturing},
	booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018},
	pages     = {6161--6168},
	year      = {2018},
	url       = {https://aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17250}
	}

@inproceedings{FelliSLR17,
	author    = {Paolo Felli and Lavindra de Silva and Brian Logan and Svetan M. Ratchev},
	title     = {Process Plan Controllers for Non-Deterministic Manufacturing Systems},
	booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017},
	pages     = {1023--1030},
	year      = {2017},
	url       = {https://doi.org/10.24963/ijcai.2017/142}
	}

@inproceedings{deSilvaFCLSR17,
	author    = {Lavindra de Silva and Paolo Felli and Jack C. Chaplin and Brian Logan and David Sanderson and Svetan M. Ratchev},
	title     = {Synthesising Industry-Standard Manufacturing Process Controllers},
	booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
	pages     = {1811--1813},
	year      = {2017},
	url       = {http://dl.acm.org/citation.cfm?id=3091448}
	}

@inproceedings{DeSilvaFCLSR16,
	author    = {Lavindra de Silva and Paolo Felli and Jack C. Chaplin and Brian Logan and David Sanderson and Svetan M. Ratchev},
	title     = {Realisability of Production Recipes},
	booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, {ECAI} 2016,
	             29 August-2 September 2016, The Hague, The Netherlands},
	pages     = {1449--1457},
	year      = {2016},
	url       = {http://ebooks.iospress.nl/publication/44902}
	}

@inproceedings{FelliLS16,
	author    = {Paolo Felli and Brian Logan and Sebastian Sardi{\~{n}}a},
	title     = {Parallel Behavior Composition for Manufacturing},
	booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016},
	pages     = {271--278},
	year      = {2016},
	url       = {http://www.ijcai.org/Abstract/16/046}
	}

@article{FelliYS17,
	author    = {Paolo Felli and Nitin Yadav and Sebastian Sardi{\~{n}}a},
	title     = {Supervisory Control for Behavior Composition},
	journal   = {{IEEE} Trans. Automat. Contr.},
	volume    = {62},
	number    = {2},
	pages     = {986--991},
	year      = {2017},
	url       = {https://doi.org/10.1109/TAC.2016.2570748}
	}

@inproceedings{MuiseFMPS16,
	author    = {Christian J. Muise and Paolo Felli and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
	title     = {Planning for a Single Agent in a Multi-Agent Environment Using {FOND}},
	booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016},
	pages     = {3206--3212},
	year      = {2016},
	url       = {http://www.ijcai.org/Abstract/16/454}
	}

@inproceedings{MillerFMPS16,
	author    = {Tim Miller and Paolo Felli and Christian J. Muise and Adrian R. Pearce and Liz Sonenberg},
	title     = {'Knowing Whether' in Proper Epistemic Knowledge Bases},
	booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}},
	pages     = {1044--1050},
	year      = {2016},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/viewPaper/12291}
}

@inproceedings{FelliMMPS15,
	author    = {Paolo Felli and Tim Miller and Christian Muise and Adrian R. Pearce and Liz Sonenberg},
	title     = {Computing Social Behaviours Using Agent Models},
	booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015},
	pages     = {2978--2984},
	year      = {2015},
	url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-421.html}
}

@inproceedings{MuiseBFMMPS15,
	author    = {Christian Muise and Vaishak Belle and Paolo Felli and Sheila A. McIlraith and Tim Miller and Adrian R. Pearce and Liz Sonenberg},
	title     = {Planning Over Multi-Agent Epistemic States: {A} Classical Planning Approach},
	booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA.}},
	pages     = {3327--3334},
	year      = {2015},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9974}
}

@inproceedings{MuiseMFPS15,
	author    = {Christian Muise and Tim Miller and Paolo Felli and Adrian R. Pearce and Liz Sonenberg},
	title     = {Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases},
	booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
	pages     = {1461--1469},
	year      = {2015},
	url       = {https://dl.acm.org/doi/10.5555/2772879.2773339}
}

@inproceedings{FelliMMPS14,
	author    = {Paolo Felli and Tim Miller and Christian Muise and Adrian R. Pearce and Liz Sonenberg},
	title     = {Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others},
	booktitle = {Social Robotics - 6th International Conference, {ICSR} 2014, Sydney, NSW, Australia, October 27-29, 201QUERY Proceedings},
	pages     = {146--155},
	year      = {2014},
	url       = {http://doi.org/10.1007/978-3-319-11973-1_15}
}

@inproceedings{YadavFDGS13,
	author    = {Nitin Yadav and Paolo Felli and Giuseppe {De Giacomo} and Sebastian Sardi{\~{n}}a},
	title     = {Supremal Realizability of Behaviors with Uncontrollable Exogenous Events},
	booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013},
	pages	= {1176-1182},
	year      = {2013},
	url       = {https://www.ijcai.org/Abstract/13/177}
}

@article{HaririCMDGMF13,
	author    = {Babak Bagheri Hariri and Diego Calvanese and Marco Montali and Giuseppe {De Giacomo} and iccardo {De Masellis} and Paolo Felli},
	title     = {Description Logic Knowledge and Action Bases},
	journal   = {J. Artif. Intell. Res. {(JAIR)}},
	volume    = {46},
	pages     = {651--686},
	year      = {2013},
	url       = {http://doi.org/10.1613/jair.3826}
}

@inproceedings{eGiacomoCFHM12,
	author    = {Giuseppe {De Giacomo} and Claudio {Di Ciccio} and Paolo Felli and Yuxiao Hu and Massimo Mecella},
	title     = {Goal-Based Composition of Stateful Services for Smart Homes},
	booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part {I}},
	pages     = {194--211},
	year      = {2012},
	url       = {http://doi.org/10.1007/978-3-642-33606-5_13}
}

@inproceedings{FelliGL12,
	author    = {Paolo Felli and Giuseppe {De Giacomo} and Alessio Lomuscio},
	title     = {Synthesizing Agent Protocols From {LTL} Specifications Against Multiple Partially-Observable Environments},
	booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012},
	year      = {2012},
	url       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4549}
}

@inproceedings{HaririCDGMFM12,
	author    = {Babak Bagheri Hariri and Diego Calvanese and Giuseppe {De Giacomo} and Riccardo {De Masellis} and Paolo Felli and Marco Montali},
	title     = {Verification of Description Logic Knowledge and Action Bases},
	booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence, Montpellier, France, August 27-31 , 2012},
	pages     = {103--108},
	year      = {2012},
	url       = {http://doi.org/10.3233/978-1-61499-098-7-103}
}

@inproceedings{HaririCDGMF11,
	author    = {Babak Bagheri Hariri and Diego Calvanese and Giuseppe {De Giacomo} and Riccardo {De Masellis} and Paolo Felli},
	title     = {Foundations of Relational Artifacts Verification},
	booktitle = {Business Process Management - 9th International Conference, {BPM} 2011, Clermont-Ferrand, France, August 30 - September 2, 2011. Proceedings},
	pages     = {379--395},
	year      = {2011},
	url       = {http://doi.org/10.1007/978-3-642-23059-2_28}
}

@inproceedings{DeGiacomoFPS10,
	author    = {Giuseppe {De Giacomo} and Paolo Felli and Fabio Patrizi and Sebastian Sardi{\~{n}}a},
	title     = {Two-Player Game Structures for Generalized Planning and Agent Composition},
	booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
	year      = {2010},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1813}
}

@inproceedings{DeGiacomoF10,
	author    = {Giuseppe {De Giacomo} and Paolo Felli},
	title     = {Agent composition synthesis based on {ATL}},
	booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
	pages     = {499--506},
	year      = {2010},
	url       = {https://dl.acm.org/doi/10.5555/1838206.1838277}
}