Knowledge representation, Automated Reasoning, Logic and ontologies
Staff
- Gliozzi Valentina (Member)
- Patti Viviana (Member)
- Pozzato Gian Luca (Member)
- Baldoni Matteo (Collaborator)
- Baroglio Cristina (Collaborator)
- Martelli Alberto (Collaborator)
- Laura Giordano (External Collaborator)
- Nicola olivetti (External Collaborator)
Contacts
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.
- Paper A Multi-Engine Theorem Prover for a Description Logic of Typicality, by Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato and Luca Violanti has been accepted for presentation and publication at AI*IA 2015.
- The project ExceptionOWL: Nonmonotonic Extensions of Description Logics and OWL for defeasible inheritance with exceptions (principal investigator: Gian Luca Pozzato) started on 1st July 2015.
- ExceptionOWL: Nonmonotonic Extensions of Description Logics and OWL for defeasible inheritance with exceptions. Responsabile: Gian Luca Pozzato
- LoDeN: Low-complexity Description logics with Nonmonotonic features (PRIN 2008). Partecipante: Gian Luca Pozzato
- ICT4Law: ICT Converging on Law: Next Generation Services for Citizens, Enterprises, Public Administration and Policymakers. Partecipanti: Matteo Baldoni, Cristina Baroglio, Valentina Gliozzi, Viviana Patti, Gian Luca Pozzato
- REWERSE: Reasoning on the Web with Rules and Semantics (EU NoE FP6, Information Society Technologies (IST), Priority 2 under the project reference number 506779. REWERSE addresses the IST strategic action line "Semantic-based knowledge systems". 2004-2008. Partecipanti: Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
+ 39 011 670 6748
+ 39 011 670 6804
+ 39 011 670 6848
pozzato@di.unito.it
Publications
Typicalities and probabilities of exceptions in nonmotonic Description Logics
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2019
Happy parents’ tweets: An exploration of Italian Twitter data using sentiment analysis
DEMOGRAPHIC RESEARCH, 2019
Stance polarity in political debates: A diachronic perspective of network homophily and conversations on Twitter
DATA & KNOWLEDGE ENGINEERING, 2019
Grounding Bayesian accounts of numerosity and variability effects in a similarity-based framework: the case of self-organising maps.
JOURNAL OF COGNITIVE PSYCHOLOGY, 2019
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures
COGNITIVE SYSTEMS RESEARCH, 2019
Applying a description logic of typicality as a generative tool for concept combination in computational creativity
INTELLIGENZA ARTIFICIALE, 2019
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach
FUNDAMENTA INFORMATICAE, 2018
Editorial for the Special issue on "Love & Hate in the Time of Social Media and Social Networks"
INFORMATION, 2018
Sentiment Polarity Classification at EVALITA: Lessons Learned and Open Challenges
IEEE TRANSACTIONS ON AFFECTIVE COMPUTING, 2018
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood.
COGNITIVE SYSTEMS RESEARCH, 2018
Affect and interaction in agent-based systems and social media: Guest editors' introduction
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2017
Reasoning About Plausible Scenarios in Description Logics of Typicality
INTELLIGENZA ARTIFICIALE, 2017
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014
FUNDAMENTA INFORMATICAE, 2017
EVALITA Goes Social: Tasks, Data, and Community at the 2016 Edition
ITALIAN JOURNAL OF COMPUTATIONAL LINGUISTICS, 2017
Implicazioni etiche dell'analisi di contenuti, emozioni e interazioni nei social media
SISTEMI INTELLIGENTI, 2017
Nested Sequent Calculi for Normal Conditional Logics
JOURNAL OF LOGIC AND COMPUTATION, 2016
Emotion and sentiment in social and expressive media: Introduction to the special issue
INFORMATION PROCESSING & MANAGEMENT, 2016
Ontology-based affective models to organize artworks in the social semantic web
INFORMATION PROCESSING & MANAGEMENT, 2016
Figurative messages and affect in Twitter: Differences between #irony, #sarcasm and #not
KNOWLEDGE-BASED SYSTEMS, 2016
Irony detection in Twitter: The role of affective content
ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2016
State of the Art Language Technologies for Italian: The EVALITA 2014 Perspective
INTELLIGENZA ARTIFICIALE, 2015
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics
ARTIFICIAL INTELLIGENCE, 2015
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND
INTELLIGENZA ARTIFICIALE, 2015
Logics in Access Control: A Conditional Approach
JOURNAL OF LOGIC AND COMPUTATION, 2014
Engineering commitment-based business protocols with 2CL methodology
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2014
A NonMonotonic Description Logic for Reasoning About Typicality
ARTIFICIAL INTELLIGENCE, 2013
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT
IEEE INTELLIGENT SYSTEMS, 2013
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2013
Flexible Choreography-driven Service Selection
INTELLIGENZA ARTIFICIALE, 2012
From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web
INTELLIGENZA ARTIFICIALE, 2012
Non-Classical Logics for Knowledge Representation and Reasoning
INTELLIGENZA ARTIFICIALE, 2011
Constraint Modeling for Curriculum Planning and Validation
INTERACTIVE LEARNING ENVIRONMENTS, 2011
Models of Agent Interaction based on Modal Logics
INTELLIGENZA ARTIFICIALE, 2011
Leveraging Search and Context Exploration by Exploiting Context in Folksonomy Systems
THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA, 2010
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009
Tableau Calculus for Preference-Based Conditional Logics: CE and Its Extensions
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009
ALC + T: a Preferential Extension of Description Logics
FUNDAMENTA INFORMATICAE, 2009
Labels as Features (not Names) for Infant Categorisation: A Neuro-computational approach
COGNITIVE SCIENCE, 2009
Theorem Proving for Conditional Logics: CondLean and GoalDuck
JOURNAL OF APPLIED NON-CLASSICAL LOGICS, 2008
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2007
Reasoning about interaction protocols for customizing web service selection and composition
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007
Reasoning on choreographies and capability requirements
INTERNATIONAL JOURNAL OF BUSINESS PROCESS INTEGRATION AND MANAGEMENT, 2007
Weak AGM postulates and Strong Ramsey Test: a logical formalization
ARTIFICIAL INTELLIGENCE, 2005
Reasoning about interaction protocols for web service composition
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2004
Reasoning Methods for Personalization on the Semantic Web
ANNALS OF MATHEMATICS COMPUTING TELEINFORMATICS, 2004
Web-based adaptive tutoring: an approach based on logic agents and reasoning about actions
ARTIFICIAL INTELLIGENCE REVIEW, 2004
Programming Rational Agents in a Modal Action Logic
ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE, 2004
Tableau Calculi for Preference-Based Conditional Logics.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 2003
Iterated Belief Revision and Conditional Logic
STUDIA LOGICA, 2002
Belief Revision and the Ramsey Test: a solution.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 2001
A Conditional Logic for Belief Revision.
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1998
Proceedings of the 29th Italian Conference on Computational Logic
CEUR WORKSHOP PROCEEDINGS, 2014
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
NESCOND
2014
Evalita 2014: Sentipolc Twitter dataset
2014
Felicittà
2013
PreDeLo 1.0
2013
DYnamics in LOGic
2010
WLog web agent system
2010
CSL-lean
2009
GoalDuck
2008
CondLean
2007
KLMLean
2007
FreeP
2007
Conditional and Preferential Logics: Proof Methods and Theorem Proving
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS, 2010
Semantic Aspects in Sentiment Analysis
Sentiment Analysis in Social Networks, 2017
Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web
New Challenges in Distributed Information Filtering and Retrieval, 2013
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
Business process compliance verification: an annotation based approach with commitments
Information Systems: a crossroads for Organization, Management, Accounting and Engineering, 2012
Supporting the Analysis of Risks of Violation in Business Protocols: the MiFID Case Study
Information Systems: Crossroads for Organization, Management, Accounting and Engineering, 2012
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
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
Service selection by choreography-driven matching
Emerging Web Services Technology, 2008
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts
Formal Ontologies Meet Industry, 2008
Automated Reasoning for Conditional Logics: the Theorem Prover CondLean 3.1
Perspectives on Universal Logic, 2007
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
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
Lexical gender in Hungarian: Reflections of Social Structures in an Electronic Corpus
Gender, Language and New Literacy, 2006
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
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
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
Sentiment Analysis of Microblogging Data
Encyclopedia of Social Network Analysis and Mining, 2017
Social Media Analysis for Monitoring Political Sentiment
Encyclopedia of Social Network Analysis and Mining, 2017
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
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
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
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
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
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
Annotating hate speech: Three schemes at comparison
CEUR Workshop Proceedings,
6th Italian Conference on Computational Linguistics, CLiC-it 2019
2019
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
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
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
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
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
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
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
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality
CEUR Workshop Proceedings,
34th Italian Conference on Computational Logic, CILC 2019
2019
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
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
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
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
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
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
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
Hurtlex: A multilingual lexicon of words to hurt
CEUR Workshop Proceedings,
5th Italian Conference on Computational Linguistics, CLiC-it 2018
2018
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
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
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
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
#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
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
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
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
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
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
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
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
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
Friends and Enemies of Clinton and Trump: Using Context for Detecting Stance in Political Tweets
Lecture Notes in Computer Science,
MICAI 2016
2017
Extracting Graph Topological Information and Users’ Opinion
Lecture Notes in Computer Science,
International Conference of the Cross-Language Evaluation Forum for European Languages
2017
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
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
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
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
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
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
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
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
Hate speech annotation: Analysis of an Italian twitter corpus
CEUR Workshop Proceedings,
4th Italian Conference on Computational Linguistics, CLiC-it 2017
2017
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
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
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
Reasoning about Multiple Aspects in Rational Closure for DLs.
Lecture Notes in Computer Science,
AI*IA 2016
2016
A strengthening of rational closure in DLs: reasoning about multiple aspects
Proceedings of NMR 2016,
NMR 2016
2016
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
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
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
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
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
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
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
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
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
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
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
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
Tweeting in the Debate about Catalan Elections
Emotion and Sentiment Analysis PROCEEDINGS,
LREC 2016 Workshop
2016
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
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
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
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
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
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
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
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
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
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
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
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
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ
LNCS 9384,
ISMIS 2015, Foundations of Intelligent Systems - 22nd International Symposium,
2015
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
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
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
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
Rational Closure in SHIQ
DL 2014 27th International Workshop on Description Logics,
27th International Workshop on Description Logics (DL2014)
2014
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
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
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
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
A semantics for Rational Closure: Preliminary Results
Proceedings of CILC 2013,
CILC 2013: 28o convegno italiano di logica computazionale
2013
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics
Proceedings of CILC 2013,
CILC 2013: 28o convegno italiano di logica computazionale
2013
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
Rational closure for description logics of typicality
Proceedings of JIAF 13,
JIAF 13: Journées d'Intelligence Artificielle Fondamentale
2013
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
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
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
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
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
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
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
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
A Modal Reconstruction of Rational Closure
Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012),
CILC 2012: Convention on Computational Logic
2012
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
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
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
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
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
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
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
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
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
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
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
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods
CEUR WORKSHOP PROCEEDINGS,
CILC 2011 (26th Convegno Italiano di Logica Computazionale)
2011
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
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
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
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
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
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment
CEUR WORKSHOP PROCEEDINGS,
CILC 2010 - 25th Italian Conference on Computational Logic
2010
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
Logics in Access Control: A Conditional Approach
Proceedings of the Workshop on Logics in Security 2010,
LIS: 1st Workshop of Logics in Security
2010
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
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
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,
Methods for Modalities - M4M
2010
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
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
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
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
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
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
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
Reasoning About Typicality in ALC and EL
22nd International Workshop on Description Logics, DL 2009,
22nd International Workshop on Description Logics (DL 2009)
2009
Non-Classical Logics for Knowledge Representation and Reasoning
CEUR WORKSHOP PROCEEDINGS,
Day Dedicated to Prof. Alberto Martelli
2009
CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity
Proceedings of M4M-6,
Methods for Modalities - M4M 6
2009
A Non-monotonic Description Logic of Typicality
Proceedings of CILC 2009 (24th Convegno Italiano di Logica Computazionale),
24o Convegno Italiano di Logica Computazionale
2009
Proof Methods for Conditional and Preferential Logics of Nonmonotonic Reasoning
Proceedings of CILC 2008,
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
ALC+T: Reasoning About Typicality in Description Logics
Proceedings of CILC 2008,
CILC 2008 (23o Convegno Italiano di Logica Computazionale)
2008
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
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
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
The impact of labels onvisual categorisation: a neural network model
Proceedings of the 30th Annual Cognitive Science Society.,
30th Annual Cognitive Science Society
2008
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
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
A Personalization Web Service for Curricula Planning and Validation
4th European Semantic Web Conference, ESWC 2007,
4th European Semantic Web Conference, ESWC 2007
2007
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
KLM Logics of Nonmonotonic Reasoning: Calculi and Implementations
Proceedings of CILC 2007,
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
A Goal-Directed Calculus for Standard Conditional Logics
Proceedings of CILC 2007,
CILC 2007 (22o Convegno Italiano di Logica Computazionale)
2007
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
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
Preferential Description Logics
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
LPAR 2007 (14th Conference on Logic for Programming, Artificial Intelligence, and Reasoning)
2007
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
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
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
Analytic Tableaux Calculi for KLM Rational Logic R
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,
JELIA 2006
2006
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
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
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
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
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
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
Automated Deduction for Logics of Default Reasoning
FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS,
ECAI 2006 (17th European Conference on Artificial Intelligence)
2006
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
A Tableaux Calculus for KLM Preferential and Cumulative Logics
Position Papers and Tutorial Description of TABLEAUX 2005,
TABLEAUX 2005
2005
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
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
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
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
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
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
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
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
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
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
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
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
Reasoning about logic-based agent interaction protocols
Proc. of Italian Conference on Computational Logic, CILC'04,
Italian Conference on Computational Logic, CILC'04
2004
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
A Conditional Logic for Iterated Belief Revision.
PROCEEDINGS OF ECAI 2000 - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE.,
ECAI 2000
2000
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
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
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
Reasoning About Typicality in Description Logics:the Logic ALC+T_{min}
Proceedings of RiCeRcA 2008,
RiCeRcA 2008
2008
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?
ECAI 2010,
19th European Conference on Artificial Intelligence - ECAI 2010
2010
A constructive conditional logic for access control: a preliminary report
ECAI 2010,
19th European Conference on Artificial Intelligence - ECAI 2010
2010