| Vocabulary alignment in openly specified interactions PD Chocron, M Schorlemmer Journal of Artificial Intelligence Research 68, 69-107, 2020 | 21 | 2020 |
| Attuning ontology alignments to semantically heterogeneous multi-agent interactions P Chocron, M Schorlemmer Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 21 | 2016 |
| A gentle non-disjoint combination of satisfiability procedures P Chocron, P Fontaine, C Ringeissen Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014 | 21 | 2014 |
| Politeness and combination methods for theories with bridging functions P Chocron, P Fontaine, C Ringeissen Journal of Automated Reasoning 64 (1), 97-134, 2020 | 16 | 2020 |
| A polite non-disjoint combination method: Theories with bridging functions revisited P Chocron, P Fontaine, C Ringeissen Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 10 | 2015 |
| Vocabulary Alignment for Collaborative Agents: a Study with Real-World Multilingual How-to Instructions. PD Chocron, P Pareti IJCAI, 159-165, 2018 | 9 | 2018 |
| Inferring commitment semantics in multi-agent interactions P Chocron, M Schorlemmer Proceedings of the 17th International Conference on Autonomous Agents and …, 2018 | 7 | 2018 |
| A rewriting approach to the combination of data structures with bridging theories P Chocron, P Fontaine, C Ringeissen Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 …, 2015 | 3 | 2015 |
| A study of the Combination Problem: dealing with multiple theories in SMT solving P Chocrón Master’s thesis, Universidad de Buenos Aires, 2014 | 2 | 2014 |
| Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions P Chocron, P Fontaine, C Ringeissen IJCAR'14, 19, 2014 | 1 | 2014 |
| Social Coordination Systems with Ontology and Protocol Heterogeneity. PD Chocron, M Schorlemmer CCIA, 283-286, 2015 | | 2015 |
