MACONWIN enables fast application's developments and evolutions under multivalued data base.
Reasoning Current work deals with: The links between (generalized) possibilistic logic, modal logics, multivalued logics and logic programming.
Antonyms