A new Approach for Solving Satisfiability Problems with Qualitative Preferences

Enrico Giunchiglia , Marco Maratea , Emanuele Di Rosa
european conference on artificial intelligence 510 -514

16
2008
Automatic generation of high quality test sets via CBMC

Enrico Giunchiglia , Massimo Narizzano , Alessandra Puddu , Emanuele Di Rosa
VERIFY@IJCAR 65 -78

1
2010
Irony Detection in Tweets: X2Check at Ironita 2018 (Short Paper).

Emanuele Di Rosa , Alberto Durante
EVALITA@CLiC-it

2018
Combining approaches for solving satisfiability problems with qualitative preferences

Emanuele Di Rosa , Enrico Giunchiglia
Ai Communications 26 ( 4) 395 -408

15
2013
App2Check Extension for Sentiment Analysis of Amazon Products Reviews

Emanuele Di Rosa , Alberto Durante
Semantic Web Evaluation Challenge 95 -107

1
2016
Semantic Sentiment Analysis Challenge at ESWC2017

Diego Reforgiato Recupero , Erik Cambria , Emanuele Di Rosa
Semantic Web Evaluation Challenge 769 109 -123

9
2017
Evaluating Industrial and Research Sentiment Analysis Engines on Multiple Sources

Emanuele Di Rosa , Alberto Durante
Conference of the Italian Association for Artificial Intelligence 141 -155

2
2017
Solving satisfiability problems with preferences

Emanuele Di Rosa , Enrico Giunchiglia , Marco Maratea
Constraints - An International Journal 15 ( 4) 485 -515

44
2010
“Excavate and learn”: Enhancing visitor experience with touch and NFC

Emanuele Di Rosa , Fabrizio Benente
digital heritage international congress 2 689 -692

3
2013
Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences

Emanuele Di Rosa , Enrico Giunchiglia , Barry O'Sullivan
Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 901 -906

2
2011
Computing All Optimal Solutions in Satisfiability Problems with Preferences

Emanuele Di Rosa , Enrico Giunchiglia , Marco Maratea
principles and practice of constraint programming 603 -607

3
2008
SAT&PREF system description

Emanuele Di Rosa , Enrico Giunchiglia
available here: http://www. star. dist. unige. it/emanuele/Data/10DiRosa Giunchiglia. pdf

2
Satisfiability and Preferences: Solving Optimization Problems with DLL

Emanuele Di Rosa , Enrico Giunchiglia , Marco Maratea

Solving Satisfiability Problems with Qualitative Preferences: a New Approach

Emanuele Di Rosa , Enrico Giunchiglia , Marco Maratea

Combining approaches for solving Satisfiability problems with Preferences and their Evaluation

Emanuele Di Rosa , Enrico Giunchiglia , Barry O’Sullivan
available here: http://www. star. dist. unige. it/emanuele/Data/10DiRosa Giunchiglia OSullivan. pdf

2
Tweet2Check evaluation at Evalita Sentipolc 2016

Emanuele Di Rosa , Alberto Durante
EVALITA. Evaluation of NLP and Speech Tools for Italian 189 -189

4
2016
App2Check@ ATE ABSITA 2020: Aspect Term Extraction and Aspect-based Sentiment Analysis

Emanuele Di Rosa , Alberto Durante
Proceedings of the 7th evaluation campaign of Natural Language Processing and Speech tools for Italian (EVALITA 2020), Online. CEUR. org

3
2020