Image-finite first-order structures.
ManyVal 2013, Abstracts Volume. :52-53.
On strong standard completeness of MTL*(Q) expansions.
Topology, Algebra and Categories in Logic (TACL 2015).
Validation du système expert PNEUMON-IA MILORD.
Journeés d'Informàtique Medicale de Tolouse. :358-367.
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.
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.
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.
On the use of aggregation operators for location privacy.
European Society on Fuzzy Logic and Technologies (EUSFLAT). :489-494.
Describing Preferences with a Negation-based Vocabulary.
Frontiers in Artificial Intelligence and Applications. 100:51-61.
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.