logo

Monday 20th of November 2017

Latest Version

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

Home Research Topics

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

     
Results 1 - 5 of 5

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