0 a difference or lack of connection between two things:
Disjunctive logic programs are characterised by permitting disjunctions in rule heads.
Work has also been carried out in encoding into solutions disjunctions between attributes and negations of attribute values.
There is no radical disjunction, no mutually exclusive ' either-or', between them.
They realize view updates in normal logic programs and do not handle disjunctions nor explicit negation in a program.
The semiotic square is intended to map the logical conjunctions and disjunctions of concrete or abstract notions.
Firstly, it is interesting to consider how far wives experienced any disjunction in their financial transactions over their life-course.
Disjunction of rules or programs (as epistemic states) appears to be meaningful only at the semantical level.
This framework allows the user to choose notions of conjunctions and disjunctions based on a family of strategies.
