journals   conferences   workshops   demos



2022
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief. C. Muise, V. Belle, P. Felli, S. McIlraith, T. Miller, A. R. Pearce, L. Sonenberg. Artificial Intelligence (AIJ), 2022. link
epistemic planning
@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}
  	}
Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation. G. De Giacomo, P. Felli, B. Logan, F. Patrizi, S. Sardiña. Artificial Intelligence (AIJ), 2022. link
situation calculus controller synthesis
@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}
  	}

2021
A A 21.1%
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. P. Felli, A. Gianola, M. Montali, A. Rivkin, S. Winkler. 19th International Conference on Business Process Management (BPM 2021). best paper link
conformance checking process logs
@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}
  	}
Integrating BPMN and DMN: Modeling and Analysis. M. de Leoni, P. Felli, M. Montali . Journal on Data Semantics (JODS), 2021. link
BPMN DMN
@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}
  	}
Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions. M. de Leoni, P. Felli, M. Montali. Fundamenta Informaticae (sp. issue). link
data-aware processes
@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}
  	}
A* A++ 13.9%
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs. G. De Giacomo, P. Felli, M. Montali, G. Perelli. 30th International Joint Conference on Artificial Intelligence (IJCAI 2021). link
hyperLDLf process logs
@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}
  	}
SMT-based Safety Checking of Parameterized Multi-Agent Systems. P. Felli, A. Gianola, M. Montali. 35th AAAI Conference on Artificial Intelligence (AAAI 2021). link
parameterized MAS SMT safety
@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}
	}

2020
B
A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems. P. Felli, A. Gianola, M. Montali. 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020). best paper link
parameterized MAS safety
@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}
	}
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors. M. de Leoni, P. Felli, M. Montali. 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). link Paper had a mistake. Fixed:
data-aware processes
@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}
	}

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},
	url = {https://doi.org/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 (RCIM), 2019. 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{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}
	}

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},
	url       = {https://doi.org/10.1007/978-3-030-00847-5_17}
	}
A* A
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{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}
	}


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{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}
	}
A* A
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{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}
	}
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},
	url       = {http://ebooks.iospress.nl/publication/44902}
	}
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},
	url       = {http://www.ijcai.org/Abstract/16/046}
	}

2017
Supervisory Control for Behavior Composition. P. Felli, N. Yadav, S. Sardiña. Note in IEEE Transactions on Automatic Control (IEEE-TAC), 2017. (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},
	url       = {https://doi.org/10.1109/TAC.2016.2570748}
	}

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},
	url       = {http://www.ijcai.org/Abstract/16/454}
	}
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},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/viewPaper/12291}
}

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},
	url       = {http://ijcai.org/papers15/Abstracts/IJCAI15-421.html}
}
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},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9974}
}
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). link
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},
	url       = {https://dl.acm.org/doi/10.5555/2772879.2773339}
}

2014
B B
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},
	url       = {http://doi.org/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},
	url       = {https://www.ijcai.org/Abstract/13/177}
}
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 (JAIR), 2013. 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://doi.org/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},
	url       = {http://doi.org/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},
	url       = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4549}
}
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},
	url       = {http://doi.org/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},
	url       = {http://doi.org/10.1007/978-3-642-23059-2_28}
}
User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health. T. Catarci et al. Proc. of the 19th Italian Symposium on Advanced Database Systems (SEBD 2011).
HCI web design

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},
	url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1813}
}
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},
	url       = {https://dl.acm.org/doi/10.5555/1838206.1838277}
}
Paolo Felli, PhD
RTDA
Free University of Bozen-Bolzano
Piazza Domenicani 3
room 2.03
39100 Bolzano, Italy
name.surname@unibz.it