Search:
Results 1-9 of 9 (Search time: 0.218 seconds).
- previous
- 1
- next
Item hits:
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 | 12-Oct-1997 | Updates in disjunctive deductive databases : a minimal model based approach | Yahya, Adnan |
6 | 4-Mar-2001 | Incorporating bidirectional relevancy into model generation theorem provers | Yahya, Adnan |
7 | 1-Jul-2018 | Information extraction from Arabic law documents | Abu Shamma, Samah; Ayasa, Aseel; Sleem, Wala; Yahya, Adnan |
8 | 1-Mar-2002 | Ordered semantic hypertableaux | Yahya, Adnan; Plaisted, David A. |
9 | 27-Oct-2021 | Human computation based platform for citizen services in smart cities | Yahya, Adnan ; Yahya, Yazan ; Misk, Nebras ; Hijja, Hamzah |