Home

H.__Herre



Partial logics with two kinds of negation as a foundation of knowledge-based reasoning