Any conclusion can be drawn from an inconsistent KB: a ... The logic described above is weak (disjunctive syllogism) Logic in the framework of bilattice(3) ...
Note a function is isotonic (antitonic) iff the value of the function ... Specific treatment for the explicit negation in Antitonic Logic Programs is not provided ...