Adnan Yahya

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Minimal model generation with positive unit hyper-resolution tableaux Theorem Proving with Analytic Tableaux and Related Methods	2019-01-10	Paper
A relevance restriction strategy for automated deduction Artificial Intelligence	2006-02-07	Paper
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy New Generation Computing	2004-09-07	Paper
Ordered semantic hyper tableaux Journal of Automated Reasoning	2003-04-28	Paper
Duality for goal-driven query processing in disjunctive deductive databases Journal of Automated Reasoning	2002-10-15	Paper
Positive unit hyperresolution tableaux and their application to minimal model generation Journal of Automated Reasoning	2001-02-06	Paper
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases Data & Knowledge Engineering	2000-08-21	Paper
Ordered model trees: A normal form for disjunctive deductive databases Journal of Automated Reasoning	1995-02-22	Paper
Errata to, ``Deduction in non-Horn databases'' Journal of Automated Reasoning	1988-01-01	Paper
Deduction in non-Horn databases Journal of Automated Reasoning	1985-01-01	Paper

Research outcomes over time

This page was built for person: Adnan Yahya