Searching for "Order-consistent programs are cautiously monotonic." – sorted by Relevance.
-
Order-Consistent Programs are Cautiously Monotonic
- monotonicity. Theorem 1 (Cautious Monotonicity Theorem) If P is an order-consistent program and atom a
- Cited by 2 (0 self) – Add To MetaCart

