Skip navigation
Home
Communities
& Collections
Research Outputs
Researchers
Organizations
Projects
Explore by
Research Outputs
Researchers
Organizations
Projects
Help
Sign on to:
My DSpace
Receive email
updates
Edit Account details
Publications
for
Start a new search
Add/Remove Filters (2 filters currently applied)
Hide Filters
Current filters:
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Title
Author
Journal
Subject
Date Issued
Type
Fulltext
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 11-20 of 39 (Search time: 0.364 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
3
4
next
Item hits:
Issue Date
Title
Author(s)
1
Jul-2000
Positive unit hyperresolution tableaux and their application to minimal model generation
Bry, Francois; Yahya, Adnan
2
2003
Satchmorbid: Satchmo(RE) with Bidirectional Relevancy
Yahya, Adnan; Loveland, Donald
3
2000
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Yahya, Adnan; Bry, Francois
4
2014
Quality Assessment of General and Categorized Arabic Text Corpora
Yahya, Adnan; Salhi, Ali
5
Nov-2007
Engineering accreditation: a developing nation perspective
Yahya, Adnan
6
24-Mar-2014
Information Technology as Cultural Heritage Preservation Tool
Yahya, Adnan
7
9-Oct-2011
Tools for Arabic People Names Processing and Retrieval A Statistical Approach
Salhi, Ali; Yahya, Adnan
8
2001
Updates in disjunctive deductive databases: a minimal model based approach
Yahya, Adnan
9
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
10
23-Apr-2015
Internationalizing technical education the economic way
Yahya, Adnan
Discover
By type
6266
Publications
860
Theses
140
journals
42
events
38
Organizations
29
Researcher profiles
27
Conference Materials
13
Fundings
4
Datasets
Author
10
Salhi, Ali
4
Yahya, Adnan
2
Abu Helou, Mamoun
2
Bouquet, Paolo
2
Bry, Francois
2
Fellbaum, Christiane
2
Hicks, Amanda
2
Jarrar, Mustafa
2
Loveland, Donald
2
Palmonari, Matteo
.
next >
Subject
8
Artificial intelligence
6
Computational linguistics
6
Natural language processing (Comp...
4
Automatic theorem proving
3
Cross-language information retrieval
3
Deductive databases
2
Arabic authorship attribution
2
Arabic language - Data processing
2
Computer-assisted instruction
2
Cultural property
.
next >
Date issued
3
2020 - 2021
18
2010 - 2019
18
2000 - 2009
Type
29
Article
3
Conference Proceedings
2
Technical Report
Fulltext
39
With Fulltext