Monday 24th of September 2018

Login Form

Latest Version

Feed Icon Sudoku Generator 0.10 stable
Release Date: 2010-04-16

Artificial Inteligence Research Group
Presentation PDF Print E-mail
Written by Carles Mateu   
Thursday, 22 October 2009 08:47

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.


You can find the members on the following photo. Locating some of the members may be somehow hard, but AI is full of hard problems...


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).

Last Updated on Friday, 25 February 2011 11:06
Artificial Intelligence on La Manyana Newspaper PDF Print E-mail
Written by Administrator   
Saturday, 19 December 2009 12:01

Recently appeared an interview to three of our main investigators on local press. You can read this article on-line following this link (spanish):

Last Updated on Saturday, 19 December 2009 12:08

Joomla Template Download From Joomlatp.com Designed by: Free Joomla 1.5 Theme, ftp account. Valid XHTML and CSS.