| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Michael Kifer Guizhen Yang , I. V. Ramakrishnan , Michael Kifer: On the complexity of schema inference from web pages in the presence of nullable data attributes. CIKM 2003 : 224-231 Guizhen Yang , Michael Kifer, Chang Zhao : Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. CoopIS/DOA/ODBASE 2003 : 671-688 Guizhen Yang , Michael Kifer: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semantics I 2003 : 69-97 Saikat Mukherjee , Hasan Davulcu , Michael Kifer, Pinar Senkul , Guizhen Yang : Logic Based Approaches to Workflow Modeling and Verification. Logics for Emerging Applications of Databases 2003 : 167-202 Guizhen Yang , Michael Kifer: Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML 2003 : 95-110 Ian Horrocks , Jürgen Angele , Stefan Decker , Michael Kifer, Benjamin N. Grosof , Gerd Wagner : Where Are the Rules? IEEE Intelligent Systems 18 (5): 76-83 (2003) Guizhen Yang , Michael Kifer: Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. CoopIS/DOA/ODBASE 2002 : 1013-1032 Guizhen Yang , Michael Kifer: On the Semantics of Anonymous Identity and Reification. CoopIS/DOA/ODBASE 2002 : 1047-1066 Pinar Senkul , Michael Kifer, Ismail H. Toroslu : A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB 2002 : 694-705 Philip M. Lewis , Arthur J. Bernstein , Michael Kifer: Databases and Transaction Processing: An Application-Oriented Approach Addison-Wesley 2001 Guizhen Yang , Michael Kifer: FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000 : 1078-1093 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 Marcelo Arenas , Leopoldo E. Bertossi , Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000 : 926-941 Hasan Davulcu , Guizhen Yang , Michael Kifer, I. V. Ramakrishnan : Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000 : 136-144 Enrico Franconi , Michael Kifer: Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999 Technical University of Aachen (RWTH) 1999 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 Hasan Davulcu , Juliana Freire , Michael Kifer, I. V. Ramakrishnan : A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999 : 491-502 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 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 Anthony J. Bonner , Michael Kifer: The State of Change: A Survey. Transactions and Change in Logic Databases 1998 : 1-36 Anthony J. Bonner , Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998 : 166-196 Michael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45 (4): 588-633 (1998) 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. J. ACM 42 (4): 741-843 (1995) Michael Kifer: Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. 4 (2): 119-121 (1995) Anthony J. Bonner , Michael Kifer: Applications of Transaction Logic to Knowledge Representation. ICTL 1994 : 67-81 Anthony J. Bonner , Michael Kifer: An Overview of Transaction Logic. Theor. Comput. Sci. 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. Artif. Intell. 60 (1): 23-50 (1993) Michael Kifer, James Wu : A Logic Programming with Complex Objects. J. Comput. Syst. Sci. 47 (1): 77-120 (1993) Weidong Chen , Michael Kifer, David Scott Warren : HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15 (3): 187-230 (1993) Anthony J. Bonner , Michael Kifer: transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering 1992 : 1-24 Michael Kifer, Won Kim , Yehoshua Sagiv : Querying Object-Oriented Databases. SIGMOD Conference 1992 : 393-402 Michael Kifer, Eliezer L. Lozinskii : A Logic for Reasoning with Inconsistency. J. Autom. Reasoning 9 (2): 179-215 (1992) Michael Kifer, V. S. Subrahmanian : Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12 (3&4): 335-367 (1992) Michael Kifer, Scott A. Smolka : OSP: An Environment for Operating System Projects. Operating Systems Review 26 (4): 98-100 (1992) 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 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. IEEE Data Eng. Bull. 14 (2): 13-17 (1991) Michael Kifer, Eliezer L. Lozinskii : On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. 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 Krishnaprasad Thirunarayan , Michael Kifer: An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989 : 1093-1098 Krishnaprasad Thirunarayan , Michael Kifer, David Scott Warren : On the Declarative Semantics of Inheritance Networks. IJCAI 1989 : 1099-1103 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. IEEE Data Eng. Bull. 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. IEEE Trans. Software Eng. 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. J. ACM 34 (3): 544-577 (1987) Michael Kifer, Eliezer L. Lozinskii : Filtering Data Flow in Deductive Databases. ICDT 1986 : 186-202 Michael Kifer, Eliezer L. Lozinskii : Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory 1986 Catriel Beeri , Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11 (2): 134-158 (1986) Catriel Beeri , Michael Kifer: Elimination of intersection anomalies from database schemes. J. ACM 33 (3): 423-450 (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 1 [ 62 ] 2 [ 55 ] 3 [ 21 ] 4 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 7 ] 5 [ 58 ] 6 [ 55 ] 7 [ 31 ] [ 35 ] [ 36 ] [ 37 ] [ 38 ] [ 43 ] [ 46 ] [ 47 ] [ 49 ] 8 [ 21 ] 9 [ 13 ] [ 16 ] [ 22 ] [ 32 ] [ 41 ] 10 [ 36 ] 11 [ 48 ] [ 51 ] [ 52 ] [ 54 ] [ 56 ] [ 64 ] 12 [ 52 ] 13 [ 50 ] 14 [ 62 ] 15 [ 26 ] 16 [ 53 ] 17 [ 51 ] 18 [ 50 ] 19 [ 62 ] 20 [ 21 ] 21 [ 62 ] 22 [ 30 ] 23 [ 14 ] [ 40 ] 24 [ 58 ] 25 [ 12 ] 26 [ 5 ] [ 6 ] [ 8 ] [ 9 ] [ 18 ] [ 23 ] [ 29 ] 27 [ 21 ] [ 26 ] 28 [ 64 ] 29 [ 52 ] 30 [ 48 ] [ 52 ] 31 [ 48 ] [ 51 ] [ 52 ] [ 54 ] [ 56 ] [ 67 ] 32 [ 10 ] 33 [ 21 ] 34 [ 30 ] 35 [ 59 ] [ 64 ] 36 [ 10 ] 37 [ 27 ] 38 [ 17 ] [ 28 ] 39 [ 21 ] 40 [ 19 ] [ 20 ] [ 34 ] 41 [ 59 ] 42 [ 50 ] 43 [ 62 ] 44 [ 13 ] [ 16 ] [ 19 ] [ 22 ] [ 32 ] 45 [ 15 ] [ 25 ] [ 33 ] [ 40 ] 46 [ 54 ] [ 56 ] [ 57 ] [ 60 ] [ 61 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ] [ 67 ] 47 [ 66 ]  ©2004 Association for Computing Machinery |
