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 1-10 of 17 (Search time: 0.294 seconds).
Results/Page
5
10
20
50
|
Sorted by
Relevance
previous
1
2
next
Item hits:
Issue Date
Title
Author(s)
1
3-Jun-2008
Statistical/corpus based methods for improved bilingual (Arabic/English) web search
Yahya, Adnan; Hithnawi, Anwar; Salhi, Ali; Fawadleh, Merna
2
2005
Automated reasoning, knowledge representation and management
Baumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
3
21-Jul-2000
A parameterized procedure for model computations in disjunctive theories
Yahya, Adnan
4
Dec-2001
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
Loveland, Donald; Yahya, Adnan
5
Jul-2000
Positive unit hyperresolution tableaux and their application to minimal model generation
Bry, Francois; Yahya, Adnan
6
2003
Satchmorbid: Satchmo(RE) with Bidirectional Relevancy
Yahya, Adnan; Loveland, Donald
7
2000
Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Yahya, Adnan; Bry, Francois
8
Nov-2007
Engineering accreditation: a developing nation perspective
Yahya, Adnan
9
2001
Updates in disjunctive deductive databases: a minimal model based approach
Yahya, Adnan
10
Mar-2003
A relevance restriction strategy for automated deduction
Plaisted, David A.; Yahya, Adnan
Discover
By type
6242
Publications
860
Theses
140
journals
42
events
37
Organizations
29
Researcher profiles
27
Conference Materials
13
Fundings
4
Datasets
Author
2
Bry, Francois
2
Loveland, Donald
2
Plaisted, David A.
1
Al Sadeh, Ahmad
1
AlSa'deh, Ahmad
1
Baumgartner, Peter
1
Fawadleh, Merna
1
Furbach, Ulrich
1
Hithnawi, Anwar
1
Salhi, Ali
.
next >
Subject
4
Artificial intelligence
4
Automatic theorem proving
3
Deductive databases
2
Reasoning
1
Combinatorial analysis
1
Computational linguistics
1
Computational linguistics - Arabi...
1
Computer networks - Security measure
1
Computer scheduling
1
Computer security
.
next >
Date issued
3
2008
1
2007
1
2005
3
2003
2
2002
3
2001
4
2000
Type
13
Article
2
Conference Proceedings
Fulltext
17
With Fulltext