inPress

@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}
}