| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Michael Kifer 61 Guizhen Yang , Michael Kifer: Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. CoopIS/DOA/ODBASE 2002 : 1013-1032 60 Guizhen Yang , Michael Kifer: On the Semantics of Anonymous Identity and Reification. CoopIS/DOA/ODBASE 2002 : 1047-1066 59 Pinar Senkul , Michael Kifer, Ismail H. Toroslu : A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB 2002 : 694-705 58 Philip M. Lewis , Arthur J. Bernstein , Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach. Addison-Wesley 2001 57 Guizhen Yang , Michael Kifer: FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000 : 1078-1093 56 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 55 Marcelo Arenas , Leopoldo E. Bertossi , Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000 : 926-941 54 Hasan Davulcu , Guizhen Yang , Michael Kifer, I. V. Ramakrishnan : Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000 : 136-144 53 Enrico Franconi , Michael Kifer: Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999. KR 1999 52 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 51 Hasan Davulcu , Juliana Freire , Michael Kifer, I. V. Ramakrishnan : A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999 : 491-502 50 Burkhard Freitag , Hendrik Decker , Michael Kifer, Andrei Voronkov : Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers. Springer 1998 49 Anthony J. Bonner , Michael Kifer: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998 : 117-166 48 Hasan Davulcu , Michael Kifer, C. R. Ramakrishnan , I. V. Ramakrishnan : Logic Based Modeling and Analysis of Workflows. PODS 1998 : 25-33 47 Anthony J. Bonner , Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998 : 1-36 46 Anthony J. Bonner , Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998 : 166-196 45 Michael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. JACM 45 (4): 588-633 (1998) 44 Michael Kifer: Transaction Logic: An Introduction (Abstract). ILPS 1997 : 47-48 43 Anthony J. Bonner , Michael Kifer: Concurrency and Communication in Transaction Logic. JICSLP 1996 : 142-156 42 Michael Kifer: Deductive and Object Data Languages: A Quest for Integration. DOOD 1995 : 187-212 41 Weidong Chen , Michael Kifer: Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995 : 252-265 40 Michael Kifer, Georg Lausen , James Wu : Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42 (4): 741-843 (1995) 39 Michael Kifer: Forword: Deductive Object-Oriented Databases. JIIS 4 (2): 119-121 (1995) 38 Anthony J. Bonner , Michael Kifer: Applications of Transaction Logic to Knowledge Representation. ICTL 1994 : 67-81 37 Anthony J. Bonner , Michael Kifer: An Overview of Transaction Logic. TCS 133 (2): 205-265 (1994) 36 Anthony J. Bonner , Michael Kifer, Mariano P. Consens : Database Programming in Transaction Logic. DBPL 1993 : 309-337 35 Anthony J. Bonner , Michael Kifer: Transaction Logic Programming. ICLP 1993 : 257-279 34 Krishnaprasad Thirunarayan , Michael Kifer: A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artificial Intelligence 60 (1): 23-50 (1993) 33 Michael Kifer, James Wu : A Logic Programming with Complex Objects. JCSS 47 (1): 77-120 (1993) 32 Weidong Chen , Michael Kifer, David Scott Warren : HILOG: A Foundation for Higher-Order Logic Programming. JLP 15 (3): 187-230 (1993) 31 Anthony J. Bonner , Michael Kifer: transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering 1992 : 1-24 30 Michael Kifer, Won Kim , Yehoshua Sagiv : Querying Object-Oriented Databases. SIGMOD Conference 1992 : 393-402 29 Michael Kifer, V. S. Subrahmanian : Theory of Generalized Annotated Logic Programming and its Applications. JLP 12 (3&4): 335-367 (1992) 28 Michael Kifer, Eliezer L. Lozinskii : A Logic for Reasoning with Inconsistency. Journal of Automated Reasoning 9 (2): 179-215 (1992) 27 Michael Kifer, Scott A. Smolka : OSP: An Environment for Operating System Projects. Operating Systems Review 26 (4): 98-100 (1992) 26 Claude Delobel , Michael Kifer, Yoshifumi Masunaga : Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings. Springer 1991 25 Michael Kifer, James Wu : A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991 : 310-321 24 Michael Kifer: A First-Order Formalism of Object-Oriented Languages. Data Engineering Bulletin 14 (2): 13-17 (1991) 23 Michael Kifer, Eliezer L. Lozinskii : On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. TODS 15 (3): 385-426 (1990) 22 Weidong Chen , Michael Kifer, David Scott Warren : HiLog as a Platform for Database Languages. DBPL 1989 : 315-329 21 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 20 Krishnaprasad Thirunarayan , Michael Kifer: An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989 : 1093-1098 19 Krishnaprasad Thirunarayan , Michael Kifer, David Scott Warren : On the Declarative Semantics of Inheritance Networks. IJCAI 1989 : 1099-1103 18 Michael Kifer, Eliezer L. Lozinskii : RI: A Logic for Reasoning with Inconsistency. LICS 1989 : 253-262 17 Michael Kifer, V. S. Subrahmanian : On the Expressive Power of Annotated Logic Programs. NACLP 1989 : 1069-1089 16 Weidong Chen , Michael Kifer, David Scott Warren : HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989 : 1090-1114 15 Michael Kifer, James Wu : A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989 : 379-393 14 Michael Kifer, Georg Lausen : F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989 : 134-146 13 Weidong Chen , Michael Kifer, David Scott Warren : HiLog as a Platform for Database Languages. Data Engineering Bulletin 12 (3): 37-44 (1989) 12 Michael Kifer, Ai Li : On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988 : 102-117 11 Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988 : 405-415 10 Michael Kifer, Raghu Ramakrishnan , Abraham Silberschatz : An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988 : 52-60 9 Michael Kifer, Eliezer L. Lozinskii : SYGRAF: Implementing Logic Programs in a Database Style. TSE 14 (7): 922-935 (1988) 8 Michael Kifer, Eliezer L. Lozinskii : Implementing Logic Programs as a Database System. ICDE 1987 : 375-385 7 Catriel Beeri , Michael Kifer: A theory of intersection anomalies in relational database schemes. JACM 34 (3): 544-577 (1987) 6 Michael Kifer, Eliezer L. Lozinskii : Filtering Data Flow in Deductive Databases. ICDT 1986 : 186-202 5 Michael Kifer, Eliezer L. Lozinskii : Can We Implement Logic as a Database System? XP1 Workshop on Database Theory 1986 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'03 © 2003 Association for Computing Machinery |
