Mariela Mariela Morveli Espinoza Morveli Espinoza

Department:

Multiagent Systems Multiagent Systems

Position:

       

       

      Research areas:

          Impact areas:

              SDGs:

                  Website:

                  e-mail:

                  mmorvelie@iiia.csic.es mmorvelie@iiia.csic.es

                  Extension:

                  2017
                  Mariela Morveli EspinozaAyslan T. PossebomJosep Puyol-GruartCesar A. Tacla; Dealing with incompatibilities among goals (Extended Abstract). 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017); 2017.  [BibTeX]
                  2012
                  Carlos AnsóteguiMaría Luisa BonetJordi LevyChu Min Li; Analysis and Generation of Pseudo-Industrial MaxSAT Instances. 2012.  [PDF]  [BibTeX]
                  Zhu ZhuChu Min LiFelip ManyàJ. Argerlich; A New Encoding from MinSAT into MaxSAT. 2012.  [BibTeX]
                  Chu Min LiZhu ZhuFelip ManyàLaurent Simon; Optimizing with minimum satisfiability. Artificial intelligence; 2012.  [BibTeX]
                  2011
                  J. ArgerlichChu Min LiFelip ManyàJordi Planes; Analyzing the Instances of the MaxSAT Evaluation. 2011.  [BibTeX]
                  J. ArgerlichChu Min LiFelip ManyàJordi Planes; Experimenting with the Instances of the MaxSAT Evaluation. 2011.  [BibTeX]
                  Chu Min LiZhu ZhuFelip ManyàLaurent Simon; Minimum Satisfiability and Its Applications. 2011.  [BibTeX]
                  2010
                  Chu Min LiFelip ManyàZhe QuanZhu Zhu; Exact MinSAT Solving. 2010.  [BibTeX]
                  Josep Puyol-GruartMariela Morveli Espinoza; Progressive Reasoning for Complex Dialogues among Agents. 2010.  [BibTeX]
                  Chu Min LiFelip ManyàNouredine Ould MohamedouJordi Planes; Resolution-Based Lower Bounds in MaxSAT. Constraints; 2010.  [BibTeX]
                  2009
                  Mariela Morveli EspinozaJosep Puyol-Gruart; Anytime reasoning mechanism for conversational agents. 2009.  [PDF]  [BibTeX]
                  Chu Min LiFelip ManyàNouredine Ould MohamedouJordi Planes; Exploiting Cycle Structures in Max-SAT. 2009.  [BibTeX]
                  Mariela Morveli EspinozaJosep Puyol-Gruart; Managing quality in agent dialogues. 2009.  [PDF]  [BibTeX]
                  Chu Min LiFelip Manyà; MaxSAT, Hard and Soft Constraints. 2009.  [BibTeX]
                  2008
                  David RobertsonAdam BarkerPaolo BesanaAlan BundyYun-Heh Chen-BurgerDavid DupplawFausto GiunchigliaFrank van HarmelenFadzil HassanSpyros KotoulasDavid LambertGuo LiJarred McGinnisFiona McNeillNardine OsmanAdrián Perreau de Pin; Models of Interaction as a Grounding for Peer-to-Peer Knowledge Sharing. LNCS Advances in Web Semantics; 2008.  [PDF]  [BibTeX]
                  Mariela Morveli EspinozaJosep Puyol-Gruart; On Partial Deduction and Conversational Agents. 2008.  [PDF]  [BibTeX]
                  Mariela Morveli EspinozaJosep Puyol-Gruart; On Partial Deduction and Conversational Agents. 2008.  [PDF]  [BibTeX]
                  J. ArgerlichChu Min LiFelip ManyàJordi Planes; The First and Second Max-SAT Evaluations. Journal on Satisfiability, Boolean Modeling and Computation; 2008.  [BibTeX]
                  Chu Min LiFelip ManyàNouredine O. MohamedouJordi Planes; Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 2008.  [BibTeX]
                  2007
                  Carlos AnsóteguiJosé LarrubiaChu Min LiFelip Manyà; Exploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers. Annals of Mathematics and Artificial Intelligence; 2007.  [BibTeX]
                  IP