Silvia Likavec
Silvia Likavec
Post doc at Universita di Torino, Italy
Verified email at
Cited by
Cited by
Real world user model: Evolution of user modeling triggered by advances in wearable and ubiquitous computing: State of the art and future directions
F Cena, S Likavec, A Rapp
Information systems frontiers 21, 1085-1110, 2019
Behavioural inverse limit λ-models
M Dezani-Ciancaglini, S Ghilezan, S Likavec
Theoretical Computer Science 316 (1-3), 49-74, 2004
Interacting with social networks of intelligent things and people in the world of gastronomy
L Console, F Antonelli, G Biamino, F Carmagnola, F Cena, E Chiabrando, ...
ACM Transactions on Interactive Intelligent Systems (TiiS) 3 (1), 1-38, 2013
Propagating user interests in ontology-based user model
F Cena, S Likavec, F Osborne
AI* IA 2011: Artificial Intelligence Around Man and Beyond: XIIth …, 2011
Strong normalization of the dual classical sequent calculus
D Dougherty, S Ghilezan, P Lescanne, S Likavec
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
Property-based semantic similarity and relatedness for improving recommendation accuracy and diversity
S Likavec, F Osborne, F Cena
International Journal on Semantic Web and Information Systems (IJSWIS) 11 (4 …, 2015
Intersection types for the resource control lambda calculi
S Ghilezan, J Ivetić, P Lescanne, S Likavec
International Colloquium on Theoretical Aspects of Computing, 116-134, 2011
Characterising strongly normalising intuitionistic terms
JE Santo, J Ivetić, S Likavec
Fundamenta informaticae 121 (1-4), 83-120, 2012
Should i stay or should i go? Improving event recommendation in the social web
F Cena, S Likavec, I Lombardi, C Picardi
Interacting with Computers 28 (1), 55-72, 2016
Sigmoid similarity-a new feature-based similarity measure
S Likavec, I Lombardi, F Cena
Information Sciences 481, 203-218, 2019
Anisotropic propagation of user interests in ontology-based user models
F Cena, S Likavec, F Osborne
Information Sciences 250, 40-60, 2013
A core calculus of mixin-based incomplete objects
L Bettini, V Bono, S Likavec
Procs. of FOOL Workshop, 29-41, 2004
A core calculus of higher-order mixins and classes
L Bettini, V Bono, S Likavec
Proceedings of the 2004 ACM symposium on Applied computing, 1508-1509, 2004
Property-based interest propagation in ontology-based user model
F Cena, S Likavec, F Osborne
User Modeling, Adaptation, and Personalization: 20th International …, 2012
Reducibility: A ubiquitous method in lambda calculus with intersection types
S Ghilezan, S Likavec
Electronic Notes in Theoretical Computer Science 70 (1), 106-123, 2003
Envisioning the future of personalization through personal informatics: A user study
F Cena, A Rapp, S Likavec, A Marcengo
International Journal of Mobile Human Computer Interaction (IJMHCI) 10 (1 …, 2018
Semantic similarity in heterogeneous ontologies
E Chiabrando, S Likavec, I Lombardi, C Picardi, D Theseider Dupré
Proceedings of the 22nd ACM conference on Hypertext and hypermedia, 153-160, 2011
Safe and flexible objects with subtyping
L Bettini, V Bono, S Likavec
Journal of Object Technology 4, 5-29, 2005
Threading facts into a collective narrative world
S Likavec, I Lombardi, A Nantiat, C Picardi, D Theseider Dupré
Interactive Storytelling: Third Joint Conference on Interactive Digital …, 2010
Computational Interrpretations of Logics
S Ghilezan, S Likavec
Zbornik Radova, 159-215, 2009
The system can't perform the operation now. Try again later.
Articles 1–20