non-CS   demo   workshop   conference   journal



2019
B B-
Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. P. Felli, M. de Leoni, M. Montali. 19th International Conference on Application of Concurrency to System Design (ACSD 2019). link
data-aware processes
@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},
	doi={10.1109/ACSD.2019.00013}
}
Synthesising Process Controllers from Formal Models of Transformable Manufacturing Systems. L. de Silva, P. Felli, D. Sanderson, J. C Chaplin, B. Logan, S. Ratchev. Robotics and Computer Integrated Manufacturing Journal, 2019 (RCIM). link
flexible manufacturing
@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}
 }
A* A++ 16.2%
Unbounded Orchestrations of Transducers for Manufacturing. N. Alechina, T. Brazdil, G. De Giacomo, P. Felli, B. Logan, M. Vardi. 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). link
unbounded composition
@inproceedings{DBLP:conf/aaai/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, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019.},
	pages = {2646--2653},
	year = {2019}
}

2018
A B 19%
A Holistic Approach for Soundness Verification of Decision-Aware Process Models. M. de Leoni, P. Felli, M. Montali. 37th International Conference on Conceptual Modeling (ER 2018). link
data-aware processes
@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},
		doi       = {https://doi.org/10.1007/978-3-030-00847-5_17}
	}
Composite Capabilities for Cloud Manufacturing. L. de Silva, P. Felli, B. Logan, S. Ratchev. The 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018). Demo paper.
adaptive manufacturing
A* A++ 25%
Synthesis of Orchestrations of Transducers for Manufacturing. G. De Giacomo, M. Vardi, P. Felli, N. Alechina, B. Logan. Proc. of 32th AAAI Conference on Artificial Intelligence (AAAI 2018). link
manufacturing synthesis
@inproceedings{DBLP:conf/aaai/GiacomoVFAL18,
	  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://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/17250}
	}


2017
A* A++ 25.9%
Process Plan Controllers for Partially Controllable Manufacturing Systems. P. Felli, L. de Silva, B. Logan, S. Ratchev. Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). link
adaptive manufacturing behavior composition
@inproceedings{DBLP:conf/ijcai/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},
	  doi       = {10.24963/ijcai.2017/142}
	}
Synthesising industry-standard manufacturing process controllers. L. de Silva, P. Felli, J. C. Chaplin, B. Logan, D. Sanderson, S. Ratchev. The 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017). Demo paper. link
adaptive manufacturing
@inproceedings{DBLP:conf/atal/SilvaFCLSR17,
	  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},
	  crossref  = {DBLP:conf/atal/2017},
	  url       = {http://dl.acm.org/citation.cfm?id=3091448},
	  bibsource = {dblp computer science bibliography, http://dblp.org}
	}
Toward process control from formal models of transformable manufacturing systems. O. J. Bakker, J. C. Chaplin, L. de Silva, P. Felli, D. Sanderson, B. Logan, S. Ratchev. Proc. of the 50th CIRP Conference on Manufacturing Systems (CIRP 2017).
evolvable assembly systems

2016
A A 27.0%
Realisability of Production Recipes. L. de Silva, P. Felli, J. C. Chaplin, B. Logan, D. Sanderson, S. Ratchev. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016). link
adaptive manufacturing
@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},
	  crossref  = {DBLP:conf/ecai/2016},
	  url       = {http://dx.doi.org/10.3233/978-1-61499-672-9-1449}
	}
A* A++ 25.0%
Parallel Behavior Composition for Manufacturing. P. Felli, B. Logan, S. Sardiña. Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). link
adaptive manufacturing behavior composition
@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}
	}

2017
Supervisory Control for Behavior Composition. P. Felli, N. Yadav, S. Sardiña. Note in IEEE Transactions on Automatic Control, 2017 (IEEE-TAC). (CoRR (long) version: link ) link
discrete-event systems behavior composition
@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}
	}

2016
A* A++ 25.0%
Planning for a Single Agent in a Multi-Agent Environment Using FOND. C. Muise, P. Felli, T. Miller, A. Pearce, L. Sonenberg. Proc. of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). link
single-agent planning
@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}
	}
Social planning for social HRI. L. Sonenberg, T. Miller, A. Pearce, P. Felli, C. Muise, F. Dignum. HRI'16 2nd Workshop on Cognitive Architectures for Social Human-Robot Interaction (CogArc 2016).
A* A++ 25.7%
'Knowing Whether' in Proper Epistemic Knowledge Bases. T. Miller, P. Felli, C. Muise, L. Sonenberg, A. R. Pearce. Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI 2016). link
PEKBs doxastic reasoning
@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}
}

2015
Towards Team Formation via Automated Planning. C. Muise, F. Dignum, P. Felli, T. Miller, A. R. Pearce, L. Sonenberg. International Workshop on Coordination, Organisation, Institutions and Norms in Multi-Agent Systems (COIN 2015).
team formation planning
A* A++ 28.8%
Computing Social Behaviours Using Agent Models. P. Felli, T. Miller, C. Muise, A. R. Pearce, L. Sonenberg. Proc. of the International Joint Conference on Artificial Intelligence (IJCAI 2015). link
agent models
@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}
}
A* A++ 26.6%
Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. C. Muise, V. Belle, P. Felli, S. McIlraith, T. Miller, A. R. Pearce, L. Sonenberg. Proc. of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015). link
PEKBs planning
@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}
}
Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems. C. Muise, P. Felli, T. Miller, A. R. Pearce, L. Sonenberg. Workshop on Distributed and Multi-Agent Planning (DMAP 2015).
planning agents
A* A+ 24.4%
Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. C. Muise, T. Miller, P. Felli, A. R. Pearce, L. Sonenberg. Proc. of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015).
PEKBs doxastic reasoning
@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}
}

2014
Artificial social reasoning: computational mechanisms for reasoning about others. P. Felli, T. Miller, C. Muise, A. R. Pearce, L. Sonenberg. Proc. of 6th International Conference on Social Robotics (ICSR 2014). link
human-agent collaboration
@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, 2014. Proceedings},
	pages     = {146--155},
	year      = {2014},
	doi       = {10.1007/978-3-319-11973-1_15}
}
Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. T. Miller, A. R. Pearce, L. Sonenberg, F. Dignum, P. Felli, C. Muise. The AAAI 2014 Fall Symposium on AI for Human-Robot Interaction (AAAI Fall Symposium 2014).
human-agent collaboration

2013
A* A++ 28.0%
Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. N. Yadav, G. De Giacomo, P. Felli, S. Sardiña. Proc. of 23th International Joint Conference on Artificial Intelligence (IJCAI 2013). link
behavior composition controllability
@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}
}
Description logic Knowledge and Action Bases. B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, P. Felli. Journal of Artificial Intelligence Research, 2013 (JAIR). link
description logic verification
@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://dx.doi.org/10.1613/jair.3826},
	doi       = {10.1613/jair.3826}
}

2012
A A- 21.0%
Goal-based Composition of Stateful Services for Smart Homes. G. De Giacomo, C. Di Ciccio, P. Felli, Y. Hu, M. Mecella. Proc. of 20th International Conference on Cooperative Information Systems (CoopIS 2012). link
behavior composition smart homes
@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},
	doi       = {10.1007/978-3-642-33606-5_13}
}
A* A+ 26.2%
Synthesizing agent protocols from LTL specifications against multiple partially-observable environments. P. Felli, G. De Giacomo, A. Lomuscio. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). link
generalised plans synthesis agents
@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}
}
A A 28.4%
Verification of Description Logic Knowledge and Action Bases. B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli, M. Montali. Proc. of 20th European Conference on Artificial Intelligence (ECAI 2012). link
description logic verification
@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},
	doi       = {10.3233/978-1-61499-098-7-103}
}

2011
A A 15.0%
Foundations of Relational Artifacts Verification. B. Bagheri Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, P. Felli. Proc. of 9th International Conference on Business Process Management (BPM 2011). link
description logic artifacts BPM
@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},
	doi       = {10.1007/978-3-642-23059-2_28}
}

2010
A* A++ 25.0%
Two-Player Game Structures for Generalized Planning and Agent Composition. G. De Giacomo, P. Felli, F. Patrizi, S. Sardiña. Proc. of 24th AAAI Conference on Artificial Intelligence (AAAI 2010). link
synthesis behavior composition
@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}
}
A* A+ 28.5%
Agent Composition Synthesis based on ATL. G. De Giacomo, P. Felli. Proc. of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). link
verification synthesis behavior composition
@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},
	doi       = {10.1145/1838206.1838277}
}
Paolo Felli, PhD
RTDA
Free University of Bozen-Bolzano
Piazza Domenicani 3
room 2.03
39100 Bolzano, Italy
name.surname@unibz.it