Reasoning and Logic

Study and development of technologies for the efficient resolution of reasoning problems with incomplete information

Mathematical Tools for Managing Uncertain and Vague Information

TASSAT: Teoría, Aplicaciones y Sinergia en SAT, CSP Y FDL

Efficient automated reasoning systems with incomplete and imprecise information based on SAT and CSP

Weigted Soft Constraints: Centralized and Distributed Cases

Logics for combining models of reasoning under imperfect information

Many-valued Logic: Foundations and Applications to Satisfiability, Argumentation and Ontologies

e-AEGIS: Electronic AEGIS for conciliating consumer privacy and

Team for Advanced Research on Information Security and Privacy

Constraint reasoning and its application to planning

Identification of biomarkers with diagnostic and therapeutic value for the neoplastic disease

Constraint reasoning and its application to planning

Protección de la propiedad intelectual y privacidad en multicast sobre redes adhoc: profiling y evaluacion de privacidad

Lógica Multivaluada: fundamentos y aplicaciones al tratamiento de la vaguedad y la imprecisión

Constraint-based reasoning and combinatorial optimization: Application to planning and uncertainty management

Classic and Multivalued Logic: foundations and computational applications

Exploiting non-standard CSP for Leveraging Application Intelligence

Mobile Robot prototypes for manufacturing and services environments