Paula Chocron
Paula Chocron
Artificial Intelligence Research Institute, IIIA-CSIC
Verified email at iiia.csic.es - Homepage
Title
Cited by
Cited by
Year
Attuning ontology alignments to semantically heterogeneous multi-agent interactions
P Chocron, M Schorlemmer
Proceedings of the Twenty-second European Conference on Artificial …, 2016
172016
A gentle non-disjoint combination of satisfiability procedures
P Chocron, P Fontaine, C Ringeissen
International Joint Conference on Automated Reasoning, 122-136, 2014
172014
Vocabulary alignment in openly specified interactions
PD Chocron, M Schorlemmer
Journal of Artificial Intelligence Research 68, 69-107, 2020
142020
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
102015
Politeness and combination methods for theories with bridging functions
P Chocron, P Fontaine, C Ringeissen
Journal of Automated Reasoning 64 (1), 97-134, 2020
72020
Inferring commitment semantics in multi-agent interactions
P Chocron, M Schorlemmer
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
42018
A rewriting approach to the combination of data structures with bridging theories
P Chocron, P Fontaine, C Ringeissen
International Symposium on Frontiers of Combining Systems, 275-290, 2015
32015
A study of the Combination Problem: dealing with multiple theories in SMT solving
P Chocrón
Master’s thesis, Universidad de Buenos Aires, 2014
22014
Vocabulary Alignment for Collaborative Agents: a Study with Real-World Multilingual How-to Instructions.
P Chocron, P Pareti
IJCAI, 159-165, 2018
12018
Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
P Chocron, P Fontaine, C Ringeissen
IJCAR'14, 19, 2014
12014
Social Coordination Systems with Ontology and Protocol Heterogeneity.
P Chocron, M Schorlemmer
CCIA, 283-286, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–11