AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Adnan Yahya

Adnan Yahya

Birzeit University - Birzeit / Palestine
Engineering & Technology / Computer Science
AD Scientific Index ID: 293857
جامعة بيرزيت
person_outline Adnan Yahya's MOST POPULAR ARTICLES
1-) Deduction in non-Horn databases Journal of Automated Reasoning 1 (2), 141-160, 1985
2-) Minimal model generation with positive unit hyper-resolution tableaux International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
3-) Positive unit hyperresolution tableaux and their application to minimal model generation Journal of Automated Reasoning 25 (1), 35-82, 2000
4-) A relevance restriction strategy for automated deduction Artificial Intelligence 144 (1-2), 59-93, 2003
5-) Ordered model trees: A normal form for disjunctive deductive databases Journal of Automated Reasoning 13 (1), 117-143, 1994