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
Search:
for
Start a new search
Add/Remove Filters (2 filters currently applied)
Hide Filters
Current filters:
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add filters:
Use filters to refine the search results.
Author
Subject
Date Issued
Type
People
Structure
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-10 of 17 (Search time: 0.374 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
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