An SMT-based solver for continuous t-norm based logics.
Scalable Uncertainty Management (SUM 2012). 7520:633-640.
A product modal logic.
35th Linz Seminar on Fuzzy Set Theory. :127-130.
Validation du système expert PNEUMON-IA MILORD.
Journeés d'Informàtique Medicale de Tolouse. :358-367.
Verifying norm consistency in electronic institutions.
AOTP: The AAAI-04 Workshop on Agent Organizations: Theory and Practice July 25, 2004 San Jose McEnery Convention Center San Jose, California. :8-14.
Skeleton-based Agent Development for Electronic Institutions.
Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2002, july 15-19, Bologna, Italy. 2:696-703.
Sample identification in hip-hop music.
From Sounds to Music and Emotions. 7900:301-312.
Automatic identification of samples in hip hop music.
Int. Symp. on Computer Music Modeling and Retrieval (CMMR). :544-551.
Describing Preferences with a Negation-based Vocabulary.
Frontiers in Artificial Intelligence and Applications. 100:51-61.
On the use of aggregation operators for location privacy.
European Society on Fuzzy Logic and Technologies (EUSFLAT). :489-494.
Applications and Environments for Multi-agent Systems.
Autonomous Agents and Multi-agent Systems. 14:61–85.
Working Papers of the IJCAI-ECAI-2018 Workshop on Learning and Reasoning.
IJCAI-ECAI-2018 Workshop on Learning and Reasoning: Principles & Applications to Everyday Spatial and Temporal Knowledge.