it gb
it gb

Knowledge representation, Automated Reasoning, Logic and ontologies

Publications

Journal paper
Lai M.; Cignarella A.T.; Hernandez Farias D.I.; Bosco C.; Patti V.; Rosso P.
COMPUTER SPEECH AND LANGUAGE,  2020
Damiano, Rossana; Patti, Viviana; Clavel, Chloé; Rosso, Paolo
ACM TRANSACTIONS ON INTERNET TECHNOLOGY,  2020
Florio K.; Basile V.; Polignano M.; Basile P.; Patti V.
APPLIED SCIENCES,  2020
Frenda, Simona; Banerjee, Somnath; Rosso, Paolo; Patti, Viviana
COMPUTACIÓN Y SISTEMAS.,  2020
Lai, Mirko; Patti, Viviana; Ruffo, Giancarlo; Rosso, Paolo;
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS,  2020
Pozzato, Gian Luca
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING,  2019
Mencarini, Letizia; Hernández Farías, Delia Irazú; Lai, Mirko; Patti, Viviana; Sulis, Emilio; Vignoli, Daniele
DEMOGRAPHIC RESEARCH,  2019
Lai Mirko; Tambuscio Marcella; Patti Viviana; Ruffo Giancarlo; Rosso Paolo
DATA & KNOWLEDGE ENGINEERING,  2019
Gliozzi, V Plunkett, K
JOURNAL OF COGNITIVE PSYCHOLOGY,  2019
Lieto A.; Perrone F.; Pozzato G.L.; Chiodino E.
COGNITIVE SYSTEMS RESEARCH,  2019
Lieto A.; Pozzato G.L.
INTELLIGENZA ARTIFICIALE,  2019
Lieto A.; Pozzato G.L.
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE,  2019
Alessandra Teresa Cignarella, Cristina Bosco, Viviana Patti, Mirko Lai
IJCOL,  2019
Micalizio Roberto - Pozzato Gian Luca
FUNDAMENTA INFORMATICAE,  2018
Iglesias, Carlos A.*; Patti, Viviana
INFORMATION,  2018
Basile, Valerio; Novielli, Nicole; Croce, Danilo; Barbieri, Francesco; Nissim, Malvina; Patti, Viviana
IEEE TRANSACTIONS ON AFFECTIVE COMPUTING,  2018
V.GLIOZZI, M.MADEDDU
COGNITIVE SYSTEMS RESEARCH,  2018
Clavel, Chloé; Damiano, Rossana; Patti, Viviana; Rosso, Paolo
ACM TRANSACTIONS ON INTERNET TECHNOLOGY,  2017
Pozzato, Gian Luca
INTELLIGENZA ARTIFICIALE,  2017
Laura Giordano; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato
FUNDAMENTA INFORMATICAE,  2017
Pierpaolo Basile, Malvina Nissim, Viviana Patti, Rachele Sprugnoli, Francesco Cutugno
ITALIAN JOURNAL OF COMPUTATIONAL LINGUISTICS,  2017
Patti, Viviana; Bosco, Cristina; Damiano, Rossana
SISTEMI INTELLIGENTI,  2017
N. Olivetti; G.L. Pozzato; R. Alenda
JOURNAL OF LOGIC AND COMPUTATION,  2016
Rosso, Paolo; Bosco, Cristina; Cambria, Erik; Damiano, Rossana; Patti, Viviana
INFORMATION PROCESSING & MANAGEMENT,  2016
Bertola, Federico; Patti, Viviana
INFORMATION PROCESSING & MANAGEMENT,  2016
Sulis, Emilio; Hernández Farías, Delia Irazú; Rosso, Paolo; Patti, Viviana; Ruffo, Giancarlo
KNOWLEDGE-BASED SYSTEMS,  2016
HERNANDEZ FARIAS, DELIA IRAZU; Patti, Viviana; Rosso, Paolo
ACM TRANSACTIONS ON INTERNET TECHNOLOGY,  2016
Attardi, Giuseppe; Basile, Valerio; Bosco, Cristina; Caselli, Tommaso; Dell'Orletta, Felice; Montemagni, Simonetta; Patti, Viviana; Simi, Maria; Sprugnoli, Rachele
INTELLIGENZA ARTIFICIALE,  2015
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
ARTIFICIAL INTELLIGENCE,  2015
Olivetti, Nicola; Pozzato, Gian Luca
INTELLIGENZA ARTIFICIALE,  2015
Valerio Genovese; Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato
JOURNAL OF LOGIC AND COMPUTATION,  2014
Matteo Baldoni; Cristina Baroglio; Elisa Marengo; Viviana Patti; Federico Capuzzimati
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,  2014
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
ARTIFICIAL INTELLIGENCE,  2013
Cristina Bosco; Viviana Patti; Andrea Bolioli
IEEE INTELLIGENT SYSTEMS,  2013
Matteo Baldoni; Cristina Baroglio; Elisa Marengo; Viviana Patti
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY,  2013
M. Baldoni; C. Baroglio; E. Marengo; V. Patti; C. Schifanella
INTELLIGENZA ARTIFICIALE,  2012
M. Baldoni; C. Baroglio; V. Patti; P. Rena
INTELLIGENZA ARTIFICIALE,  2012
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO; C.B. SCHWIND
INTELLIGENZA ARTIFICIALE,  2011
M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
INTERACTIVE LEARNING ENVIRONMENTS,  2011
BALDONI M.; BAROGLIO C.; MARENGO E.; PATTI V.; SCHIFANELLA C.
INTELLIGENZA ARTIFICIALE,  2011
F. ABEL; M. BALDONI; C. BAROGLIO; N. HENZE; R. KAWASE; D. KRAUSE; V. PATTI
THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA,  2010
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2009
L.Giordano;V.Gliozzi;N.Olivetti;C.Schwind
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2009
Laura Giordano;Valentina Gliozzi;Nicola Olivetti; Gian Luca Pozzato
FUNDAMENTA INFORMATICAE,  2009
V. Gliozzi; J. Mayor; J.F. Hu; K. Plunkett
COGNITIVE SCIENCE,  2009
N. OLIVETTI; G. POZZATO
JOURNAL OF APPLIED NON-CLASSICAL LOGICS,  2008
N. OLIVETTI; G. POZZATO; C. SCHWIND
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2007
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,  2007
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT,  2007
L. GIORDANO; V. GLIOZZI; N. OLIVETTI
ARTIFICIAL INTELLIGENCE,  2005
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,  2004
G. ANTONIOU; M. BALDONI; C. BAROGLIO; R. BAUMGARTNER; F. BRY; T. EITER; N. HENZE; M. HERZOG; W. MAY; V. PATTI; S. SCHAFFERT; R. SCHIDLAUER; H. TOMPITS
ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS,  2004
M. BALDONI; C. BAROGLIO; V. PATTI
ARTIFICIAL INTELLIGENCE REVIEW,  2004
M. BALDONI; L. GIORDANO; A. MARTELLI; V. PATTI
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE,  2004
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; AND C. SCHWIND
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  2003
L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
STUDIA LOGICA,  2002
L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  2001
L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  1998
Curatorship
Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato
CEUR WORKSHOP PROCEEDINGS,  2014
Cristina Battaglino; Cristina Bosco; Erik Cambria; Rossana Damiano; Viviana Patti; Paolo Rosso
CEUR WORKSHOP PROCEEDINGS,  2013
Software
Nicola Olivetti; Gian Luca Pozzato
2014
Basile, V.; Bolioli, A.; Bosco, C.; Nissim, M.; Patti, V.; Rosso, P.; Rabellino, S.
2014
L. Allisio; V. Mussa; G. Ruffo; C. Bosco; V. Patti
2013
Laura Giordano; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato
2013
M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
2010
M. BALDONI; C. BAROGLIO; V. PATTI
2010
R. Alenda; N. Olivetti; G.L. Pozzato
2009
Nicola Olivetti; Gian Luca Pozzato
2008
N. Olivetti; G.L. Pozzato
2007
L. Giordano; V. Gliozzi; G.L. Pozzato
2007
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
2007
Monograph or scientific work
G.L. Pozzato
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS,  2010
Contibution in volume (article or essay)
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
Applications and Practices in Ontology Design, Extraction, and Reasoning,  2020
Nissim, Malvina; Patti, Viviana
Sentiment Analysis in Social Networks,  2017
M. Baldoni; C. Baroglio; V. Patti; C. Schifanella
New Challenges in Distributed Information Filtering and Retrieval,  2013
Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers,  2013
D. D'APRILE; L. GIORDANO; A. MARTELLI; G.L. POZZATO; D. ROGNONE; D. THESEIDER DUPRE'
Information Systems: a crossroads for Organization, Management, Accounting and Engineering,  2012
M. Baldoni; C. Baroglio; E. Marengo; V. Patti
Information Systems: Crossroads for Organization, Management, Accounting and Engineering,  2012
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Service-Oriented Computing - Workshops ICSOC 2007, International Workshops. Revised Selected Papers. Book Series Lecture Notes in Computer Science (LNCS),  2009
M. BALDONI; C. BAROGLIO; V. PATTI
Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli,  2009
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Emerging Web Services Technology,  2008
M. Baldoni; C. Baroglio; A. Horvath; V. Patti; F. Portis; M. Avilia; P. Grillo
Formal Ontologies Meet Industry,  2008
N. OLIVETTI; G. POZZATO
Perspectives on Universal Logic,  2007
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Computational Logic in Multi-Agent Systems. 6th International Workshop, CLIMA VI. Revised Selected and Invited Papers. Book Series Lecture Notes in Computer Science (LNCS) State-of-the-Art Survey,  2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Principles and Practice of Semantic Web Reasoning. 4th International Workshop, PPSWR 2006. Revised Selected Papers. Book Series Lecture Notes in Computer Science (LNCS),  2006
M. NAGY; V. PATTI
Gender, Language and New Literacy,  2006
M. BALDONI; C. BAROGLIO; V. MASCARDI; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. PATTI; C. SCHIFANELLA
Post-Proc. of Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, Revised Selected Papers,  2005
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Post-Proc. of Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Revised Selected and Invited Papers,  2005
M. Baldoni; L. Giordano; A. Martelli; V. Patti
Post-Proc. of Non-Monotonic Extensions of Logic Programming Second International Workshop, NMELP '96, Selected Papers,  1997
Entry in a dictionary (or encyclopedia)
Basile, Pierpaolo; Basile, Valerio; Nissim, Malvina; Novielli, Nicole; Patti, Viviana
Encyclopedia of Social Network Analysis and Mining,  2017
Cristina Bosco, Viviana Patti
Encyclopedia of Social Network Analysis and Mining,  2017
Contribution in conference proceedings
Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti
Proceedings of the 24th European Conference on Artificial Intelligence, ECAI 2020, 
ECAI 24th European Conference on Artificial Intelligence, ECAI 2020
2020
Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato
Proceedings of the 24th European Conference on Artificial Intelligence, ECAI 2020, 
ECAI 2020, 24th European Conference on Artificial Intelligence
2020
Benamara, Farah; Bosco, Cristina; Fersini, Elisabetta; Pasi, Gabriella; Patti, Viviana; Viviani, Marco
Proceedings - 2018 IEEE 5th International Conference on Data Science and Advanced Analytics, DSAA 2018, 
5th IEEE International Conference on Data Science and Advanced Analytics, DSAA 2018
2019
Simona Frenda, Noriko Kando, Viviana Patti, Paolo Rosso
EVIA 2019Proceedings of the Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference, 
Ninth International Workshop on Evaluating Information Access (EVIA2019), a Satellite Workshop of the NTCIR-14 Conference
2019
Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino
Proceedings of the 10th ACM International Conference on Knowledge Capture (K-CAP 2019), 
K-CAP 2019 - 10th ACM International Conference on Knowledge Capture
2019
Lieto Antonio, Pozzato Gian Luca, Perrone Federico
Proceedings of the IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019, 
IEEE 31st International Conference on Tools with Artificial Intelligence, ICTAI 2019
2019
Akhtar, Sohail; Basile, Valerio; Patti, Viviana
AI*IA 2019 -- Advances in Artificial Intelligence, 
XVIIIth International Conference of the Italian Association for Artificial Intelligence
2019
Poletto F.; Basile V.; Bosco C.; Patti V.; Stranisci M.
CEUR Workshop Proceedings, 
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Capozzi A.T.E.; Lai M.; Basile V.; Poletto F.; Sanguinetti M.; Bosco C.; Patti V.; Ruffo G.; Musto C.; Polignano M.; Semeraro G.; Stranisci M.
CEUR Workshop Proceedings, 
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
Florio, Komal; Basile, Valerio; Lai, Mirko; Patti, Viviana
2019 8th International Conference on Affective Computing and Intelligent Interaction Workshops and Demos (ACIIW), 
Emotion and Sentiment in Social and Expressive Media: Media and Arts for Inclusive, Fair and Reflective Societies, Co-located with ACII 2019, the 8th International Conference on Affective Computing and Intelligent Interaction (ESSEM@ACII 2019)
2019
Pamungkas E.W.; Basile V.; Patti V.
Proceedings of the CIKM 2018 Workshops co-located with 27th ACM International Conference on Information and Knowledge Management (CIKM 2018), 
2nd International Workshop on Rumours and Deception in Social Media (RDSM 2018)
2019
Mattia Cerrato, Edoardo Arnaudo, Valentina Gliozzi, Roberto Esposito
Proceedings of the 41th Annual Meeting of the Cognitive Science Society,CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,July 24-27, 2019, 
COGSCI 2019: Creativity + Cognition + Computation
2019
Valerio Basile, Cristina Bosco, Elisabetta Fersini, Debora Nozza, Viviana, Patti, Francisco Manuel Rangel Pardo, Paolo Rosso, Manuela Sanguinetti
Proceedings of the 13th International Workshop on Semantic Evaluation, 
13th International Workshop on Semantic Evaluation
2019
Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
18th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019
2019
Pozzato G.L.; Soriano G.
CEUR Workshop Proceedings, 
34th Italian Conference on Computational Logic, CILC 2019
2019
Lieto A.; Perrone F.; Pozzato G.L.
CEUR Workshop Proceedings, 
34th Italian Conference on Computational Logic, CILC 2019
2019
Mirko Lai, Viviana Patti, Giancarlo Ruffo, Paolo Rosso
Natural Language Processing and Information Systems 23rd International Conference on Applications of Natural Language to Information Systems, NLDB 2018, Paris, France, June 13-15, 2018, Proceedings, 
23rd International Conference on Natural Language & Information Systems
2018
Alessandra Teresa Cignarella, Cristina Bosco, Viviana Patti, Mirko Lai
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 
LREC 2018, Eleventh International Conference on Language Resources and Evaluation
2018
Barbieri, Francesco; Camacho-Collados, Jose; Ronzano, Francesco; Espinosa Anke, Luis; Ballesteros, Miguel; Basile, Valerio; Patti, Viviana; Saggion, Horacio
Proceedings of the 12th International Workshop on Semantic Evaluation (SemEval 2018), 
12th International Workshop on Semantic Evaluation (SemEval 2018)
2018
Arthur T. E. Capozzi, Viviana Patti, Giancarlo Ruffo, Cristina Bosco
Proceedings of the 2nd International Conference on Web Studies (WS.2 2018), 
2nd International Conference on Web Studies
2018
Pamungkas, Endang Wahyu; Cignarella, Alessandra Teresa; Basile, Valerio; Patti, Viviana
CEUR Workshop Proceedings, 
3rd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2018
2018
Endang Wahyu Pamungkas, Alessandra Teresa Cignarella, Valerio Basile, Viviana Patti
CEUR Workshop Proceedings, 
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Alessandra Teresa, Cignarella; Simona, Frenda; Valerio, Basile; Cristina, Bosco; Viviana, Patti; Paolo, Rosso
CEUR Workshop Proceedings, 
Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)
2018
Bassignana, Elisa; Basile, Valerio; Patti, Viviana
CEUR Workshop Proceedings, 
5th Italian Conference on Computational Linguistics, CLiC-it 2018
2018
Lieto, Antonio; Pozzato, Gian Luca*
AI*IA 2018 – Advances in Artificial Intelligence XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20–23, 2018, Proceedings, 
17th Conference of the Italian Association for Artificial Intelligence, AI*IA 2018
2018
Pozzato, Gian Luca*
Proceedings of the 33rd Italian Conference on Computational Logic, 
33rd Italian Conference on Computational Logic, CILC 2018
2018
Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto
Proceedings of the 33rd Italian Conference on Computational Logic, 
33rd Italian Conference on Computational Logic, CILC 2018
2018
Lieto, Antonio; Pozzato, Gian Luca*
Foundations of Intelligent Systems 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings, 
24th International Symposium on Methodologies for Intelligent Systems, ISMIS 2018
2018
Pamungkas, Endang Wahyu; Patti, Viviana
Proceedings of The 12th International Workshop on Semantic Evaluation, 
International Workshop on Semantic Evaluation
2018
Ronzano, Francesco; Barbieri, Francesco; Wahyu Pamungkas, Endang; Patti, Viviana; Chiusaroli, Francesca
CEUR Workshop Proceedings, 
6th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian. Final Workshop, EVALITA 2018
2018
Manuela Sanguinetti, Fabio Poletto, Cristina Bosco, Viviana Patti, Marco Stranisci
Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 
Language Resources and Evaluation Conference - LREC 2018
2018
Griggio, V; Vitale, C; Todaro, M; Riganti, C; Kopecka, J; Salvetti, C; Bomben, R; Dal Bo, M; Rossi, D; Pozzato, G; Marchetti, M; Omede, P; Bonello, L; Kodipad, AA; Laurenti, L; Del Poeta, G; Mauro, FR; Bernardi, R; Gattei, V; Gaidano, G; Foa, R; Massaia, M; Boccadoro, M; Coscia, M
HAEMATOLOGICA, 
15th Congress of the Italian-Society-of-Experimental-Hematology
2018
Hernández Farías, Delia Irazú*; Montes-y-Gómez, Manuel; Escalante, Hugo Jair; Rosso, Paolo; Patti, Viviana
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
17th Mexican International Conference on Artificial Intelligence, MICAI 2018
2018
Hernández Farías, Delia Irazú; Bosco, Cristina; Patti, Viviana; Rosso, Paolo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
18th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2017
2018
Jihen, Karoui; Benamara, Farah; Vèronique, Moriceau; Viviana, Patti; Cristina, Bosco; Nathalie, Aussenac-Gilles
Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 
15th Conference of the European Chapter of the Association for Computational Linguistics
2017
G. Fenoglio; R. Esposito; V. Gliozzi
Prroceedings of the 39th Annual Conference of the Cognitive Science Society, 
COGSCI 2017: 39th Annual Conference of the Cognitive Science Society
2017
Bosco, Cristina; Patti, Viviana; Bogetti, Marcello; Conoscenti, Michelangelo; Ruffo, Giancarlo Francesco; Schifanella, Rossano; Stranisci, Marco
Proceedings of AISB Annual Convention 2017, 
SYMPOSIUM III. SOCIAL INTERACTIONS IN COMPLEX INTELLIGENT SYSTEMS (SICIS) at AISB 2017
2017
Lai, Mirko; HERNANDEZ FARIAS, DELIA IRAZU; Patti, Viviana; Rosso, Paolo
Lecture Notes in Computer Science, 
MICAI 2016
2017
Mirko Lai, Marcella Tambuscio, Viviana Patti, Giancarlo Ruffo, Paolo Rosso
Lecture Notes in Computer Science, 
International Conference of the Cross-Language Evaluation Forum for European Languages
2017
Taulé, Mariona; Martí, M. Antonia; Rangel, Francisco M.; Rosso, Paolo; Bosco, Cristina; Patti, Viviana
CEUR Workshop Proceedings, 
2nd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2017
2017
Pozzato, Gian Luca
Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017, 
14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2017
2017
Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca
Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, 
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017
2017
Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin
Proceedings of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, 
26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017
2017
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
Proceedings of the 30th International Workshop on Description Logics, DL 2017, 
30th International Workshop on Description Logics, DL 2017
2017
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
Proceedings of the Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017, 
Joint 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, ICTCS 2017 and CILC 2017
2017
Cignarella, Alessandra Teresa; Bosco, Cristina; Patti, Viviana
Proceedings of the 4th Italian Conference on Computational Linguistics, 
4th Italian Conference on Computational Linguistics
2017
Delia Irazú Hernández Farías, ; Irene, Laganà; Viviana, Patti; Cristina, Bosco
Proceedings of the 4th Italian Conference on Computational Linguistics, 
4th Italian Conference on Computational Linguistics
2017
Poletto, Fabio; Stranisci, Marco; Sanguinetti, Manuela; Patti, Viviana; Bosco, Cristina
CEUR Workshop Proceedings, 
4th Italian Conference on Computational Linguistics, CLiC-it 2017
2017
Patti, Viviana; Damiano, Rossana; Bosco, Cristina
Seventh International Conference on Affective Computing and Intelligent Interaction Workshops and Demos, {ACII} Workshops 2017, San Antonio, 
Emotion and Sentiment in Social and Expressive Media: User Engagement and Interaction - Co-located with ACII 2017
2017
Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana; Capuzzimati, Federico
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 
International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016
2016
Khokhlova, Maria; Patti, Viviana; Rosso, Paolo
Proceedings of 2016 International FRUCT Conference on Intelligence, Social Media and Web (ISMW FRUCT), 
2016 International FRUCT Conference on Intelligence, Social Media and Web (ISMW FRUCT)
2016
Gliozzi, V.
Lecture Notes in Computer Science, 
AI*IA 2016
2016
Gliozzi, V
Proceedings of NMR 2016, 
NMR 2016
2016
Bosco, Cristina; Lai, Mirko; Patti, Viviana; Virone, Daniela
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 
Tenth International Conference on Language Resources and Evaluation LREC 2016
2016
Stranisci, Marco; Bosco, Cristina; Hernández Farías, Delia Irazú; Patti, Viviana
Proceedings of the Tenth International Conference on Language Resources and Evaluation LREC 2016, 
Tenth International Conference on Language Resources and Evaluation LREC 2016,
2016
Sulis, Emilio; Bosco, Cristina; Patti, Viviana; Lai, Mirko; Farías, Delia Iraźu Hernández; Mencarini, Letizia; Mozzachiodi, Michele; Vignoli, Daniele
CEUR Workshop Proceedings, 
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Gian Luca Pozzato
Advances in Artificial Intelligence: Proceedings of the 15th International Conference of the Italian Association for Artificial Intelligence, 
15th International Conference of the Italian Association for Artificial Intelligence
2016
Gian Luca Pozzato
Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), 
31st Convegno Italiano di Logica Computazionale (CILC 2016)
2016
Micalizio, Roberto; Pozzato, Gian Luca
Proceedings of the 31st Convegno Italiano di Logica Computazionale (CILC 2016), 
31st Convegno Italiano di Logica Computazionale (CILC 2016)
2016
Micalizio, Roberto; Pozzato, Gian Luca
Frontiers in Artificial Intelligence and Applications, 
22nd European Conference on Artificial Intelligence ECAI 2016
2016
Marianna, Girlando; Bjoern, Lellmann; Nicola, Olivetti; Gian, Luca Pozzato
Proceedings of JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence, 
JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence
2016
Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca
LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 
JELIA 2016 - 15th European Conference On Logics In Artificial Intelligence
2016
Basile, Pierpaolo; Cutugno, Franco; Nissim, Malvina; Patti, Viviana; Sprugnoli, Rachele
CEUR Workshop Proceedings, 
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Barbieri, Francesco; Basile, Valerio; Croce, Danilo; Nissim, Malvina; Novielli, Nicole; Patti, Viviana
CEUR Workshop Proceedings, 
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Sprugnoli, Rachele; Patti, Viviana; Cutugno, Franco
CEUR Workshop Proceedings, 
3rd Italian Conference on Computational Linguistics, CLiC-it 2016 and 5th Evaluation Campaign of Natural Language Processing and Speech Tools for Italian, EVALITA 2016
2016
Bosco, Cristina; Lai, Mirko; Patti, Viviana; Francisco Manuel Rangel Pardo, ; Paolo, Rosso
Emotion and Sentiment Analysis PROCEEDINGS, 
LREC 2016 Workshop
2016
Patti, Viviana; Bertola, Federico; Lieto, Antonio
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 
The Twenty-Eighth International Florida Artificial Intelligence Research Society Conference
2015
Hernandez Farias, Delia Irazu; Sulis, Emilio; Patti, Viviana; Ruffo, Giancarlo; Bosco, Cristina
Proceedings of the 9th International Workshop on Semantic Evaluation (SemEval 2015), 
9th International Workshop on Semantic Evaluation (SemEval 2015)
2015
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
Proceedings of the 28th International Workshop on Description Logics (DL2015), 
28th International Workshop on Description Logics (DL2015)
2015
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca
AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings., 
14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015)
2015
Olivetti, Nicola; Pozzato, Gian Luca
Proceedings of the 30th Italian Conference on Computational Logic, 
30° Convegno Italiano di Logica Computazionale
2015
Pozzato, Gian Luca
Proceedings of the 30th Italian Conference on Computational Logic, 
30° Convegno Italiano di Logica Computazionale
2015
Lai, Mirko; Bosco, Cristina; Patti, Viviana; Virone, Daniela
IEEE International Conference on Data Science and Advanced Analytics (DSAA), 2015, 
2015 IEEE International Conference on Data Science and Advanced Analytics
2015
Lai, Mirko; Virone, Daniela; Bosco, Cristina; Patti, Viviana
Proceedings of the Second Italian Conference on Computational Linguistics CLiC-it 2015, 
second Italian Conference on Computational Linguistics
2015
Stranisci, Marco; Bosco, Cristina; Patti, Viviana; Hernàndez Farìas, Delia Irazù
Proceedings of the Second Italian Conference on Computational Linguistics CLiC-it 2015, 
second Italian Conference on Computational Linguistics
2015
Bosco, Cristina; Patti, Viviana; Bolioli, Andrea
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, 
International Joint Conference on Artificial Intelligence, IJCAI 2015
2015
Bosco, Cristina; Cambria, Erik; Damiano, Rossana; Patti, Viviana; Rosso, Paolo
Proceedings of the 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems, 
ESSEM@AAMAS 2015: 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems
2015
Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 
Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015
2015
V.Gliozzi; L. Giordano
LNCS 9384, 
ISMIS 2015, Foundations of Intelligent Systems - 22nd International Symposium,
2015
Olivetti, Nicola; Pozzato, Gian Luca
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 
Proceedings of the 22nd Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux 2015)
2015
C. Bosco; L. Allisio; V. Mussa; V. Patti; G. Ruffo; M. Sanguinetti; E. Sulis
Proceedings of the 5th International Workshop on EMOTION, SOCIAL SIGNALS, SENTIMENT & LINKED OPEN DATA, ES³LOD 2014, 
5th International Workshop on EMOTION, SOCIAL SIGNALS, SENTIMENT & LINKED OPEN DATA, ES³LOD 2014
2014
Nicola Olivetti; Gian Luca Pozzato
Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings, 
IJCAR 2014 (7th International Joint Conference on Automated Reasoning)
2014
Roberto Micalizio; Gian Luca Pozzato
CILC 2014 - 29o convegno italiano di logica computazionale, 
CILC 2014 - 29o convegno italiano di logica computazionale
2014
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
DL 2014 27th International Workshop on Description Logics, 
27th International Workshop on Description Logics (DL2014)
2014
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
ICTCS 2014 Italian Conference on Theoretical Computer Science, 
15th Italian Conference on Theoretical Computer Science (ICTCS 2014)
2014
Manuela Sanguinetti; Emilio Sulis; Viviana Patti; Giancarlo Ruffo; Leonardo Allisio; Valeria Mussa; Cristina Bosco
Proceedings of the First Italian Conference on Computational Linguistics CLiC-it 2014, 
First Italian Conference on Computational Linguistics (CLiC-it 2014)
2014
Valerio Basile; Andrea Bolioli; Malvina Nissim; Viviana Patti; Paolo Rosso
Proceedings of the Fourth International Workshop EVALITA 2014, 
4th Evaluation Campaign of Natural Language Processing and Speech tools for Italian (EVALITA’14)
2014
Valentina Gliozzi; Nadja Althaus; Julien Mayor; Kim Plunkett
Proceedings of the 35th annual meeting of the Cognitive Science Society, 
COGSCI2013-35th annual meeting of the Cognitive Science Society
2013
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Proceedings of CILC 2013, 
CILC 2013: 28o convegno italiano di logica computazionale
2013
N. Olivetti; G.L. Pozzato
Proceedings of CILC 2013, 
CILC 2013: 28o convegno italiano di logica computazionale
2013
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Informal Proceedings of the 26th International Workshop on Description Logics (DL 2013), 
DL 2013 26th International Workshop on Description Logics
2013
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Proceedings of JIAF 13, 
JIAF 13: Journées d'Intelligence Artificielle Fondamentale
2013
L. Giordano; V. Gliozzi; A. Jalal; N. Olivetti; G.L. Pozzato
Proceedings of AI*IA 2013, 
AI*IA 2013 - XIIIth International Conference of the Italian Association for Artificial Intelligence
2013
F. Bertola; V. Patti
Late-Breaking Results, Project Papers and Workshop Proceedings of the 21st Conference on User Modeling, Adaptation, and Personalization., 
6th International Workshop on Personalized Access to Cultural Heritage, PATCH 2013
2013
F. Bertola; V. Patti
Proceedings of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI, 
1st International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI
2013
Allisio, Leonardo; Mussa, Valeria; Bosco, Cristina; Patti, Viviana; Ruffo, Giancarlo
Emotion and Sentiment in Social and Expressive Media 2013, 
1st International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI
2013
Andrea Gianti; Cristina Bosco; Viviana Patti; Andrea Bolioli; Luigi Di Caro
Proceedings of the 4th International Workshop on Corpora for Research on EMOTION SENTIMENT & SOCIAL SIGNALS ES³ 2012, 
4th International Workshop on Corpora for Research on EMOTION SENTIMENT & SOCIAL SIGNALS ES³ 2012
2012
M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti
Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012, 
International Workshop on Declarative Agent Languages and Technologies, DALT 2012
2012
R. Alenda; N. Olivetti; G.L. Pozzato
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, 
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012
2012
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, 
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012
2012
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012), 
CILC 2012: Convention on Computational Logic
2012
Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato
Proceedings of NMR 2012: 14th International Workshop on Non-Monotonic Reasoning, 
NMR 2012: 14th International Workshop on Non-Monotonic Reasoning
2012
Baldoni, Matteo; Baroglio, Cristina; Capuzzimati, Federico; Marengo, Elisa; Patti, Viviana
Proc. of 9th Italian Convention on Computational Logic, CILC 2012, 
9th Italian Convention on Computational Logic, CILC 2012
2012
E. Marengo; M. Baldoni; C. Baroglio; A. K. Chopra; V. Patti; M. P. Singh
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, 
10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011
2011
M. Baldoni; C. Baroglio; E. Marengo; V. Patti; F. Capuzzimati
WOA-2011, 12th Workshop on Objects and Agents, 
WOA 2011: Dagli oggetti agli agenti, Progettazione ed analisi di sistemi complessi mediante modellazione e simulazione basate su agenti
2011
Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, 
TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2011
M. Baldoni; C. Baroglio; F. Bergenti; E. Marengo; V. Mascardi; V. Patti; A. Ricci; A. Santi
Proc. of AI*IA 2011: Artificial Intelligence Around Man and Beyond, 
12th International Conference of the Italian Association for Artificial Intelligence
2011
M. Baldoni; C. Baroglio; E. Marengo; V. Patti
Proc. of Fourth International Workshop on Requirements Engineering and Law (RELAW 2011), 
Fourth International Workshop on Requirements Engineering and Law (RELAW 2011)
2011
M. Baldoni; C. Baroglio; E. Marengo; V. Patti; A. Ricci
Proc. of First International Workshop on Requirements Engineering for Social Computing (RESC 2011), 
First International Workshop on Requirements Engineering for Social Computing (RESC 2011)
2011
M. Baldoni; C. Baroglio; V. Patti; P. Rena
Proc. of 7th International Conference on Semantic Systems, I-SEMANTICS 2011, 
7th International Conference on Semantic Systems, I-SEMANTICS 2011
2011
Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
Proceedings of IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence), 
IJCAI 2011 (22nd International Joint Conference on Artificial Intelligence)
2011
M. Baldoni; C. Baroglio; V. Patti; P. Rena
Proc. of 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, 
5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval
2011
Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
CEUR WORKSHOP PROCEEDINGS, 
CILC 2011 (26th Convegno Italiano di Logica Computazionale)
2011
Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.
AI*IA 2011: Artificial Intelligence Around Man and Beyond, 
XIIth International Conference of the Italian Association for Artificial Intelligence
2011
D. D'APRILE; L. GIORDANO; V. GLIOZZI; A. MARTELLI; G.L. POZZATO; D. THESEIDER DUPRE'
26th Italian Conference on Computational Logic, CILC 2011, 
CILC 2011 - 26th Italian Conference on Computational Logic
2011
Genovese V.; Giordano L.; Gliozzi V.; Pozzato G.L.
Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, 
TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2011
V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
CEUR WORKSHOP PROCEEDINGS, 
CILC 2010 - 25th Italian Conference on Computational Logic
2010
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, 
LPAR 2010: 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
2010
L. Giordano; V. Gliozzi; N.Olivetti; G.L. Pozzato
CEUR WORKSHOP PROCEEDINGS, 
CILC 2010 - 25th Italian Conference on Computational Logic
2010
D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply 2010), 
First Workshop on Law Compliancy Issues in Organisational Systems and Strategies
2010
V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
Proceedings of the Workshop on Logics in Security 2010, 
LIS: 1st Workshop of Logics in Security
2010
D. D'Aprile; L. Giordano; V. Gliozzi; A. Martelli; G.L. Pozzato; D. Theseider Dupré
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings, 
11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI)
2010
M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010, 11th Int. Workshop COIN, 
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010
2010
Regis Alenda; Nicola Olivetti; Gian Luca Pozzato
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
Methods for Modalities - M4M
2010
Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Proc. of the 11th Workshop on Objects to Agents, WOA 2010, 
11th Workshop on Objects to Agents, WOA 2010
2010
M. BALDONI; C. BAROGLIO; A. K. CHOPRA; N. DESAI; V. PATTI; M. P. SINGH
Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, 
8th International Conference on Autonomous Agent and Multiagent Systems, AAMAS 2009
2009
F. ABEL; M. BALDONI; C. BAROGLIO; N. HENZE; D. KRAUSE; V. PATTI
Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, 
20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009
2009
E. ACOTTO; M. BALDONI; C. BAROGLIO; V. PATTI; F. PORTIS; G. VACCARINO
Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, 
20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009
2009
M. BALDONI; C. BAROGLIO; E. MARENGO; V. PATTI; C. SCHIFANELLA
Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, 
Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009)
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, 
10th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR 2009
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
AI*IA 2009: Emergent Perspectives in Artificial Intelligence XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia, Italy, December 9-12, 2009 Proceedings, 
XI Conference of the Italian Association for Artificial Intelligence AI*IA 2009
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
22nd International Workshop on Description Logics, DL 2009, 
22nd International Workshop on Description Logics (DL 2009)
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO; C.B. SCHWIND
CEUR WORKSHOP PROCEEDINGS, 
Day Dedicated to Prof. Alberto Martelli
2009
R. ALENDA; N. OLIVETTI; G.L. POZZATO
Proceedings of M4M-6, 
Methods for Modalities - M4M 6
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
Proceedings of CILC 2009 (24th Convegno Italiano di Logica Computazionale), 
24o Convegno Italiano di Logica Computazionale
2009
G. POZZATO
Proceedings of CILC 2008, 
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Proceedings of CILC 2008, 
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings, 
JELIA 2008
2008
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
2nd Workshop on Emerging Web Services Technology, WEWST 2007, 
2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007
2008
M. BALDONI; C. BAROGLIO; V.PATTI; C. SCHIFANELLA
Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008, 
Sixth European Workshop on Multi-Agent Systems, EUMAS 2008
2008
V. Gliozzi; J. Mayor; J.F. Hu; K. Plunkett
Proceedings of the 30th Annual Cognitive Science Society., 
30th Annual Cognitive Science Society
2008
Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana; Schifanella, Claudio
9th Workshop "From Objects to Agents", WOA 2008 - Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, 
9th Workshop on Objects to Agents - Evolution of Agent Development: Methodologies, Tools, Platforms and Languages, WOA 2008
2008
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Proceedings of the 5th International Workshop on Methods for Modalities (M4M-5), 
M4M - 5 (5th International Workshop on Methods for Modalities)
2007
M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
4th European Semantic Web Conference, ESWC 2007, 
4th European Semantic Web Conference, ESWC 2007
2007
M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Proceedings of the Multi-Agent Logics, Languages, and Organisations,Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,Integrated Methodologies (MALLOW-AWESOME'007) workshop, 
Multi-Agent Logics, Languages, and Organisations,Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies,Integrated Methodologies (MALLOW-AWESOME'007) workshop
2007
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
Proceedings of CILC 2007, 
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
N. OLIVETTI; G. POZZATO
Proceedings of CILC 2007, 
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, 
Second European Conference on Technology Enhanced Learning
2007
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 
AI*IA 2007 (10th Congress of Italian Association for Artificial Intelligence)
2007
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 
LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning)
2007
L. GIORDANO; V. GLIOZZI; G. POZZATO
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 
TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
2007
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Proc of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, 
WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software
2007
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, 
Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007
2007
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 
JELIA 2006
2006
A. MARTELLI; M. BALDONI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
Proceedings of the ICLP'06 Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS2006), 
Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006
2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, 
WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*
2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; L. TORASSO
Proc. of the Semantic Web Personalization Workshop, 
Semantic Web Personalization Workshop
2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
4th International Workshop on Principle and Practice of Semantic Web Reasoning, 
4th International Workshop on Principle and Practice of Semantic Web Reasoning
2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Proc. of the 2006 International Workshop on Service Oriented Techniques (SOT06), 
International Workshop on Service Oriented Techniques (SOT06)
2006
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Proc. of ICSOC 2006: Service-Oriented Computing – ICSOC 2006, 
Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006
2006
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 
ECAI 2006 (17th European Conference on Artificial Intelligence)
2006
M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI
Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, 
14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006
2006
L. GIORDANO; N. OLIVETTI; V. GLIOZZI; G. POZZATO
Position Papers and Tutorial Description of TABLEAUX 2005, 
TABLEAUX 2005
2005
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 
OGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR 2005)
2005
N. OLIVETTI; G. POZZATO
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2005)
2005
M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; V. MASCARDI; C. SCHIFANELLA; L. TORASSO
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, 
WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi
2005
M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI
Proc of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, 
Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI
2005
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; C. SCHWIND
Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), 
4th International Workshop on Methods for Modalities (M4M-4)
2005
G. ANTONIOU; M. BALDONI; C. BAROGLIO; P. BONATTI; C. DUMA; N. FUCHS; A. MARTELLI; W. NEJDL; D. OLMEDILLA; V. PATTI; J. PEER; N. SHAHMEHRI.
Proc. of Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, 
Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference
2005
N. OLIVETTI; G. POZZATO
Handbook of the 1st World Congress and School on Universal Logic, 
1st World Congress and School on Universal Logic
2005
N. OLIVETTI; G. POZZATO
Proceedings of the 4th International Workshop on Methods for Modalities (M4M-4), 
4th International Workshop on Methods for Modalities (M4M-4)
2005
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
Proc. of European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, 
International Workshop on Web Services and Formal Methods, WS-FM 2005
2005
M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA
Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, 
Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V
2004
M. BALDONI; C. BAROGLIO; V. PATTI; L. TORASSO
Proc. of International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web, 
International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web
2004
M. BALDONI; C. BAROGLIO; V. PATTI; L. TORASSO
Proc. of Workshop Intelligenza Artificiale e E-Learning (IX Convegno della Associazione Italiana Intelligenza Artificiale), 
Workshop Intelligenza Artificiale e E-Learning (IX Convegno della Associazione Italiana Intelligenza Artificiale)
2004
M. BALDONI; A. MARTELLI; C. BAROGLIO; V. PATTI
Proc. of Italian Conference on Computational Logic, CILC'04, 
Italian Conference on Computational Logic, CILC'04
2004
M. BALDONI; C. BAROGLIO; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. MASCARDI; V. PATTI; C. SCHIFANELLA
Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies, 
International Workshop on Declarative Agent Languages and Technologies, DALT'04
2004
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Proc. of Theoretical Computer Science 8th Italian Conference, ICTCS 2003, 
Theoretical Computer Science 8th Italian Conference, ICTCS 2003
2003
M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Proc. of Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003, 
Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003
2003
M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Proc. of AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence, 
AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence
2003
M. Baldoni; C. Baroglio; V. Patti
Proceedings of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction, 
10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction
2003
M. Baldoni; C. Baroglio; B. Demo; V. Patti; L. Torasso
Proc. of 2nd Workshop on Artificial Intelligence & E-Learning, 
The 2nd Workshop on Artificial Intelligence & E-Learning
2003
M. Baldoni; C. Baroglio; A. Martelli; V. Patti
WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 
WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing
2003
M. Baldoni; C. Baroglio; V. Patti
Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003), 
The 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003)
2003
N. Olivetti; G.L. Pozzato
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2003), 
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (Tableaux 2003)
2003
M. Baldoni; C. Baroglio; V. Patti
Proc. of WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza, 
WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza
2002
M. Baldoni; C. Baroglio; V. Patti; L. Torasso
Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems, 
Workshop on Adaptive System for Web-based Education
2002
M. Baldoni; C. Baroglio; N. Henze; V. Patti
Proc. of the ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems, 
ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems
2002
M. Baldoni; C. Baroglio; A. Molia; V. Patti
Proc. of AI*IA 2001, Demo Session, 
AI*IA 2001, Demo Session
2001
M. Baldoni; C. Baroglio; A. Chiarotto; V. Patti
Proc. of Practical Aspects of Declarative Languages Third International Symposium, PADL 2001, 
Practical Aspects of Declarative Languages Third International Symposium, PADL 2001
2001
M. Baldoni; C. Baroglio; V. Patti
Proc. of the Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction), 
Universal Access In HCI: Towards an Information Society for All, Proceedings of HCI International '2001 (the 9th International Conference on Human-Computer Interaction)
2001
M. Baldoni; L. Giordano; A. Martelli; V. Patti
Proc. of Theoretical Computer Science 7th Italian Conference, ICTCS 2001, 
Theoretical Computer Science 7th Italian Conference, ICTCS 2001
2001
L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI
PROCEEDINGS OF ECAI 2000 - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE., 
ECAI 2000
2000
M. Baldoni; C. Baroglio; A. Chiarotto; A. Martelli; V. Patti
Proc. of the 6th ERCIM Workshop, User Interfaces for All, 
The 6th ERCIM Workshop, User Interfaces for All
2000
M. Baldoni; L. Giordano; A. Martelli; V. Patti
Proc. 1998 JICSLP'98 Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98, 
Workshop on Transactions and Change in Logic Databases, DYNAMICS'98
1998
Abstracts in proceedings
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Proceedings of R.i.C.e.R.c.A 2009: RCRA incontri e confronti, 
R.i.C.e.R.c.A 2009: RCRA incontri e confronti
2009
L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO
Proceedings of RiCeRcA 2008, 
RiCeRcA 2008
2008
Poster
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
ECAI 2010, 
19th European Conference on Artificial Intelligence - ECAI 2010
2010
V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato
ECAI 2010, 
19th European Conference on Artificial Intelligence - ECAI 2010
2010