| Attuning ontology alignments to semantically heterogeneous multi-agent interactions P Chocron, M Schorlemmer Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 22 | 2016 |
| Vocabulary alignment in openly specified interactions PD Chocron, M Schorlemmer Journal of Artificial Intelligence Research 68, 69-107, 2020 | 21 | 2020 |
| A gentle non-disjoint combination of satisfiability procedures P Chocron, P Fontaine, C Ringeissen International Joint Conference on Automated Reasoning, 122-136, 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 International Conference on Automated Deduction, 419-433, 2015 | 9 | 2015 |
| Vocabulary Alignment for Collaborative Agents: a Study with Real-World Multilingual How-to Instructions. PD Chocron, P Pareti IJCAI 2018, 159-165, 2018 | 8 | 2018 |
| Inferring commitment semantics in multi-agent interactions P Chocron, M Schorlemmer International Foundation for Autonomous Agents and Multiagent Systems, 2018 | 8 | 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 |
