Search:

Start a new search
Add/Remove Filters (2 filters currently applied)

Results 1-7 of 7 (Search time: 0.129 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
12005Automated reasoning, knowledge representation and managementBaumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
221-Jul-2000A parameterized procedure for model computations in disjunctive theoriesYahya, Adnan
3May-2013Intermediate report on research setupAbu Helou, Mamoun; Jarrar, Mustafa; Palmonari, Matteo; Salhi, Ali; Hicks, Amanda; Bortoli, Stefano; Roche, Christophe; Fellbaum, Christiane; Bouquet, Paolo; Yahya, Adnan
4Sep-2014Arabization and multilingual knowledge sharingJarrar, Mustafa; Yahya, Adnan; Salhi, Ali; Abu Helou, Mamoun; Hicks, Amanda; Fellbaum, Christiane; Stefano, Bortoli; Bouquet, Paolo; Costa, Rute; Christophe, Roche; Palmonari, Matteo
512-Oct-1997Updates in disjunctive deductive databases : a minimal model based approachYahya, Adnan
64-Mar-2001Incorporating bidirectional relevancy into model generation theorem proversYahya, Adnan
71-Mar-2002Ordered semantic hypertableauxYahya, Adnan; Plaisted, David A.