Search:
Results 1-4 of 4 (Search time: 0.113 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) | |
---|---|---|---|
1 | 21-Jul-2000 | A parameterized procedure for model computations in disjunctive theories | Yahya, Adnan |
2 | Jul-2000 | Positive unit hyperresolution tableaux and their application to minimal model generation | Bry, Francois; Yahya, Adnan |
3 | 2000 | Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation | Yahya, Adnan; Bry, Francois |
4 | 2000 | Minimal Model Generation for Refined Answering of Generalized Queries in Disjunctive Deductive Databases. | Yahya, Adnan |