Digital Symposium Collection 2000  

 
 
 
 
 
 

 
















Michael Kifer

A Layered Architecture for Querying Dynamic Web Content

Publications

Note: Links lead to the DBLP on the Web.

Michael Kifer

46 Hasan Davulcu , Guizhen Yang , Michael Kifer, I. V. Ramakrishnan : Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000 : 0-

45 Hasan Davulcu , Michael Kifer, L. Robert Pokorny , C. R. Ramakrishnan , I. V. Ramakrishnan , Steven Dawson : Modeling and Analysis of Interactions in Virtual Enterprises. RIDE 1999 : 12-18

44 Hasan Davulcu , Juliana Freire , Michael Kifer, I. V. Ramakrishnan : A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999 : 491-502

43 Anthony J. Bonner , Michael Kifer: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998 : 117-166

42 Hasan Davulcu , Michael Kifer, C. R. Ramakrishnan , I. V. Ramakrishnan : Logic Based Modeling and Analysis of Workflows. PODS 1998 : 25-33

41 Anthony J. Bonner , Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998 : 1-36

40 Anthony J. Bonner , Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998 : 166-196

39 Michael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. JACM 45 (4): 588-633 (1998)

38 Michael Kifer: Transaction Logic: An Introduction (Abstract). ILPS 1997 : 47-48

37 Anthony J. Bonner , Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996 : 142-156

36 Michael Kifer: Deductive and Object Data Languages: A Quest for Integration. DOOD 1995 : 187-212

35 Weidong Chen , Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995 : 252-265

34 Michael Kifer, Georg Lausen , James Wu : Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42 (4): 741-843 (1995)

33 Michael Kifer: Forword: Deductive Object-Oriented Databases. JIIS 4 (2): 119-121 (1995)

32 Anthony J. Bonner , Michael Kifer: An Overview of Transaction Logic. TCS 133 (2): 205-265 (1994)

31 Anthony J. Bonner , Michael Kifer, Mariano P. Consens : Database Programming in Transaction Logic. DBPL 1993 : 309-337

30 Anthony J. Bonner , Michael Kifer: Transaction Logic Programming. ICLP 1993 : 257-279

29 Krishnaprasad Thirunarayan , Michael Kifer: A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artificial Intelligence 60 (1): 23-50 (1993)

28 Michael Kifer, James Wu : A Logic Programming with Complex Objects. JCSS 47 (1): 77-120 (1993)

27 Weidong Chen , Michael Kifer, David Scott Warren : HILOG: A Foundation for Higher-Order Logic Programming. JLP 15 (3): 187-230 (1993)

26 Michael Kifer, Won Kim , Yehoshua Sagiv : Querying Object-Oriented Databases. SIGMOD Conference 1992 : 393-402

25 Michael Kifer, V. S. Subrahmanian : Theory of Generalized Annotated Logic Programming and its Applications. JLP 12 (3&4): 335-367 (1992)

24 Michael Kifer, Eliezer L. Lozinskii : A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning 9 (2): 179-215 (1992)

23 Michael Kifer, Scott A. Smolka : OSP: An Environment for Operating System Projects. Operating Systems Review 26 (4): 98-100 (1992)

22 Michael Kifer, James Wu : A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991 : 310-321

21 Michael Kifer: A First-Order Formalism of Object-Oriented Languages. Data Engineering Bulletin 14 (2): 13-17 (1991)

20 Michael Kifer, Eliezer L. Lozinskii : On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. TODS 15 (3): 385-426 (1990)

19 Weidong Chen , Michael Kifer, David Scott Warren : HiLog as a Platform for Database Languages. DBPL 1989 : 315-329

18 Michael L. Brodie , François Bancilhon , Craig Harris , Michael Kifer, Yoshifumi Masunaga , Earl D. Saberdoti , Katsumi Tanaka : Next Generation Database Management Systems Technology (Panel). DOOD 1989 : 335-346

17 Michael Kifer, Eliezer L. Lozinskii : RI: A Logic for Reasoning with Inconsistency. LICS 1989 : 253-262

16 Michael Kifer, V. S. Subrahmanian : On the Expressive Power of Annotated Logic Programs. NACLP 1989 : 1069-1089

15 Weidong Chen , Michael Kifer, David Scott Warren : HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989 : 1090-1114

14 Michael Kifer, James Wu : A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989 : 379-393

13 Michael Kifer, Georg Lausen : F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989 : 134-146

12 Weidong Chen , Michael Kifer, David Scott Warren : HiLog as a Platform for Database Languages. Data Engineering Bulletin 12 (3): 37-44 (1989)

11 Michael Kifer, Ai Li : On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988 : 102-117

10 Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988 : 405-415

9 Michael Kifer, Raghu Ramakrishnan , Abraham Silberschatz : An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988 : 52-60

8 Michael Kifer, Eliezer L. Lozinskii : SYGRAF: Implementing Logic Programs in a Database Style. TSE 14 (7): 922-935 (1988)

7 Michael Kifer, Eliezer L. Lozinskii : Implementing Logic Programs as a Database System. ICDE 1987 : 375-385

6 Catriel Beeri , Michael Kifer: A Theory of Intersection Anomalies in Relational Database Schemes. JACM 34 (3): 544-577 (1987)

5 Michael Kifer, Eliezer L. Lozinskii : Filtering Data Flow in Deductive Databases. ICDT 1986 : 186-202

4 Catriel Beeri , Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. JACM 33 (3): 423-450 (1986)

3 Catriel Beeri , Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. TODS 11 (2): 134-158 (1986)

2 Catriel Beeri , Michael Kifer: Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984 : 196-207

1 Catriel Beeri , Michael Kifer: Elimination of Intersection Anomalies from Database Schemes. PODS 1983 : 340-351



























Copyright(C) 2000 ACM