Follow
Adnan Yahya
Title
Cited by
Cited by
Year
Deduction in non-Horn databases
A Yahya, LJ Henschen
Journal of Automated Reasoning 1, 141-160, 1985
1921985
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
1291996
Positive unit hyperresolution tableaux and their application to minimal model generation
F Bry, A Yahya
Journal of Automated Reasoning 25, 35-82, 2000
912000
A relevance restriction strategy for automated deduction
DA Plaisted, A Yahya
Artificial Intelligence 144 (1-2), 59-93, 2003
322003
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
301994
On the complexity of the initial stages of Arabic text processing
A Yahya
301989
On the problems of information technology management in developing nations
AH Yahya
Proceedings of the 1993 conference on Computer personnel research, 349-355, 1993
291993
Computing perfect and stable models using ordered model trees
JA Fernández1, J Minker, A Yahya
Computational Intelligence 11 (1), 89-112, 1995
151995
Arabic text categorization based on Arabic Wikipedia
A Yahya, A Salhi
ACM Transactions on Asian Language Information Processing (TALIP) 13 (1), 1-20, 2014
132014
Duality for goal-driven query processing in disjunctive deductive databases
AH Yahya
Journal of Automated Reasoning 28, 1-34, 2002
132002
Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects
AH Yahya
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997
111997
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
AH Yahya
Data & Knowledge Engineering 34 (3), 219-249, 2000
102000
Query evaluation in partitioned disjunctive deductive databases
A Yahya, J Minker
International Journal of Intelligent and Cooperative Information Systems 3 …, 1994
91994
Enhancement tools for Arabic web search
AH Yahya, AY Salhi
2011 International Conference on Innovations in Information Technology, 71-76, 2011
82011
SATCHMOREBID: SATCHMO (RE) with BIDirectional relevancy
DW Loveland, AH Yahya
New Generation Computing 21, 177-207, 2003
82003
Ordered semantic hyper tableaux
A Yahya, DA Plaisted
Journal of Automated Reasoning 29, 17-57, 2002
72002
Model generation in disjunctive normal databases
A Yahya
ResearchGate, 1996
71996
Authorship attribution of arabic articles
M Hajja, A Yahya, A Yahya
Arabic Language Processing: From Theory to Practice: 7th International …, 2019
62019
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
62010
A goal-driven approach to efficient query processing in disjunctive databases
A Yahya
INSTITUT FÜR INFORMATIK, LUDWIG MAXIMILIANS UNIVERSITÄT, 1996
61996
The system can't perform the operation now. Try again later.
Articles 1–20