 | 
| |
Online DBLP entries are available for Michael Kifer and the following references. (The DiSC DBLP references below have been taken from the Novemember 1998 DBLP.)
- Anthony J. Bonner,
Michael Kifer:
A Logic for Programming Database Transactions.
Logics for Databases and Information Systems 1998: 117-166
- Hasan Davulcu,
Michael Kifer,
C. R. Ramakrishnan,
I. V. Ramakrishnan:
Logic Based Modeling and Analysis of Workflows.
PODS 1998: 25-33
- Michael Kifer:
Transaction Logic: An Introduction (Abstract).
ILPS 1997: 47-48
- Anthony J. Bonner,
Michael Kifer:
Concurrency and Communication in Transaction Logic.
JICSLP 1996: 142-156
- Michael Kifer:
Deductive and Object Data Languages: A Quest for Integration.
DOOD 1995: 187-212
- Weidong Chen,
Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
ICDT 1995: 252-265
- Michael Kifer,
Georg Lausen,
James Wu:
Logical Foundations of Object-Oriented and Frame-Based Languages.
JACM 42(4): 741-843 (1995)
- Michael Kifer:
Forword: Deductive Object-Oriented Databases.
JIIS 4(2): 119-121 (1995)
- Anthony J. Bonner,
Michael Kifer:
An Overview of Transaction Logic.
TCS 133(2): 205-265 (1994)
- Anthony J. Bonner,
Michael Kifer,
Mariano P. Consens:
Database Programming in Transaction Logic.
DBPL 1993: 309-337
- Anthony J. Bonner,
Michael Kifer:
Transaction Logic Programming.
ICLP 1993: 257-279
- Krishnaprasad Thirunarayan,
Michael Kifer:
A Theory of Nonmonotonic Inheritance Based on Annotated Logic.
Artificial Intelligence 60(1): 23-50 (1993)
- Michael Kifer,
James Wu:
A Logic Programming with Complex Objects.
JCSS 47(1): 77-120 (1993)
- Weidong Chen,
Michael Kifer,
David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming.
JLP 15(3): 187-230 (1993)
- Michael Kifer,
Won Kim,
Yehoshua Sagiv:
Querying Object-Oriented Databases.
SIGMOD Conference 1992: 393-402
- Michael Kifer,
V. S. Subrahmanian:
Theory of Generalized Annotated Logic Programming and its Applications.
JLP 12(3&4): 335-367 (1992)
- Michael Kifer,
Eliezer L. Lozinskii:
A Logic for Reasoning with Inconsistency.
Journal of Automated Reasoning 9(2): 179-215 (1992)
- Michael Kifer,
Scott A. Smolka:
OSP: An Environment for Operating System Projects.
Operating Systems Review 26(4): 98-100 (1992)
- Michael Kifer,
James Wu:
A First-Order Theory of Types and Polymorphism in Logic Programming.
LICS 1991: 310-321
- Michael Kifer:
A First-Order Formalism of Object-Oriented Languages.
Data Engineering Bulletin 14(2): 13-17 (1991)
- Michael Kifer,
Eliezer L. Lozinskii:
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.
TODS 15(3): 385-426 (1990)
- Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
DBPL 1989: 315-329
- 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
- Michael Kifer,
Eliezer L. Lozinskii:
RI: A Logic for Reasoning with Inconsistency.
LICS 1989: 253-262
- Michael Kifer,
V. S. Subrahmanian:
On the Expressive Power of Annotated Logic Programs.
NACLP 1989: 1069-1089
- Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
NACLP 1989: 1090-1114
- Michael Kifer,
James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
PODS 1989: 379-393
- Michael Kifer,
Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
SIGMOD Conference 1989: 134-146
- Weidong Chen,
Michael Kifer,
David Scott Warren:
HiLog as a Platform for Database Languages.
Data Engineering Bulletin 12(3): 37-44 (1989)
- Michael Kifer,
Ai Li:
On the Semantics of Rule-Based Expert Systems with Uncertainty.
ICDT 1988: 102-117
- Michael Kifer:
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
JCDKB 1988: 405-415
- Michael Kifer,
Raghu Ramakrishnan,
Abraham Silberschatz:
An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
PODS 1988: 52-60
- Michael Kifer,
Eliezer L. Lozinskii:
SYGRAF: Implementing Logic Programs in a Database Style.
TSE 14(7): 922-935 (1988)
- Michael Kifer,
Eliezer L. Lozinskii:
Implementing Logic Programs as a Database System.
ICDE 1987: 375-385
- Catriel Beeri,
Michael Kifer:
A Theory of Intersection Anomalies in Relational Database Schemes.
JACM 34(3): 544-577 (1987)
- Michael Kifer,
Eliezer L. Lozinskii:
Filtering Data Flow in Deductive Databases.
ICDT 1986: 186-202
- Catriel Beeri,
Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes.
JACM 33(3): 423-450 (1986)
- Catriel Beeri,
Michael Kifer:
An Integrated Approach to Logical Design of Relational Database Schemes.
TODS 11(2): 134-158 (1986)
- Catriel Beeri,
Michael Kifer:
Comprehensive Approach to the Design of Relational Database Schemes.
VLDB 1984: 196-207
- Catriel Beeri,
Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes.
PODS 1983: 340-351
DBLP: Copyright ©1999 by Michael Ley (ley@uni-trier.de).
|
|
