Следене
Adnan Yahya
Заглавие
Позовавания
Позовавания
Година
Deduction in non-Horn databases
A Yahya, LJ Henschen
Journal of Automated Reasoning 1 (2), 141-160, 1985
1801985
Minimal model generation with positive unit hyper-resolution tableaux
F Bry, A Yahya
International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996
1271996
Positive unit hyperresolution tableaux and their application to minimal model generation
F Bry, A Yahya
Journal of Automated Reasoning 25 (1), 35-82, 2000
882000
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
311993
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
Computing perfect and stable models using ordered model trees
JA Fernández1, J Minker, A Yahya
Computational Intelligence 11 (1), 89-112, 1995
151995
Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects
AH Yahya
International Conference on Logic Programming and Nonmonotonic Reasoning …, 1997
131997
Arabic text categorization based on Arabic Wikipedia
A Yahya, A Salhi
ACM Transactions on Asian Language Information Processing (TALIP) 13 (1), 1-20, 2014
122014
Duality for goal-driven query processing in disjunctive deductive databases
AH Yahya
Journal of Automated Reasoning 28 (1), 1-34, 2002
122002
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
Query evaluation in partitioned disjunctive deductive databases
A Yahya, J Minker
International Journal of Intelligent and Cooperative Information Systems 3 …, 1994
91994
Model generation in disjunctive normal databases
A Yahya
ResearchGate, 1996
81996
Ordered semantic hyper tableaux
A Yahya, DA Plaisted
Journal of Automated Reasoning 29 (1), 17-57, 2002
72002
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
Representations for disjunctive deductive database [s]
A Yahya, J Minker
61993
Enhancement tools for Arabic web search
AH Yahya, AY Salhi
2011 International Conference on Innovations in Information Technology, 71-76, 2011
52011
A goal-driven approach to efficient query processing in disjunctive databases
A Yahya
INSTITUT FÜR INFORMATIK, LUDWIG MAXIMILIANS UNIVERSITÄT, 1996
51996
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20