Adnan Yahya

Available identifiers

zbMath Open yahya.adnan-hWikidataQ102297468 ScholiaQ102297468MaRDI QIDQ814428

List of research outcomes

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

Research outcomes over time

This page was built for person: Adnan Yahya