Publications

Results 1-10 of 13 (Search time: 0.253 seconds).

	Issue Date	Title	Author(s)
1	2005	Automated reasoning, knowledge representation and management	Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
2	21-Jul-2000	A parameterized procedure for model computations in disjunctive theories	Yahya, Adnan
3	Dec-2001	SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy	Loveland, Donald; Yahya, Adnan
4	Jul-2000	Positive unit hyperresolution tableaux and their application to minimal model generation	Bry, Francois; Yahya, Adnan
5	Nov-2007	Engineering accreditation: a developing nation perspective	Yahya, Adnan
6	2001	Updates in disjunctive deductive databases: a minimal model based approach	Yahya, Adnan
7	Mar-2003	A relevance restriction strategy for automated deduction	Plaisted, David A.; Yahya, Adnan
8	Jan-2002	Duality for goal-driven query processing in disjunctive deductive databases	Yahya, Adnan
9	May-2008	Shortest remaining response time scheduling for improved Web server performance	AlSa'deh, Ahmad; Yahya, Adnan
10	9-Aug-2003	Accessibility through a Hybrid Educational System: A Case Study	Yahya, Adnan