Publications (partial selection)
2003 | Adnan H. Yahya
David A. Plaisted: A relevance restriction strategy for automated deduction. In: Artificial Intelligence, 2003, 59-93 |
---|
2003 | Adnan H. Yahya
Donald Loveland Satchmorbid: Satchmo(RE) with Bidirectional Relevancy. In: Journal of New Generation Computing, 2003, 175-206 |
---|
2002 | Adnan H. Yahya
David A. Plaisted: . In: Ordered Semantic Hyper Tableaux, 2002, 17-57 |
---|
2002 | Adnan H. Yahya: Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. In: Journal of Automated Reasoning , 2002, 1-34 |
---|
2000 | Adnan H. Yahya: Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. In: Data and Knowledge Engineering, 2000, 219-249 |
---|
2000 | Adnan H. Yahya
François Bry: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. In: Journal of Automated Reasoning, 2000, 35-82 |
---|
1997 | Adnan H. Yahya: Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. In: Juergen Dix,
Ulrich Furbach,
Anil Nerode, Proceedings of LPNMR97. Springer Verlag, 1997. 325-341 |
---|
1996 | Adnan H. Yahya
Francois Bry: Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. In: Pierangelo Miglioli,
Ugo Moscato,
Daniele Mundici,
Mario Ornaghi, Proceedings of TABLEAUX 1996. Springer Verlag, 1996. 143-159 |
---|