The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paolo Felli" ( http://dblp.L3S.de/Authors/Paolo_Felli )

URL (Homepage):  http://www.pfelli.xyz/  Author page on DBLP  Author page in RDF  Community of Paolo Felli in ASPL-2

Publication years (Num. hits)
2010-2015 (17) 2016-2018 (15) 2019 (1)
Publication types (Num. hits)
article(7) inproceedings(25) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 34 publication records. Showing 33 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Natasha Alechina, Tomás Brázdil, Giuseppe De Giacomo, Paolo Felli, Brian Logan, Moshe Y. Vardi Unbounded Orchestrations of Transducers for Manufacturing. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Massimiliano de Leoni, Paolo Felli, Marco Montali A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña Situation Calculus for Synthesis of Manufacturing Controllers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Massimiliano de Leoni, Paolo Felli, Marco Montali A Holistic Approach for Soundness Verification of Decision-Aware Process Models. Search on Bibsonomy ER The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Moshe Y. Vardi, Paolo Felli, Natasha Alechina, Brian Logan Synthesis of Orchestrations of Transducers for Manufacturing. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Paolo Felli, Marco Montali (eds.) Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018. Search on Bibsonomy CILC The full citation details ... 2018 DBLP  BibTeX  RDF
1Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev Composite Capabilities for Cloud Manufacturing. Search on Bibsonomy AAMAS The full citation details ... 2018 DBLP  BibTeX  RDF
1Paolo Felli, Nitin Yadav, Sebastian Sardiña Supervisory Control for Behavior Composition. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev Synthesising Industry-Standard Manufacturing Process Controllers. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Paolo Felli, Lavindra de Silva, Brian Logan, Svetan M. Ratchev Process Plan Controllers for Non-Deterministic Manufacturing Systems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Liz Sonenberg, Tim Miller 0001, Adrian R. Pearce, Paolo Felli, Christian J. Muise, Frank Dignum Social planning for social HRI. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paolo Felli, Nitin Yadav, Sebastian Sardiña Supervisory Control for Behavior Composition. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Miller 0001, Paolo Felli, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg 'Knowing Whether' in Proper Epistemic Knowledge Bases. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Lavindra de Silva, Paolo Felli, Jack C. Chaplin, Brian Logan, David Sanderson, Svetan M. Ratchev Realisability of Production Recipes. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paolo Felli, Brian Logan, Sebastian Sardiña Parallel Behavior Composition for Manufacturing. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian J. Muise, Paolo Felli, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Planning for a Single Agent in a Multi-Agent Environment Using FOND. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian J. Muise, Frank Dignum, Paolo Felli, Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg Towards Team Formation via Automated Planning. Search on Bibsonomy COIN@AAMAS/IJCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian J. Muise, Tim Miller 0001, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Paolo Felli, Tim Miller 0001, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg Computing Social Behaviours Using Agent Models. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli Description Logic Knowledge and Action Bases. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Tim Miller 0001, Adrian R. Pearce, Liz Sonenberg, Frank Dignum, Paolo Felli, Christian J. Muise Foundations of Human-Agent Collaboration: Situation-Relevant Information Sharing. Search on Bibsonomy AAAI Fall Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Paolo Felli, Tim Miller 0001, Christian J. Muise, Adrian R. Pearce, Liz Sonenberg Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. Search on Bibsonomy ICSR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli Description Logic Knowledge and Action Bases. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Claudio Di Ciccio, Paolo Felli, Yuxiao Hu, Massimo Mecella Goal-Based Composition of Stateful Services for Smart Homes. Search on Bibsonomy OTM Conferences (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali Verification of Description Logic Knowledge and Action Bases. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo 0001, Annarita Vestri, Paolo Villari User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health. Search on Bibsonomy EICS4Med The full citation details ... 2011 DBLP  BibTeX  RDF
1Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli Foundations of Relational Artifacts Verification. Search on Bibsonomy BPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tiziana Catarci, Maddalena D'Addario, Paolo Felli, Laura Franceschetti, Domenico Lembo, Massimo Mecella, Tatiana Pipan, Alessandro Russo 0001, Annarita Vestri, Paolo Villari User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health (Extended Abstract). Search on Bibsonomy SEBD The full citation details ... 2011 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña Two-Player Game Structures for Generalized Planning and Agent Composition. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Paolo Felli Agent composition synthesis based on ATL. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #33 of 33 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license