Publications

Results 1-8 of 8 (Search time: 0.194 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	May-2013	Intermediate report on research setup	Abu Helou, Mamoun; Jarrar, Mustafa; Palmonari, Matteo; Salhi, Ali; Hicks, Amanda; Bortoli, Stefano; Roche, Christophe; Fellbaum, Christiane; Bouquet, Paolo; Yahya, Adnan
4	Sep-2014	Arabization and multilingual knowledge sharing	Jarrar, Mustafa; Yahya, Adnan; Salhi, Ali; Abu Helou, Mamoun; Hicks, Amanda; Fellbaum, Christiane; Stefano, Bortoli; Bouquet, Paolo; Costa, Rute; Christophe, Roche; Palmonari, Matteo
5	4-Mar-2001	Incorporating bidirectional relevancy into model generation theorem provers	Yahya, Adnan
6	1-Jul-2018	Information extraction from Arabic law documents	Abu Shamma, Samah; Ayasa, Aseel; Sleem, Wala; Yahya, Adnan
7	1-Mar-2002	Ordered semantic hypertableaux	Yahya, Adnan; Plaisted, David A.
8	27-Oct-2021	Human computation based platform for citizen services in smart cities	Yahya, Adnan ; Yahya, Yazan ; Misk, Nebras ; Hijja, Hamzah