1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2021
The Possibilistic Horn Non-Clausal Knowledge Bases
Gonzalo E. Imaz
Posibilistic logic is the most extended approach to handle uncertain and partially inconsistent information. Regarding normal forms, advances in possibilistic reasoning are mostly…
cs.LO2021
A First Polynomial Non-Clausal Class in Many-Valued Logic
Gonzalo E. Imaz
The relevance of polynomial formula classes to deductive efficiency motivated their search, and currently, a great number of such classes is known. Nonetheless, they have been excl…
cs.AI2021★ 1 cited
The Horn Non-Clausal Class and its Polynomiality
Gonzalo E. Imaz
The expressiveness of propositional non-clausal (NC) formulas is exponentially richer than that of clausal formulas. Yet, clausal efficiency outperforms non-clausal one. Indeed, a…