Validation of the medical Expert Sytem RENOIR.
Moving Towards expert systems globally in the 21st century. :510-518.
A Variant of Higher-Order Anti-Unification.
Proc. of the 24st Int. Conf. on Rewriting Techniques and Applications, RTA'13.
Vocabulary Alignment for Agents with Flexible Protocols.
Proceedings of the Joint Ontology Workshops 2017 (JOWO 2017). Bozen-Bolzano, Italy, September 21–23, 2017. 2050
Vocabulary Alignment in Openly Specified Interactions.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. :1064–1072.
Weaving a Fabric of Socially Aware Agents.
The 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011). :263-274.
Well-Nested Context Unification.
Lecture Notes in Artificial Intelligence. 3632:149-163.