Segui
Adnan Yahya
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20