research
∙
11/15/2021
The Possibilistic Horn Non-Clausal Knowledge Bases
Posibilistic logic is the most extended approach to handle uncertain and...
research
∙
10/21/2021
A First Polynomial Non-Clausal Class in Many-Valued Logic
The relevance of polynomial formula classes to deductive efficiency moti...
research
∙
08/31/2021