| 2008 |
|---|
| 17 | | Ahmad S. Al Sa'deh,
Adnan H. Yahya:
Implementation of a new Scheduling Policy in Web Servers.
WEBIST (1) 2008: 22-29 |
| 2005 |
|---|
| 16 | EE | Peter Baumgartner,
Ulrich Furbach,
Adnan H. Yahya:
Automated Reasoning, Knowledge Representation and Management.
KI 19(1): 5- (2005) |
| 2003 |
|---|
| 15 | EE | David A. Plaisted,
Adnan H. Yahya:
A relevance restriction strategy for automated deduction.
Artif. Intell. 144(1-2): 59-93 (2003) |
| 14 | EE | Donald W. Loveland,
Adnan H. Yahya:
Satchmorebid: Satchmo(Re) with BIDirectional Relevancy.
New Generation Comput. 21(3): (2003) |
| 2002 |
|---|
| 13 | | Adnan H. Yahya:
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases.
J. Autom. Reasoning 28(1): 1-34 (2002) |
| 12 | | Adnan H. Yahya,
David A. Plaisted:
Ordered Semantic Hyper Tableaux.
J. Autom. Reasoning 29(1): 17-57 (2002) |
| 2000 |
|---|
| 11 | EE | Adnan H. Yahya:
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases.
Data Knowl. Eng. 34(3): 219-249 (2000) |
| 10 | | François Bry,
Adnan H. Yahya:
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation.
J. Autom. Reasoning 25(1): 35-82 (2000) |
| 1997 |
|---|
| 9 | | Adnan H. Yahya:
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects.
LPNMR 1997: 325-341 |
| 1996 |
|---|
| 8 | | François Bry,
Adnan H. Yahya:
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux.
TABLEAUX 1996: 143-159 |
| 1995 |
|---|
| 7 | | José Alberto Fernández,
Jack Minker,
Adnan H. Yahya:
Computing Perfect and Stable Model Using Ordered Model Trees.
Computational Intelligence 11: 89-112 (1995) |
| 1994 |
|---|
| 6 | | Adnan H. Yahya:
Towards a Viable Computer Industry in Developing Nations: The West Bank Case.
IFIP Congress (3) 1994: 65-70 |
| 5 | | Adnan H. Yahya,
Jack Minker:
Query Evaluation in Partitoned Disjunctive Deductive Databases.
Int. J. Cooperative Inf. Syst. 3(4): 385-414 (1994) |
| 4 | | Adnan H. Yahya,
José Alberto Fernández,
Jack Minker:
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases.
J. Autom. Reasoning 13(1): 117-143 (1994) |
| 1992 |
|---|
| 3 | | Abdallah D. Abdallah,
Adnan H. Yahya:
University Computer Services: A Third World Experience.
IFIP Congress (2) 1992: 123-129 |
| 2 | EE | Adnan H. Yahya:
Local considerations in computer science curricula development.
SIGCSE 1992: 123-128 |
| 1985 |
|---|
| 1 | | Adnan H. Yahya,
Lawrence J. Henschen:
Deduction in Non-Horn Databases.
J. Autom. Reasoning 1(2): 141-160 (1985) |
