DEEN
Magazin Humboldt Kosmos Newsroom Newsletter

Suche

Preise und Stipendien Recherche im Humboldt-Netzwerk

Suche nach Tags

Prof. Dr. Adnan H. Yahya

Profil

Derzeitige StellungProfessor W-3 und Äquivalente
FachgebietTheoretische Informatik,Rechnerarchitektur, eingebettete und massiv parallele Systeme
KeywordsArtificial Intelligence, Automated reasoning, Computing Ethics, Intelligent Databases, Societal Implications of Computing

Aktuelle Kontaktadresse

LandPalästinensische Gebiete
OrtBirzeit
Universität/InstitutionBirzeit University
Institut/AbteilungElectrical Engineering Department

Gastgeber*innen während der Förderung

Prof. Dr. Jörg SiekmannDeutsches Forschungszentrum für Künstliche Intelligenz (DFKI), Saarbrücken
Prof. Dr. Francois BryInstitut für Informatik, Ludwig-Maximilians-Universität München (LMU), München
Beginn der ersten Förderung01.09.1995

Publikationen (Auswahl)

2003Adnan H. Yahya David A. Plaisted: A relevance restriction strategy for automated deduction. In: Artificial Intelligence, 2003, 59-93
2003Adnan H. Yahya Donald Loveland Satchmorbid: Satchmo(RE) with Bidirectional Relevancy. In: Journal of New Generation Computing, 2003, 175-206
2002Adnan H. Yahya David A. Plaisted: . In: Ordered Semantic Hyper Tableaux, 2002, 17-57
2002Adnan H. Yahya: Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases. In: Journal of Automated Reasoning , 2002, 1-34
2000Adnan H. Yahya: Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. In: Data and Knowledge Engineering, 2000, 219-249
2000Adnan H. Yahya François Bry: Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. In: Journal of Automated Reasoning, 2000, 35-82
1997Adnan 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
1996Adnan 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