Searching for "Negation as Failure to Support." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
- … feature other main approaches to non-monotonic reasoning lack. Negation by failure is supported in Alma-0…
- Add To MetaCart
-
Attempto controlled english meets the challenges of knowledge representation, reasoning, interoperability and user interfaces
- … users, we consider restricted forms of modality, negation as failure, and support for prioritised rules…
- Cited by 8 (3 self) – Add To MetaCart
-
Negation in Logic and Deductive Databases
- … as Failure to Support : : : : : : : : : : : : : : : : : 17 2.2.2 Negation as Inconsistency…
- Add To MetaCart
Showing 1 through 3.
