| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Michael Kifer 51 Guizhen Yang , Michael Kifer: FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000 : 1078-1093 50 Hasan Davulcu , Guizhen Yang , Michael Kifer, I. V. Ramakrishnan : Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic 2000 : 1094-1105 49 Marcelo Arenas , Leopoldo E. Bertossi , Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000 : 926-941 48 Hasan Davulcu , Guizhen Yang , Michael Kifer, I. V. Ramakrishnan : Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000 : 136-144 47 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 46 Hasan Davulcu , Juliana Freire , Michael Kifer, I. V. Ramakrishnan : A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999 : 491-502 45 Anthony J. Bonner , Michael Kifer: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998 : 117-166 44 Hasan Davulcu , Michael Kifer, C. R. Ramakrishnan , I. V. Ramakrishnan : Logic Based Modeling and Analysis of Workflows. PODS 1998 : 25-33 43 Anthony J. Bonner , Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998 : 1-36 42 Anthony J. Bonner , Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998 : 166-196 41 Michael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. JACM 45 (4): 588-633 (1998) 40 Michael Kifer: Transaction Logic: An Introduction (Abstract). ILPS 1997 : 47-48 39 Anthony J. Bonner , Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996 : 142-156 38 Michael Kifer: Deductive and Object Data Languages: A Quest for Integration. DOOD 1995 : 187-212 37 Weidong Chen , Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995 : 252-265 36 Michael Kifer, Georg Lausen , James Wu : Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42 (4): 741-843 (1995) 35 Michael Kifer: Forword: Deductive Object-Oriented Databases. JIIS 4 (2): 119-121 (1995) 34 Anthony J. Bonner , Michael Kifer: An Overview of Transaction Logic. TCS 133 (2): 205-265 (1994) 33 Anthony J. Bonner , Michael Kifer, Mariano P. Consens : Database Programming in Transaction Logic. DBPL 1993 : 309-337 32 Anthony J. Bonner , Michael Kifer: Transaction Logic Programming. ICLP 1993 : 257-279 31 Krishnaprasad Thirunarayan , Michael Kifer: A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artificial Intelligence 60 (1): 23-50 (1993) 30 Michael Kifer, James Wu : A Logic Programming with Complex Objects. JCSS 47 (1): 77-120 (1993) 29 Weidong Chen , Michael Kifer, David Scott Warren : HILOG: A Foundation for Higher-Order Logic Programming. JLP 15 (3): 187-230 (1993) 28 Michael Kifer, Won Kim , Yehoshua Sagiv : Querying Object-Oriented Databases. SIGMOD Conference 1992 : 393-402 27 Michael Kifer, V. S. Subrahmanian : Theory of Generalized Annotated Logic Programming and its Applications. JLP 12 (3&4): 335-367 (1992) 26 Michael Kifer, Eliezer L. Lozinskii : A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning 9 (2): 179-215 (1992) 25 Michael Kifer, Scott A. Smolka : OSP: An Environment for Operating System Projects. Operating Systems Review 26 (4): 98-100 (1992) 24 Michael Kifer, James Wu : A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991 : 310-321 23 Michael Kifer: A First-Order Formalism of Object-Oriented Languages. Data Engineering Bulletin 14 (2): 13-17 (1991) 22 Michael Kifer, Eliezer L. Lozinskii : On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. TODS 15 (3): 385-426 (1990) 21 Weidong Chen , Michael Kifer, David Scott Warren : HiLog as a Platform for Database Languages. DBPL 1989 : 315-329 20 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 19 T. Krishnaprasad , Michael Kifer: An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989 : 1093-1098 18 T. Krishnaprasad , Michael Kifer, David Scott Warren : On the Declarative Semantics of Inheritance Networks. IJCAI 1989 : 1099-1103 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 DiSC'01 Copyright ©2002 ACM Inc. |
