Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community
Group picture

Knowledge representation, Automated Reasoning, Logic and ontologies

Staff

Picture

Activity

The research activity of KARL in the fields of knowledge representation and automated reasoning starts at the end of the eighties with the study of non-classical logics, in particular modal and conditional logics, and the study of reasoning mechanisms for agent communication in the Semantic Web.

In the recent years, the research activities of KARL members focused on the following activities:

    • proof methods for conditional and preferential logics for non-monotonic reasoning;
    • development of theorem provers for non-classical logics;
    • non monotonic extensions of Description Logics for prototypical reasoning;
    • specification and reasoning on protocol-based interaction;
    • verification of properties of protocol-based interactions;
    • commitment-based interaction protocols;
    • affective models based on Semantic Web ontologies.

Valentina Gliozzi

+ 39 011 670 6748

gliozzi@di.unito.it


Viviana Patti

+ 39 011 670 6804

patti@di.unito.it


Gian Luca Pozzato

+ 39 011 670 6848

pozzato@di.unito.it

Publications

 Pozzato, Gian Luca

Typicalities and probabilities of exceptions in nonmotonic Description Logics

 INTERNATIONAL JOURNAL OF APPROXIMATE REASONING,  2019

 Mencarini, Letizia; Hernández Farías, Delia Irazú; Lai, Mirko; Patti, Viviana; Sulis, Emilio; Vignoli, Daniele

Happy parents’ tweets: An exploration of Italian Twitter data using sentiment analysis

 DEMOGRAPHIC RESEARCH,  2019

 Lai Mirko; Tambuscio Marcella; Patti Viviana; Ruffo Giancarlo; Rosso Paolo

Stance polarity in political debates: A diachronic perspective of network homophily and conversations on Twitter

 DATA & KNOWLEDGE ENGINEERING,  2019

 Gliozzi, V Plunkett, K

Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps.

 JOURNAL OF COGNITIVE PSYCHOLOGY,  2019

 Lieto A.; Perrone F.; Pozzato G.L.; Chiodino E.

Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures

 COGNITIVE SYSTEMS RESEARCH,  2019

 Lieto A.; Pozzato G.L.

Applying a description logic of typicality as a generative tool for concept combination in computational creativity

 INTELLIGENZA ARTIFICIALE,  2019

 Micalizio Roberto - Pozzato Gian Luca

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach

 FUNDAMENTA INFORMATICAE,  2018

 Iglesias, Carlos A.*; Patti, Viviana

Editorial for the Special issue on "Love & Hate in the Time of Social Media and Social Networks"

 INFORMATION,  2018

 Basile, Valerio; Novielli, Nicole; Croce, Danilo; Barbieri, Francesco; Nissim, Malvina; Patti, Viviana

Sentiment Polarity Classification at EVALITA: Lessons Learned and Open Challenges

 IEEE TRANSACTIONS ON AFFECTIVE COMPUTING,  2018

 V.GLIOZZI, M.MADEDDU

A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood.

 COGNITIVE SYSTEMS RESEARCH,  2018

 Clavel, Chloé; Damiano, Rossana; Patti, Viviana; Rosso, Paolo

Affect and interaction in agent-based systems and social media: Guest editors' introduction

 ACM TRANSACTIONS ON INTERNET TECHNOLOGY,  2017

 Pozzato, Gian Luca

Reasoning About Plausible Scenarios in Description Logics of Typicality

 INTELLIGENZA ARTIFICIALE,  2017

 Laura Giordano; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato

Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014

 FUNDAMENTA INFORMATICAE,  2017

 Pierpaolo Basile, Malvina Nissim, Viviana Patti, Rachele Sprugnoli, Francesco Cutugno

EVALITA Goes Social: Tasks, Data, and Community at the 2016 Edition

 ITALIAN JOURNAL OF COMPUTATIONAL LINGUISTICS,  2017

 Patti, Viviana; Bosco, Cristina; Damiano, Rossana

Implicazioni etiche dell'analisi di contenuti, emozioni e interazioni nei social media

 SISTEMI INTELLIGENTI,  2017

 N. Olivetti; G.L. Pozzato; R. Alenda

Nested Sequent Calculi for Normal Conditional Logics

 JOURNAL OF LOGIC AND COMPUTATION,  2016

 Rosso, Paolo; Bosco, Cristina; Cambria, Erik; Damiano, Rossana; Patti, Viviana

Emotion and sentiment in social and expressive media: Introduction to the special issue

 INFORMATION PROCESSING & MANAGEMENT,  2016

 Bertola, Federico; Patti, Viviana

Ontology-based affective models to organize artworks in the social semantic web

 INFORMATION PROCESSING & MANAGEMENT,  2016

 Sulis, Emilio; Hernández Farías, Delia Irazú; Rosso, Paolo; Patti, Viviana; Ruffo, Giancarlo

Figurative messages and affect in Twitter: Differences between #irony, #sarcasm and #not

 KNOWLEDGE-BASED SYSTEMS,  2016

 HERNANDEZ FARIAS, DELIA IRAZU; Patti, Viviana; Rosso, Paolo

Irony detection in Twitter: The role of affective content

 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

State of the Art Language Technologies for Italian: The EVALITA 2014 Perspective

 INTELLIGENZA ARTIFICIALE,  2015

 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca

Semantic characterization of Rational Closure: from Propositional Logic to Description Logics

 ARTIFICIAL INTELLIGENCE,  2015

 Olivetti, Nicola; Pozzato, Gian Luca

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND

 INTELLIGENZA ARTIFICIALE,  2015

 Valerio Genovese; Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato

Logics in Access Control: A Conditional Approach

 JOURNAL OF LOGIC AND COMPUTATION,  2014

 Matteo Baldoni; Cristina Baroglio; Elisa Marengo; Viviana Patti; Federico Capuzzimati

Engineering commitment-based business protocols with 2CL methodology

 AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS,  2014

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

A NonMonotonic Description Logic for Reasoning About Typicality

 ARTIFICIAL INTELLIGENCE,  2013

 Cristina Bosco; Viviana Patti; Andrea Bolioli

Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT

 IEEE INTELLIGENT SYSTEMS,  2013

 Matteo Baldoni; Cristina Baroglio; Elisa Marengo; Viviana Patti

Constitutive and regulative specifications of commitment protocols: A decoupled approach

 ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY,  2013

 M. Baldoni; C. Baroglio; E. Marengo; V. Patti; C. Schifanella

Flexible Choreography-driven Service Selection

 INTELLIGENZA ARTIFICIALE,  2012

 M. Baldoni; C. Baroglio; V. Patti; P. Rena

From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web

 INTELLIGENZA ARTIFICIALE,  2012

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO; C.B. SCHWIND

Non-Classical Logics for Knowledge Representation and Reasoning

 INTELLIGENZA ARTIFICIALE,  2011

 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; N. HENZE; E. MARENGO; V. PATTI

Constraint Modeling for Curriculum Planning and Validation

 INTERACTIVE LEARNING ENVIRONMENTS,  2011

 BALDONI M.; BAROGLIO C.; MARENGO E.; PATTI V.; SCHIFANELLA C.

Models of Agent Interaction based on Modal Logics

 INTELLIGENZA ARTIFICIALE,  2011

 F. ABEL; M. BALDONI; C. BAROGLIO; N. HENZE; R. KAWASE; D. KRAUSE; V. PATTI

Leveraging Search and Context Exploration by Exploiting Context in Folksonomy Systems

 THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA,  2010

 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato

Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning

 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2009

 L.Giordano;V.Gliozzi;N.Olivetti;C.Schwind

Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions

 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2009

 Laura Giordano;Valentina Gliozzi;Nicola Olivetti; Gian Luca Pozzato

ALC + T: a Preferential Extension of Description Logics

 FUNDAMENTA INFORMATICAE,  2009

 V. Gliozzi; J. Mayor; J.F. Hu; K. Plunkett

Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach

 COGNITIVE SCIENCE,  2009

 N. OLIVETTI; G. POZZATO

Theorem Proving for Conditional Logics: CondLean and GoalDuck

 JOURNAL OF APPLIED NON-CLASSICAL LOGICS,  2008

 N. OLIVETTI; G. POZZATO; C. SCHWIND

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics

 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2007

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI

Reasoning about interaction protocols for customizing web service selection and composition

 JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING,  2007

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA

Reasoning on choreographies and capability requirements

 INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT,  2007

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI

Weak AGM postulates and Strong Ramsey Test: a logical formalization

 ARTIFICIAL INTELLIGENCE,  2005

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI

Reasoning about interaction protocols for web service composition

 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

Reasoning Methods for Personalization on the Semantic Web

 ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS,  2004

 M. BALDONI; C. BAROGLIO; V. PATTI

Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions

 ARTIFICIAL INTELLIGENCE REVIEW,  2004

 M. BALDONI; L. GIORDANO; A. MARTELLI; V. PATTI

Programming Rational Agents in a Modal Action Logic

 ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE,  2004

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; AND C. SCHWIND

Tableau Calculi for Preference-Based Conditional Logics.

 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  2003

 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI

Iterated Belief Revision and Conditional Logic

 STUDIA LOGICA,  2002

 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI

Belief Revision and the Ramsey Test: a solution.

 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  2001

 L. GIORDANO; V. GLIOZZI; AND N. OLIVETTI

A Conditional Logic for Belief Revision.

 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  1998

 Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato

Proceedings of the 29th Italian Conference on Computational Logic

 CEUR WORKSHOP PROCEEDINGS,  2014

 Cristina Battaglino; Cristina Bosco; Erik Cambria; Rossana Damiano; Viviana Patti; Paolo Rosso

ESSEM 2013 Emotion and Sentiment in Social and Expressive Media Proceedings of the First International Workshop on Emotion and Sentiment in Social and Expressive Media: approaches and perspectives from AI (ESSEM 2013)

 CEUR WORKSHOP PROCEEDINGS,  2013

Software

 Nicola Olivetti; Gian Luca Pozzato

NESCOND

 2014

 Basile, V.; Bolioli, A.; Bosco, C.; Nissim, M.; Patti, V.; Rosso, P.; Rabellino, S.

Evalita 2014: Sentipolc Twitter dataset

 2014

 L. Allisio; V. Mussa; G. Ruffo; C. Bosco; V. Patti

Felicittà

 2013

 Laura Giordano; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato

PreDeLo 1.0

 2013

 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI

DYnamics in LOGic

 2010

 M. BALDONI; C. BAROGLIO; V. PATTI

WLog web agent system

 2010

 R. Alenda; N. Olivetti; G.L. Pozzato

CSL-lean

 2009

 Nicola Olivetti; Gian Luca Pozzato

GoalDuck

 2008

 N. Olivetti; G.L. Pozzato

CondLean

 2007

 L. Giordano; V. Gliozzi; G.L. Pozzato

KLMLean

 2007

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

FreeP

 2007

 G.L. Pozzato

Conditional and Preferential Logics: Proof Methods and Theorem Proving

 FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS,  2010

 Nissim, Malvina; Patti, Viviana

Semantic Aspects in Sentiment Analysis

 Sentiment Analysis in Social Networks,  2017

 M. Baldoni; C. Baroglio; V. Patti; C. Schifanella

Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web

 New Challenges in Distributed Information Filtering and Retrieval,  2013

 Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti

A Generalized Commitment Machine for 2CL Protocols and Its Implementation

 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'

Business process compliance verification: an annotation based approach with commitments

 Information Systems: a crossroads for Organization, Management, Accounting and Engineering,  2012

 M. Baldoni; C. Baroglio; E. Marengo; V. Patti

Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study

 Information Systems: Crossroads for Organization, Management, Accounting and Engineering,  2012

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA

Goal Preservation by Choreography-Driven Matchmaking

 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

Multimodal Logics for Reasoning about Interaction

 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

Service selection by choreography-driven matching

 Emerging Web Services Technology,  2008

 M. Baldoni; C. Baroglio; A. Horvath; V. Patti; F. Portis; M. Avilia; P. Grillo

Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts

 Formal Ontologies Meet Industry,  2008

 N. OLIVETTI; G. POZZATO

Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1

 Perspectives on Universal Logic,  2007

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI

Verification of protocol conformance and agent interoperability

 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

Interaction Protocols and Capabilities: a preliminary report

 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

Lexical gender in Hungarian: Reflections of Social Structures in an Electronic Corpus

 Gender, Language and New Literacy,  2006

 M. BALDONI; C. BAROGLIO; V. MASCARDI; I. GUNGUI; A. MARTELLI; M. MARTELLI; V. PATTI; C. SCHIFANELLA

Reasoning About Agents' Interaction Protocols Inside DCaseLP

 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

Verifying Protocol Conformance for Logic-Based Communicating Agents

 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

An Abductive Procedure for Reasoning about Actions in Modal Logic Programming

 Post-Proc. of Non-Monotonic Extensions of Logic Programming Second International Workshop, NMELP '96, Selected Papers,  1997

 Basile, Pierpaolo; Basile, Valerio; Nissim, Malvina; Novielli, Nicole; Patti, Viviana

Sentiment Analysis of Microblogging Data

 Encyclopedia of Social Network Analysis and Mining,  2017

 Cristina Bosco, Viviana Patti

Social Media Analysis for Monitoring Political Sentiment

 Encyclopedia of Social Network Analysis and Mining,  2017

 Gian Luca Pozzato

32 voci nel Dizionario Treccani di Informatica, ICT e Nuovi Media: ACDSee Algebra relazionale Append Chiave Primaria Database Consistente Database relazionale DBMS Description Logic DO-WHILE e-bay Entità-relazioni, modello FOR loop GO TO Grassetto IF-THEN IF-THEN-ELSE Indirizzamento Indirizzo Ethernet Integrità referenziale Jacopini, Giuseppe Javasript MySQL Nero Burning ROM Normalizzazione PL/SQL Polimorfismo Prolog Query Rollback Salvaschermo Transazione Zuckerberg Mark Elliot

 Dizionario Treccani di Informatica, ICT e Nuovi Media,  2012

 Benamara, Farah; Bosco, Cristina; Fersini, Elisabetta; Pasi, Gabriella; Patti, Viviana; Viviani, Marco

SeCredISData 2018: Special session on sentiment, emotion, and credibility of information in social data

 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

Stance or insults?

 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

Knowledge Capturing via Conceptual Reframing: A Dynamic Knowledge Generation System for Cognitive Agents

 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

A Dynamic Knowledge Generation System for Cognitive Agents

 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

A New Measure of Polarization in the Annotation of Hate Speech

 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.

Annotating hate speech: Three schemes at comparison

 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.

Computational linguistics against hate: Hate speech detection and visualization on social media in the "Contro L’Odio" project

 CEUR Workshop Proceedings, 

 6th Italian Conference on Computational Linguistics, CLiC-it 2019

 2019

 Florio, Komal; Basile, Valerio; Lai, Mirko; Patti, Viviana

Leveraging Hate Speech Detection to Investigate Immigration-related Phenomena in Italy

 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.

Stance classification for rumour analysis in Twitter: Exploiting affective information and conversation structure

 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

Taxonomic and Whole Object Constraints: A Deep Architecture

 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

SemEval-2019 Task 5: Multilingual Detection of Hate Speech Against Immigrants and Women in Twitter

 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.

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

 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.

PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality

 CEUR Workshop Proceedings, 

 34th Italian Conference on Computational Logic, CILC 2019

 2019

 Lieto A.; Perrone F.; Pozzato G.L.

GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality

 CEUR Workshop Proceedings, 

 34th Italian Conference on Computational Logic, CILC 2019

 2019

 Mirko Lai, Viviana Patti, Giancarlo Ruffo, Paolo Rosso

Stance Evolution and Twitter Interactions in an Italian Political Debate

 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

Application and Analysis of a Multi-layered Scheme for Irony on the Italian Twitter Corpus TWITTIRÒ

 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

SemEval 2018 Task 2: Multilingual Emoji Prediction

 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

A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon

 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

14-ExLab@UniTo for AMI at IberEval2018: Exploiting lexical knowledge for detecting misogyny in English and Spanish tweets

 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

Automatic Identification of Misogyny in English and Italian Tweets at EVALITA 2018 with a Multilingual Hate Lexicon

 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

Overview of the EVALITA 2018 Task on Irony Detection in Italian Tweets (IronITA)

 CEUR Workshop Proceedings, 

 Sixth Evaluation Campaign of Natural Language Processing and Speech Tools for Italian (EVALITA 2018)

 2018

 Bassignana, Elisa; Basile, Valerio; Patti, Viviana

Hurtlex: A multilingual lexicon of words to hurt

 CEUR Workshop Proceedings, 

 5th Italian Conference on Computational Linguistics, CLiC-it 2018

 2018

 Lieto, Antonio; Pozzato, Gian Luca*

Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics

 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*

On probabilities of exceptions in description logics of typicality

 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

COCOS: A typicality based COncept COmbination System

 Proceedings of the 33rd Italian Conference on Computational Logic, 

 33rd Italian Conference on Computational Logic, CILC 2018

 2018

 Lieto, Antonio; Pozzato, Gian Luca*

A description logic of typicality for conceptual combination

 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

#NonDicevoSulSerio at SemEval-2018 Task 3: Exploiting Emojis and Affective Content for Irony Detection in English Tweets

 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

Overview of the Evalita 2018 Italian Emoji Prediction (ITAmoji) Task

 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

An Italian Twitter Corpus of Hate Speech against Immigrants

 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

REGULATION OF HIF-1 alpha IN TP53 DISRUPTED CHRONIC LYMPHOCYTIC LEUKEMIA CELLS AND ITS POTENTIAL ROLE AS A THERAPEUTIC TARGET

 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

A knowledge-based weighted KNN for detecting Irony in Twitter

 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

Sentiment polarity classification of figurative language: Exploring the role of irony-aware and multifaceted affect features

 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

Exploring the Impact of Pragmatic Phenomena on Irony Detection in Tweets: A Multilingual Corpus Study

 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

A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs

 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

Tools and Resources for Detecting Hate and Prejudice against Immigrants in Social Media

 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

Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets

 Lecture Notes in Computer Science, 

 MICAI 2016

 2017

 Mirko Lai, Marcella Tambuscio, Viviana Patti, Giancarlo Ruffo, Paolo Rosso

Extracting Graph Topological Information and Users’ Opinion

 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

Overview of the task on stance and gender detection in tweets on Catalan independence at IberEval 2017

 CEUR Workshop Proceedings, 

 2nd Workshop on Evaluation of Human Language Technologies for Iberian Languages, IberEval 2017

 2017

 Pozzato, Gian Luca

Reasoning in description logics with typicalities and probabilities of exceptions

 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

Hypersequent calculi for lewis'€™ conditional logics with uniformity and reflexivity

 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

VINTE: An implementation of internal calculi for lewis'€™ logics of counterfactual reasoning

 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

An efficient reasoner for description logics of typicality and rational closure

 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

RAT-OWL: Reasoning with rational closure in description logics of typicality

 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

TWITTIRÒ: A social media corpus with a multi-layered annotation for irony

 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

Towards an Italian lexicon for polarity classification (polarITA): A comparative analysis of lexical resources for sentiment analysis

 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

Hate speech annotation: Analysis of an Italian twitter corpus

 CEUR Workshop Proceedings, 

 4th Italian Conference on Computational Linguistics, CLiC-it 2017

 2017

 Patti, Viviana; Damiano, Rossana; Bosco, Cristina

Ethical implications of analyzing opinions, emotions and interactions in social media

 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

Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract)

 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

Distinguishing between irony and sarcasm in social media texts: Linguistic observations

 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.

Reasoning about Multiple Aspects in Rational Closure for DLs.

 Lecture Notes in Computer Science, 

 AI*IA 2016

 2016

 Gliozzi, V

A strengthening of rational closure in DLs: reasoning about multiple aspects

 Proceedings of NMR 2016, 

 NMR 2016

 2016

 Bosco, Cristina; Lai, Mirko; Patti, Viviana; Virone, Daniela

Tweeting and Being Ironic in the Debate about a Political Reform: the French Annotated Corpus TWitter-MariagePourTous.

 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

Annotating Sentiment and Irony in the Online Italian Political Debate on #labuonascuola

 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

Subjective well-being and social media: A semantically annotated twitter corpus on fertility and parenthood

 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

Reasoning About Surprising Scenarios in Description Logics of Typicality

 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

ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality

 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

Typicality-based revision for handling exceptions in Description Logics

 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

A Typicality-based Revision to Handle Exceptions in Description Logics

 Frontiers in Artificial Intelligence and Applications, 

 22nd European Conference on Artificial Intelligence ECAI 2016

 2016

 Marianna, Girlando; Bjoern, Lellmann; Nicola, Olivetti; Gian, Luca Pozzato

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

 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

Standard Sequent Calculi for Lewis' Logics of Counterfactuals

 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

EVALITA 2016: Overview of the 5th evaluation campaign of natural language processing and speech tools for Italian

 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

Overview of the Evalita 2016 Sentiment Polarity Classification Task

 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

Raising interest and collecting suggestions on the evalita evaluation campaign

 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

Tweeting in the Debate about Catalan Elections

 Emotion and Sentiment Analysis PROCEEDINGS, 

 LREC 2016 Workshop

 2016

 Patti, Viviana; Bertola, Federico; Lieto, Antonio

ArsEmotica for arsmeteo.org: Emotion-Driven Exploration of Online Art Collections

 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

ValenTo: Sentiment Analysis of Figurative Language Tweets with Irony and Sarcasm

 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

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics

 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

A Multi-Engine Theorem Prover for a Description Logic of Typicality

 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

A natural sequent calculus for Lewis logic of counterfactuals

 Proceedings of the 30th Italian Conference on Computational Logic, 

 30° Convegno Italiano di Logica Computazionale

 2015

 Pozzato, Gian Luca

Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match

 Proceedings of the 30th Italian Conference on Computational Logic, 

 30° Convegno Italiano di Logica Computazionale

 2015

 Lai, Mirko; Bosco, Cristina; Patti, Viviana; Virone, Daniela

Debate on Political Reforms in Twitter: A Hashtag-driven Analysis of Political Polarization

 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

Building a Corpus on a Debate on Political Reform in Twitter

 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ù

Analyzing and annotating for sentiment analysis the socio-political debate on #labuonascuola

 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

Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract)

 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

ESSEM 2015 Emotion and Sentiment in Social and Expressive Media.

 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

Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract)

 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

Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ

 LNCS 9384, 

 ISMIS 2015, Foundations of Intelligent Systems - 22nd International Symposium,

 2015

 Olivetti, Nicola; Pozzato, Gian Luca

A standard and internal calculus for Lewis counterfactual logics

 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

Detecting Happiness in Italian Tweets: Towards an Evaluation Dataset for Sentiment Analysis in Felicittà

 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

NESCOND: an Implementation of Nested Sequent Calculi for Conditional Logics

 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

Revising Description Logic Terminologies to Handle Exceptions: a First Step

 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

Rational Closure in SHIQ

 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

Minimal models for rational closure in SHIQ

 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

Developing corpora and tools for sentiment analysis: the experience of the University of Turin group

 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

Overview of the Evalita 2014 SENTIment POLarity Classification Task

 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

Primacy/recency effects in infant categorization

 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

A semantics for Rational Closure: Preliminary Results

 Proceedings of CILC 2013, 

 CILC 2013: 28o convegno italiano di logica computazionale

 2013

 N. Olivetti; G.L. Pozzato

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics

 Proceedings of CILC 2013, 

 CILC 2013: 28o convegno italiano di logica computazionale

 2013

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

Minimal Model Semantics and Rational Closure in Description Logics

 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

Rational closure for description logics of typicality

 Proceedings of JIAF 13, 

 JIAF 13: Journées d'Intelligence Artificielle Fondamentale

 2013

 L. Giordano; V. Gliozzi; A. Jalal; N. Olivetti; G.L. Pozzato

PreDeLo 1.0: a Theorem Prover for Preferential Description Logics

 Proceedings of AI*IA 2013, 

 AI*IA 2013 - XIIIth International Conference of the Italian Association for Artificial Intelligence

 2013

 F. Bertola; V. Patti

Emotional Responses to Artworks in Online Collections

 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

Organizing Artworks in an Ontology-based Semantic Affective Space

 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

Felicittà: Visualizing and Estimating Happiness in Italian Cities from Geotagged Tweets

 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

Annotating Irony in a Novel Italian Corpus for Sentiment Analysis

 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

A Generalized Commitment Machine for 2CL Protocols and its Implementation

 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

Nested Sequent Calculi for Conditional Logics

 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

A minimal model semantics for nonmonotonic reasoning

 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

A Modal Reconstruction of Rational Closure

 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

A minimal model semantics for rational closure

 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

A generalized commitment machine for 2CL protocols and its prolog implementation

 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

Commitments with Regulations: Reasoning about Safety and Control in REGULA

 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

Learn the rules so you know how to break them properly

 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.

A tableau calculus for a nonmonotonic extension of EL^\bot

 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

An Interaction-oriented Agent Framework for Open Environments

 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

Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation

 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

Back to the Future: an Interaction-oriented Framework for Social Computing

 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

ArsEmotica: Emotions in the Social Semantic Web

 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.

Reasoning about typicality in low complexity DLs: the logics EL^\bot T_min and DL-lite_R T_min

 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

From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web

 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.

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods

 CEUR WORKSHOP PROCEEDINGS, 

 CILC 2011 (26th Convegno Italiano di Logica Computazionale)

 2011

 Giordano L.; Gliozzi V.; Olivetti N.; Pozzato G.L.

A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore

 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'

Verifying Compliance of Business Processes with Temporal Answer Sets

 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.

A conditional constructive logic for access control and its sequent calculus

 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

A Constructive Conditional Logic for Access Control:a completeness result and a sequent calculus

 CEUR WORKSHOP PROCEEDINGS, 

 CILC 2010 - 25th Italian Conference on Computational Logic

 2010

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

A nonmonotonic extension of KLM Preferential Logic P

 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

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment

 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é

Verifying Business Process Compliance by Reasoning about Actions

 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

Logics in Access Control: A Conditional Approach

 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é

Verifying Business Process Compliance by Reasoning about Actions

 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

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems

 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

CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity

 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

MERCURIO: An interaction-oriented framework for designing, verifying and programming multi-agent systems (position paper)

 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

Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies

 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

Context-based Ranking in Folksonomies

 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

ArsMeteo: Artworks and Tags Floating over the Planet Art

 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

Joint Achievement of Services' Personal Goals

 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

Prototypical reasoning with low complexity Description Logics: preliminary results

 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

Reasoning about typicality with low complexity Description Logics: the logic EL+⊥T

 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

Reasoning About Typicality in ALC and EL

 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

Non-Classical Logics for Knowledge Representation and Reasoning

 CEUR WORKSHOP PROCEEDINGS, 

 Day Dedicated to Prof. Alberto Martelli

 2009

 R. ALENDA; N. OLIVETTI; G.L. POZZATO

CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity

 Proceedings of M4M-6, 

 Methods for Modalities - M4M 6

 2009

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO

A Non-monotonic Description Logic of Typicality

 Proceedings of CILC 2009 (24th Convegno Italiano di Logica Computazionale), 

 24o Convegno Italiano di Logica Computazionale

 2009

 G. POZZATO

Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning

 Proceedings of CILC 2008, 

 CILC 2008 (23o Convegno Italiano di Logica Computazionale)

 2008

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO

ALC+T: Reasoning About Typicality in Description Logics

 Proceedings of CILC 2008, 

 CILC 2008 (23o Convegno Italiano di Logica Computazionale)

 2008

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G.L. POZZATO

Reasoning about Typicality in Preferential Description Logics

 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

Service selection by choreography-driven matching

 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

Conservative re-use ensuring matches for service selection

 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

The impact of labels onvisual categorisation: a neural network model

 Proceedings of the 30th Annual Cognitive Science Society., 

 30th Annual Cognitive Science Society

 2008

 Baldoni, Matteo; Baroglio, Cristina; Patti, Viviana; Schifanella, Claudio

Conservative re-use ensuring matches for service selection

 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

Extension of Description Logics for Reasoning About Typicality

 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

A Personalization Web Service for Curricula Planning and Validation

 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

A Service-Oriented Approach for Curriculum Planning and Validation

 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

KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations

 Proceedings of CILC 2007, 

 CILC 2007 (22o Convegno Italiano di Logica Computazionale)

 2007

 N. OLIVETTI; G. POZZATO

A Goal-Directed Calculus for Standard Conditional Logics

 Proceedings of CILC 2007, 

 CILC 2007 (22o Convegno Italiano di Logica Computazionale)

 2007

 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI

Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture

 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

An Implmentation of a Free-variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: the Theorem Prover FreeP 1.0

 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

Preferential Description Logics

 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 

 LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning)

 2007

 L. GIORDANO; V. GLIOZZI; G. POZZATO

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

 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

Preserving player's goals: a choreography-driven matchmaking approach

 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

Goal preservation by choreography-driven matchmaking

 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

Analytic Tableaux Calculi for KLM Rational Logic R

 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 

 JELIA 2006

 2006

 A. MARTELLI; M. BALDONI; C. BAROGLIO; V. PATTI; C. SCHIFANELLA

Modeling, verifying and reasoning about web services

 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

Conformance and Interoperability in Open Environments

 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

Verifying the compliance of personalized curricula to curricula models in the semantic web

 Proc. of the Semantic Web Personalization Workshop, 

 Semantic Web Personalization Workshop

 2006

 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA

Interaction Protocols and Capabilities: a preliminary report

 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

The Need of Capability Requirements Inside Choreographies and Interaction Protocols

 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

A priori conformance verification for guaranteeing interoperability in open environments

 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

Automated Deduction for Logics of Default Reasoning

 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

A Personalization Service for Curriculum Planning

 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

A Tableaux Calculus for KLM Preferential and Cumulative Logics

 Position Papers and Tutorial Description of TABLEAUX 2005, 

 TABLEAUX 2005

 2005

 L. GIORDANO; V. GLIOZZI; N. OLIVETTI; G. POZZATO

Analytic Tableaux for KLM Preferential and Cumulative Logics

 LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 

 OGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR 2005)

 2005

 N. OLIVETTI; G. POZZATO

CondLean 3.0: Improving CondLean for Stronger Conditional Logics

 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

Personalization, verification and conformance for logic-base communicating agents

 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

Verification of protocol conformance and agent interoperability

 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

Extensions of Tableau calculi for preference-based conditional logics

 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.

The REWERSE View on Policies

 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

CondLean 2.0: an Efficient Theorem Prover for Standard Conditional Logics

 Handbook of the 1st World Congress and School on Universal Logic, 

 1st World Congress and School on Universal Logic

 2005

 N. OLIVETTI; G. POZZATO

KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning

 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

Verifying the conformance of web services to global interaction protocols: a first step

 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

Verifying protocol conformance for logic-based communicating agents

 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

Reasoning about learning object metadata for adapting SCORM courseware

 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

SCORM courseware adaptation on the Semantic Web

 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

Reasoning about logic-based agent interaction protocols

 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

Reasoning about agents' interaction protocols inside DCaseLP

 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

Reasoning about self and others: communicating agents in a modal action logic

 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

Reasoning about communicating agents in the semantic web

 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

Reasoning about Conversation Protocols in a Logic-based Agent Language

 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

Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems

 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

E-learning by doing, an approach based on techniques for reasoning about actions

 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

Reasoning about interaction for personalizing web service fruition

 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

Personalizing web services by reasoning about interaction protocols

 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

CondLean: A Theorem Prover for Conditional Logics

 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

Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions

 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

Using a rational agent in an adaptive web-based tutoring system

 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

Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing

 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

Exploiting planning capabilities of a rational agent in adaptive web-based recommendation systems: a case-study

 Proc. of AI*IA 2001, Demo Session, 

 AI*IA 2001, Demo Session

 2001

 M. Baldoni; C. Baroglio; A. Chiarotto; V. Patti

Programming Goal-driven Web Sites using an Agent Logic Language

 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

Structureless, intention-guided web sites: planning based adaptation

 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

Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

 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

A Conditional Logic for Iterated Belief Revision.

 PROCEEDINGS OF ECAI 2000 - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE., 

 ECAI 2000

 2000

 M. Baldoni; C. Baroglio; A. Chiarotto; A. Martelli; V. Patti

Intention-guided Web Sites: A New Perspective on Adaptation

 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

A Modal Programming Language for Representing Complex Actions

 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

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

Preferential Extensions of Lightweight Description Logics

 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

Reasoning About Typicality in Description Logics:the Logic ALC+T_{min}

 Proceedings of RiCeRcA 2008, 

 RiCeRcA 2008

 2008

 L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?

 ECAI 2010, 

 19th European Conference on Artificial Intelligence - ECAI 2010

 2010

 V. Genovese; L. Giordano; V. Gliozzi; G.L. Pozzato

A constructive conditional logic for access control: a preliminary report

 ECAI 2010, 

 19th European Conference on Artificial Intelligence - ECAI 2010

 2010

Last update: 15/06/2020 16:09
Non cliccare qui!