| 
| |  | |  |
A Layered Architecture for Querying Dynamic Web Content
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 | | | | | | |
