Elisa Marengo
Sort by type
2016
[DMM+16] | Patrick Dallasega, Carmen Marcher, Elisa Marengo, Erwin Rauch, and Werner Matt, Dominik T. and Nutt. A Decentralized and Pull-Based Control Loop for On-Demand Delivery in ETO Construction Supply Chains. In 24th Annual Conference of the International Group for Lean Construction, IGLC-24., Boston, MA, USA, July 2016. [ .pdf ] |
[BBM+16] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viana Patti, and Federico
Capuzzimati.
Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract). In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016, Singapore, IFAAMAS, 2016. To Appear. |
[MDMN16] |
Elisa Marengo, Patrick Dallasega, Marco Montali, and Werner Nutt.
Towards a Graphical Language for Process Modelling in Construction. In International Conference on Advanced Information System Engineering. CAiSE Forum 2016. Ljubljana, Slovenia, 2016. To Appear. |
[SMN16] |
Ognjen Savković, Elisa Marengo, and Werner Nutt.
Query Stability in Monotonic Data-Aware Business Processes. In Wim Martens and Thomas Zeume, editors, International Conference on Database Theory, ICDT 2016. Bordeaux, France, 2016. [ .pdf ] |
2015
[DMN+15] |
Patrick Dallasega, Elisa Marengo, Werner Nutt, Luka Rescic, Dominik T. Matt,
and Erwin Rauch.
Design of a Framework for Supporting the Execution-Management of Small and Medium sized Projects in the AEC-industry. In of the 4th International Workshop on Design in Civil and Environmental Engineering (DCEE4) Taipei, Taiwan, October 30-31, 2015. [ .pdf ] |
[BBMP15] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, and Viviana Patti.
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract). In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 4143-4147. AAAI Press, 2015. [ .pdf ] |
2014
[BBM+14] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Federico
Capuzzimati.
Engineering Commitment-Based Business Protocols with the 2CL Methodology. Autonomous Agents and Multi-Agent Systems, 28(4):519-557, 2014. [ DOI | .pdf ] |
[MNS14] |
Elisa Marengo, Werner Nutt, and Ognjen Savkovic.
Towards a Theory of Query Stability in Business Processes. In Georg Gottlob and Jorge Pérez, editors, Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014, volume 1189 of CEUR Workshop Proceedings. CEUR-WS.org, 2014. [ .pdf ] |
[GMB+14a] |
Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa
Marengo, and Paolo Cagnoli.
Multi-Criteria Optimal Planning for Energy Policies in CLP. In Technical Communication at the 30th International Conference on Logic Programming, ICLP 2014, 2014. [ .pdf ] |
[GMB+14b] |
Marco Gavanelli, Michela Milano, Stefano Bragaglia, Federico Chesani, Elisa
Marengo, and Paolo Cagnoli.
Multi-Criteria Optimal Planning for Energy Policies in CLP. In Laura Giordano, Valentina Gliozzi, and Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014, volume 1195 of CEUR Workshop Proceedings, pages 54-68. CEUR-WS.org, 2014. [ .pdf ] |
2013
[BBMP13] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, and Viviana Patti.
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach. ACM Transactions on Intelligent Systems and Technology (ACM TIST), 4(2):22, 2013. [ DOI | .pdf ] |
2012
[Mar12] |
Elisa Marengo.
2CL Protocols: Interaction Patterns Specification in Commitment Protocols. PhD thesis, University of Turin, Research Doctorate in Science and High Technology, Specialization in Computer Science, October 19th 2012. [ .pdf ] |
[BBM+12] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Claudio
Schifanella.
Flexible choreography-driven service selection. Intelligenza Artificiale, 6(1):97-115, 2012. [ .pdf ] |
[BBC+12a] |
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, and
Viviana Patti.
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, and Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, volume 7784 of Lecture Notes in Computer Science, pages 96-115. Springer, 2012. [ .pdf ] |
[BBMP12] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, and Viviana Patti.
Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study. In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information Systems: Crossroads for Organization, Management, Accounting and Engineering, pages 545-553, 2012. Best Track Paper Award. [ .pdf ] |
[BBC+12b] |
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, and
Viviana Patti.
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. In Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, and Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, , held in conjuction with AAMAS 2012, Valencia, Spain, June 4, 2012, pages 18-34, 2012. [ .pdf ] |
2011
[BBM+11c] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Claudio
Schifanella.
Models of Agent Interaction Based on Modal Logics. Intelligenza Artificiale, 5(1):83-88, 2011. [ DOI | .pdf ] |
[BBB+11b] |
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa
Marengo, and Viviana Patti.
Constraint Modeling for Curriculum Planning and Validation. Interactive Learning Environments, 19(1):81-123, 2011. [ DOI | .pdf ] |
[BBB+11a] |
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Elisa Marengo, Viviana
Mascardi, Viviana Patti, Alessandro Ricci, and Andrea Santi.
An Interaction-Oriented Agent Framework for Open Environments. In Roberto Pirrone and Filippo Sorbello, editors, AI*IA 2011: Artificial Intelligence Around Man and Beyond - XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings, volume 6934 of Lecture Notes in Computer Science, pages 68-79. Springer, 2011. [ .pdf ] |
[MBB+11c] |
Elisa Marengo, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Viviana
Patti, and Munindar P. Singh.
Commitments with Regulations: Reasoning about Safety and Control in REGULA. In Liz Sonenberg, Peter Stone, Kagan Tumer, and Pinar Yolum, editors, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, May 2-6, 2011, Volume 1-3, pages 467-474. IFAAMAS, 2011. [ .pdf ] |
[MBB11b] |
Elisa Marengo, Matteo Baldoni, and Cristina Baroglio.
On Temporal Regulations and Commitment Protocols. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 2824-2825. IJCAI/AAAI, 2011. [ .pdf ] |
[BBM+11b] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Alessandro
Ricci.
Back to the Future: An Interaction-Oriented Framework for Social Computing. In First International Workshop on Requirements Engineering for Social Computing, RESC 2011, Trento, Italy, August 29, 2011, pages 2-5. IEEE, 2011. [ .pdf ] |
[BBMP11] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, and Viviana Patti.
Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation. In Fourth International Workshop on Requirements Engineering and Law, RELAW 2011, Trento, Italy, August 30, 2011, pages 50-59. IEEE Computer Society, 2011. [ .pdf ] |
[MBB11a] |
Elisa Marengo, Matteo Baldoni, and Cristina Baroglio.
Extend Commitment Protocols with Temporal Regulations: Why and How. In Stefano Bragaglia, Carlos Viegas Damásio, Marco Montali, Alun D. Preece, Charles J. Petrie, Mark Proctor, and Umberto Straccia, editors, Proceedings of the 5th International RuleML2011@BRF Challenge, co-located with the 5th International Rule Symposium, Fort Lauderdale, Florida, USA, November 3-5, 2011, volume 799 of CEUR Workshop Proceedings. CEUR-WS.org, 2011. [ .pdf ] |
[BBM+11a] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Federico
Capuzzimati.
Learn the Rules So You Know How To Break Them Properly. In Giancarlo Fortino, Alfredo Garro, Luigi Palopoli, Wilma Russo, and Giandomenico Spezzano, editors, Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, volume 741 of CEUR Workshop Proceedings, pages 11-18. CEUR-WS.org, 2011. [ .pdf ] |
2010
[MB10] |
Elisa Marengo and Matteo Baldoni.
Validazione e Pianificazione Automatica di Percorsi Formativi. Mondo Digitale, 36:64-74, 2010. [ .pdf ] |
[BBM10a] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Constraints among Commitments: Regulative Specification of Interaction Protocols. In Wolfgang Faber and Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, volume 598 of CEUR Workshop Proceedings. CEUR-WS.org, 2010. Extended version of the publication published in the Proc. of International Workshop on Agent Communication, AC 2010. [ .pdf ] |
[BBM10b] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Constraints among Commitments: Regulative Specification of Interaction Protocols. In A. Artikis, J. Bentahar, A. K. Chopra, and F. Dignum, editors, Proc. of International Workshop on Agent Communication, AC 2010, held in conjuction with AAMAS 2010, Toronto, Canada, May 2010, volume 598 of CEUR Workshop Proceedings, pages 2-18. CEUR-WS.org, 2010. An extended and improved version has been published in the Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, Vol 598, CEUR Workshop Proceedings. [ .pdf ] |
[BBM10c] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In Andrea Omicini, Sebastian Sardiña, and Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers, volume 6619 of Lecture Notes in Computer Science, pages 60-77. Springer, 2010. [ .pdf ] |
[BBM10d] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. In Andrea Omicini, Sebastian Sardiña, and Wamberto Weber Vasconcelos, editors, Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, , held in conjuction with AAMAS 2010, Toronto, Canada, May 10, 2010, pages 66-83, 2010. [ .pdf ] |
[BBM10e] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Behavior-Oriented Commitment-based Protocols. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 137-142. IOS Press, 2010. [ .pdf ] |
[BBB+10] |
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa
Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti,
Alessandro Ricci, Gianfranco Rossi, and Andrea Santi.
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In Olivier Boissier, Amal El Fallah-Seghrouchni, Salima Hassas, and Nicolas Maudet, editors, Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30 - September 2, 2010, volume 627 of CEUR Workshop Proceedings. CEUR-WS.org, 2010. [ .pdf ] |
2009
[BBM+09] |
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Claudio
Schifanella.
Joint Achievement of Services' Personal Goals. In Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, 2009. [ .pdf ] |
2008
[Mar08] |
Elisa Marengo.
Curricula di Studi: Modelli e Verifica di Competenze. (Curricula of Study: Models and Competence Verification). Master's thesis, Master Thesis in Computer Science: “Sistemi per il Trattamento dell'Informazione”, University of Turin, Italy, 2008. [ .pdf ] |
2007
[BBM07] |
Matteo Baldoni, Cristina Baroglio, and Elisa Marengo.
Curricula Modeling and Checking. In Roberto Basili and Maria Teresa Pazienza, editors, AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings, volume 4733 of Lecture Notes in Computer Science, pages 471-482. Springer, 2007. [ .pdf ] |
[BBB+07c] |
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana
Patti.
A Service-Oriented Approach for Curriculum Planning and Validation. In W. May and M. Kifer, editors, In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, Durham, GB, September 2007, pages 108-123, 2007. [ .pdf ] |
[BBB+07b] |
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana
Patti.
A Personalization Web Service for Curricula Planning and Validation. In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007, 2007. [ .pdf ] |
[BBB+07a] |
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, and Viviana
Patti.
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In Erik Duval, Ralf Klamma, and Martin Wolpers, editors, Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings, volume 4753 of Lecture Notes in Computer Science, pages 426-431. Springer, 2007. [ .pdf ] |
[BM07] |
Matteo Baldoni and Elisa Marengo.
Curriculum Model Checking: Declarative Representation and Verification of Properties. In Erik Duval, Ralf Klamma, and Martin Wolpers, editors, Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings, volume 4753 of Lecture Notes in Computer Science, pages 432-437. Springer, 2007. [ .pdf ] |
[BBBM07] |
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio, and Elisa Marengo.
Declarative representation of curricula models: an LTL- and UML-based approach. In Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, and Viviana Mascardi, editors, WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy, pages 34-41. Seneca Edizioni Torino, 2007. [ .pdf ] |
2006
[BBB+06] |
Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa
Marengo, and Viviana Patti.
A Personalization Service for Curriculum Planning. In Klaus-Dieter Althoff and Martin Schaaf, editors, 14th Workshop on Adaptivity and User Modeling in Interactive Systems (ABIS 2006), volume 1/2006 of Hildesheimer Informatik-Berichte, pages 17-20. University of Hildesheim, Institute of Computer Science, 2006. [ .pdf ] |
[Mar06] |
Elisa Marengo.
Realizzazione di un Web Service Prolog per la Pianificazione di Curricula di Studi: un Approccio ad Azioni nel Semantic Web, 2006. Bachelor Thesis in Computer Science, University of Turin, Italy. |
This file was generated by bibtex2html 1.97.