Adnan Yahya
Titel
Geciteerd door
Geciteerd door
Jaar
Deduction in non-Horn databases
A Yahya, LJ Henschen
Journal of Automated Reasoning 1 (2), 141-160, 1985
1781985
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
1221996
Positive unit hyperresolution tableaux and their application to minimal model generation
F Bry, A Yahya
Journal of Automated Reasoning 25 (1), 35-82, 2000
872000
Ordered model trees: A normal form for disjunctive deductive databases
A Yahya, JA Fernández, J Minker
Journal of Automated Reasoning 13 (1), 117-143, 1994
331994
A relevance restriction strategy for automated deduction
DA Plaisted, A Yahya
Artificial Intelligence 144 (1-2), 59-93, 2003
322003
On the problems of information technology management in developing nations
AH Yahya
Proceedings of the 1993 conference on Computer personnel research, 349-355, 1993
301993
On the complexity of the initial stages of Arabic text processing
A Yahya
201989
Computing perfect and stable models using ordered model trees
JA Fernández1, J Minker, A Yahya
Computational Intelligence 11 (1), 89-112, 1995
161995
Duality for goal-driven query processing in disjunctive deductive databases
AH Yahya
Journal of Automated Reasoning 28 (1), 1-34, 2002
132002
Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects
AH Yahya
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
131997
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
AH Yahya
Data & Knowledge Engineering 34 (3), 219-249, 2000
102000
SATCHMOREBID: SATCHMO (RE) with BIDirectional relevancy
DW Loveland, AH Yahya
New Generation Computing 21 (3), 177-207, 2003
92003
Arabic text categorization based on Arabic Wikipedia
A Yahya, A Salhi
ACM Transactions on Asian Language Information Processing (TALIP) 13 (1), 1-20, 2014
82014
Enhancement tools for Arabic web search
AH Yahya, AY Salhi
2011 International Conference on Innovations in Information Technology, 71-76, 2011
82011
Model generation in disjunctive normal databases
A Yahya
ResearchGate, 1996
81996
Query evaluation in partitioned disjunctive deductive databases
A Yahya, J Minker
International Journal of Intelligent and Cooperative Information Systems 3 …, 1994
81994
Ordered semantic hyper tableaux
A Yahya, DA Plaisted
Journal of Automated Reasoning 29 (1), 17-57, 2002
72002
Representations for disjunctive deductive database [s]
A Yahya, J Minker
71993
A goal-driven approach to efficient query processing in disjunctive databases
A Yahya
INSTITUT FÜR INFORMATIK, LUDWIG MAXIMILIANS UNIVERSITÄT, 1996
61996
The inteaction between high school curriculum and first year college courses: the case of computing
AH Yahya
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
52010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20