|
PUBLICATIONS
|
 |
Bibliographies
|
|
0
|
|
|
Book chapters
|
|
0
|
|
|
Book reviews
|
|
0
|
|
|
Books
|
|
0
|
|
|
Books, edited
|
|
0
|
|
|
Conf. papers
|
|
0
|
|
|
Conf. presentations
|
|
0
|
|
|
Conferences
|
|
0
|
|
|
Discussion groups
|
|
0
|
|
|
Grants
|
|
0
|
|
|
Journal articles
|
|
0
|
|
|
Periodicals/series
|
|
0
|
|
|
Proceedings
|
|
0
|
|
|
Proceedings, papers
|
|
0
|
|
|
Reports
|
|
0
|
|
|
Special issues
|
|
0
|
|
|
Theses
|
|
0
|
|
|
Treaties
|
|
0
|
|
|
Working papers
|
|
0
|
|
|
|
STATISTICS
|
|
Citation Rank
|
|
|
|
|
Total Citations
|
|
0 |
|
|
Publications
|
|
0 |
|
|
Rank
|
|
325041 |
|
|
Viewers
|
|
4 |
|
|
Views
|
|
699 |
|
|
|
|
|
Dr. Jia You
(b. ----,
d. ----)
|
( Prev | Next )
|
|
|
|
|
POSITION(S) / JOB TITLE(S):
|
|
Professor |
|
|
My research interest lies in various logical formalisms that can serve as the basis for a logic programming language and that provide mechanisms for deduction, abduction, and induction. My latest research efforts have centered around nonmonotonic reasoning in logic programming, its semantics, proof theory, implementation techniques, and applications. |
|
|
Professor |
|
Computing Science |
|
University of Alberta |
|
|
Only Visible to Members of getCITED
|
|
|
Doctorate
(1985)
|
|
|
University of Utah
|
|
|
Male / English
|
|
|
Unknown |
|
|
1107-2080
(Last changed on
2003/04/28 01:11:27)
|
|
|
|
|
|
|