dblp.uni-trier.dewww.uni-trier.de

Adnan H. Yahya Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
18 Ahmad S. Al Sa'deh, Adnan H. Yahya: Implementation of a new Scheduling Policy in Web Servers. WEBIST (1) 2008: 22-29
17EEAhmad AlSa'deh, Adnan H. Yahya: Shortest Remaining Response Time Scheduling for Improved Web Server Performance. WEBIST (Selected Papers) 2008: 80-92
2005
16EEPeter Baumgartner, Ulrich Furbach, Adnan H. Yahya: Automated Reasoning, Knowledge Representation and Management. KI 19(1): 5- (2005)
2003
15EEDavid A. Plaisted, Adnan H. Yahya: A relevance restriction strategy for automated deduction. Artif. Intell. 144(1-2): 59-93 (2003)
14EEDonald 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
11EEAdnan 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
2EEAdnan 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)

Coauthor Index

1Abdallah D. Abdallah [3]
2Ahmad AlSa'deh [17]
3Peter Baumgartner [16]
4François Bry (François Bry-Haußer) [8] [10]
5José Alberto Fernández [4] [7]
6Ulrich Furbach [16]
7Lawrence J. Henschen [1]
8Donald W. Loveland [14]
9Jack Minker [4] [5] [7]
10David A. Plaisted [12] [15]
11Ahmad S. Al Sa'deh [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)