The Artificial Intelligence Research Group of the University of Lleida is formed by members of the Department of Computer Science. The current research of the group focus on the following areas:

• Argumentation: logical formalizations, technological applications, and integration with fuzzy logic programming languages.
• Constraint Programming: modelling, practical complexity, distributed CSP, weighted CSP, and connections with satisfiability.
• Fuzzy logic programming: integration of logic propramming languages and fuzzy logics and formalisms for treatment of uncertainty, such as possibilistic logic.
• Many-valued logics: logical calculi for signed CNF formula, complexity, automated theorem proving.
• Satisfiability: design, analysis, implementation and evaluation of algorithms for solving SAT, Max-SAT and QBF for both Boolean and Many-Valued CNF formulas, efficient encodings, logical calculi, tractable problems, phase transitions, local search, learning.

Our research is often performed with colleagues from other institutions. In particular, we work closely with people from
IIIA-CSIC (Spain), Cornell University (USA), Universidad Nacional del Sur (Argentina), Universite de Picardie (France), Universitat Politecnica de Catalunya (Spain), INESC-ID Lisboa (Portugal), and University of Southampton (UK).