Searching for "Signed Logic Programs." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Disjunctive Signed Logic Programs
- …Disjunctive Signed Logic Programs Mohamed A. Khamsi 1 and Driss Misane 2 1 Department…
- Cited by 3 (0 self) – Add To MetaCart
-
11 Connectionist Representation of Multi-Valued Logic Programs
- …, annotated (or signed) logic programs require each atom in a given clause to be annotated (or signed) by a…
- Add To MetaCart
-
Model Generation Theorem Proving with
- … of model generation and logic programming, such as CMGTP [14], general logic programs, or signed logic…
- Add To MetaCart
-
Model Generation Theorem Proving with Finite Interval Constraints
- … extensions of model generation and logic programming, such as CMGTP [20], general logic programs, or signed…
- Add To MetaCart
Showing 1 through 4.
