팔로우
Adnan Yahya
제목
인용
인용
연도
Deduction in non-Horn databases
A Yahya, LJ Henschen
Journal of Automated Reasoning 1, 141-160, 1985
1971985
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
1301996
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
Duality for goal-driven query processing in disjunctive deductive databases
AH Yahya
Journal of Automated Reasoning 28, 1-34, 2002
142002
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
Enhancement tools for Arabic web search
AH Yahya, AY Salhi
2011 International Conference on Innovations in Information Technology, 71-76, 2011
122011
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
Authorship attribution of arabic articles
M Hajja, A Yahya, A Yahya
Arabic Language Processing: From Theory to Practice: 7th International …, 2019
82019
SATCHMOREBID: SATCHMO (RE) with BIDirectional relevancy
DW Loveland, AH Yahya
New Generation Computing 21, 177-207, 2003
82003
Authorship attribution of modern standard Arabic short texts
Y Abuhammad, Y Addabe', N Ayyad, A Yahya
The 7th Annual International Conference on Arab Women in Computing in …, 2021
72021
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
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20