Tuesday 21st of August 2018

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.