Michael Kifer
Declarative languages for data and knowledge manipulation
The Semantic Web Integration of object-oriented and deductive
paradigms
Object-oriented databases
Query optimization
Logic programming
Artificial intelligence
Selected papers
The Flora System
Book: Database
Systems: An Application-Oriented Approach
Book:
Introduction to Operating System Design and Implementation
Web Reasoning and Rule Systems
Rule Interchange Format
Working Group @ W3C
RuleML
Foundations of Deductive Object-Oriented
Databases
Kool stuff
1976: M.S. in Mathematics --
Moscow University,
Russia
1985: Ph.D. in
Computer Science --
Hebrew University of Jerusalem,
Israel
1991 - 1992:
Department of Computer Science
--
University of Toronto,
Canada
1984 - present:
Department of Computer Science --
Stony Brook University
(Professor)
Michael Kifer
Department of Computer Science Rm CS 1413
State University of New York at Stony Brook
Stony Brook, New York 11794-4400
U.S.A.
