Thursday 02nd of September 2010
Latest Version
Sudoku Generator 0.10 stableRelease Date: 2010-04-16
Home
Artificial Inteligence Research Group
|
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.
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 Tuesday, 10 November 2009 09:52 |
|
|
Written by Administrator
|
|
Monday, 01 March 2010 12:32 |
|
Hola a tots...
S'ha obert una beca de col·laboració per al desenvolupament d'eines mitjançant targetes xip (carnet UdL i DNI-e). Adjunt us deixem els documents de la convocatòria.
Beca col·laboració CCP
|
|
Last Updated on Monday, 01 March 2010 12:46 |
|
|
Artificial Intelligence on La Manyana Newspaper |
|
|
|
|
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.