The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Kifer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Kifer, Georg Lausen
    F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. [Citation Graph (52, 26)][DBLP]
    SIGMOD Conference, 1989, pp:134-146 [Conf]
  2. Michael Kifer, Won Kim, Yehoshua Sagiv
    Querying Object-Oriented Databases. [Citation Graph (47, 13)][DBLP]
    SIGMOD Conference, 1992, pp:393-402 [Conf]
  3. Michael Kifer, James Wu
    A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). [Citation Graph (39, 29)][DBLP]
    PODS, 1989, pp:379-393 [Conf]
  4. Michael Kifer, Georg Lausen, James Wu
    Logical Foundations of Object-Oriented and Frame-Based Languages. [Citation Graph (37, 0)][DBLP]
    J. ACM, 1995, v:42, n:4, pp:741-843 [Journal]
  5. Weidong Chen, Michael Kifer, David Scott Warren
    HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. [Citation Graph (21, 0)][DBLP]
    NACLP, 1989, pp:1090-1114 [Conf]
  6. Michael Kifer
    On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). [Citation Graph (18, 0)][DBLP]
    JCDKB, 1988, pp:405-415 [Conf]
  7. Michael Kifer, Eliezer L. Lozinskii
    Filtering Data Flow in Deductive Databases. [Citation Graph (17, 15)][DBLP]
    ICDT, 1986, pp:186-202 [Conf]
  8. Weidong Chen, Michael Kifer, David Scott Warren
    HiLog as a Platform for Database Languages. [Citation Graph (12, 18)][DBLP]
    DBPL, 1989, pp:315-329 [Conf]
  9. Catriel Beeri, Michael Kifer
    Comprehensive Approach to the Design of Relational Database Schemes. [Citation Graph (10, 14)][DBLP]
    VLDB, 1984, pp:196-207 [Conf]
  10. Catriel Beeri, Michael Kifer
    Elimination of Intersection Anomalies from Database Schemes. [Citation Graph (8, 16)][DBLP]
    PODS, 1983, pp:340-351 [Conf]
  11. Weidong Chen, Michael Kifer, David Scott Warren
    HILOG: A Foundation for Higher-Order Logic Programming. [Citation Graph (8, 0)][DBLP]
    J. Log. Program., 1993, v:15, n:3, pp:187-230 [Journal]
  12. Michael Kifer, V. S. Subrahmanian
    Theory of Generalized Annotated Logic Programming and its Applications. [Citation Graph (8, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:335-367 [Journal]
  13. Catriel Beeri, Michael Kifer
    An Integrated Approach to Logical Design of Relational Database Schemes. [Citation Graph (8, 21)][DBLP]
    ACM Trans. Database Syst., 1986, v:11, n:2, pp:134-158 [Journal]
  14. Anthony J. Bonner, Michael Kifer
    Transaction Logic Programming. [Citation Graph (7, 0)][DBLP]
    ICLP, 1993, pp:257-279 [Conf]
  15. Anthony J. Bonner, Michael Kifer
    An Overview of Transaction Logic. [Citation Graph (7, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:133, n:2, pp:205-265 [Journal]
  16. Michael Kifer, Ai Li
    On the Semantics of Rule-Based Expert Systems with Uncertainty. [Citation Graph (6, 20)][DBLP]
    ICDT, 1988, pp:102-117 [Conf]
  17. Michael Kifer, Eliezer L. Lozinskii
    RI: A Logic for Reasoning with Inconsistency [Citation Graph (6, 0)][DBLP]
    LICS, 1989, pp:253-262 [Conf]
  18. Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz
    An Axiomatic Approach to Deciding Query Safety in Deductive Databases. [Citation Graph (6, 17)][DBLP]
    PODS, 1988, pp:52-60 [Conf]
  19. Michael Kifer, Eliezer L. Lozinskii
    SYGRAF: Implementing Logic Programs in a Database Style. [Citation Graph (6, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:7, pp:922-935 [Journal]
  20. Michael Kifer
    Deductive and Object Data Languages: A Quest for Integration. [Citation Graph (4, 0)][DBLP]
    DOOD, 1995, pp:187-212 [Conf]
  21. Anthony J. Bonner, Michael Kifer
    Concurrency and Communication in Transaction Logic. [Citation Graph (4, 0)][DBLP]
    JICSLP, 1996, pp:142-156 [Conf]
  22. Michael Kifer, James Wu
    A Logic Programming with Complex Objects. [Citation Graph (4, 0)][DBLP]
    J. Comput. Syst. Sci., 1993, v:47, n:1, pp:77-120 [Journal]
  23. Anthony J. Bonner, Michael Kifer, Mariano P. Consens
    Database Programming in Transaction Logic. [Citation Graph (3, 30)][DBLP]
    DBPL, 1993, pp:309-337 [Conf]
  24. Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka
    Next Generation Database Management Systems Technology (Panel). [Citation Graph (2, 0)][DBLP]
    DOOD, 1989, pp:335-346 [Conf]
  25. Michael Kifer, Eliezer L. Lozinskii
    Implementing Logic Programs as a Database System. [Citation Graph (2, 25)][DBLP]
    ICDE, 1987, pp:375-385 [Conf]
  26. Michael Kifer, James Wu
    A First-Order Theory of Types and Polymorphism in Logic Programming [Citation Graph (2, 0)][DBLP]
    LICS, 1991, pp:310-321 [Conf]
  27. Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan
    Logic Based Modeling and Analysis of Workflows. [Citation Graph (2, 17)][DBLP]
    PODS, 1998, pp:25-33 [Conf]
  28. Michael Kifer, V. S. Subrahmanian
    On the Expressive Power of Annotated Logic Programs. [Citation Graph (2, 0)][DBLP]
    NACLP, 1989, pp:1069-1089 [Conf]
  29. Michael Kifer, Eliezer L. Lozinskii
    A Logic for Reasoning with Inconsistency. [Citation Graph (2, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:179-215 [Journal]
  30. Michael Kifer, Eliezer L. Lozinskii
    On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. [Citation Graph (2, 38)][DBLP]
    ACM Trans. Database Syst., 1990, v:15, n:3, pp:385-426 [Journal]
  31. Anthony J. Bonner, Michael Kifer
    A Logic for Programming Database Transactions. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:117-166 [Conf]
  32. Anthony J. Bonner, Michael Kifer
    The State of Change: A Survey. [Citation Graph (1, 0)][DBLP]
    Transactions and Change in Logic Databases, 1998, pp:1-36 [Conf]
  33. Anthony J. Bonner, Michael Kifer
    Results on Reasoning about Updates in Transaction Logic. [Citation Graph (1, 0)][DBLP]
    Transactions and Change in Logic Databases, 1998, pp:166-196 [Conf]
  34. Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
    On the Declarative Semantics of Inheritance Networks. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1989, pp:1099-1103 [Conf]
  35. Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson
    Modeling and Analysis of Interactions in Virtual Enterprises. [Citation Graph (1, 0)][DBLP]
    RIDE, 1999, pp:12-18 [Conf]
  36. Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan
    A Layered Architecture for Querying Dynamic Web Content. [Citation Graph (1, 24)][DBLP]
    SIGMOD Conference, 1999, pp:491-502 [Conf]
  37. Krishnaprasad Thirunarayan, Michael Kifer
    A Theory of Nonmonotonic Inheritance Based on Annotated Logic. [Citation Graph (1, 0)][DBLP]
    Artif. Intell., 1993, v:60, n:1, pp:23-50 [Journal]
  38. Catriel Beeri, Michael Kifer
    Elimination of intersection anomalies from database schemes. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1986, v:33, n:3, pp:423-450 [Journal]
  39. Catriel Beeri, Michael Kifer
    A theory of intersection anomalies in relational database schemes. [Citation Graph (1, 0)][DBLP]
    J. ACM, 1987, v:34, n:3, pp:544-577 [Journal]
  40. Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer
    Semantic bookmarking for non-visual web access. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2004, pp:185-192 [Conf]
  41. Guizhen Yang, I. V. Ramakrishnan, Michael Kifer
    On the complexity of schema inference from web pages in the presence of nullable data attributes. [Citation Graph (0, 0)][DBLP]
    CIKM, 2003, pp:224-231 [Conf]
  42. Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer
    Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:926-941 [Conf]
  43. Guizhen Yang, Michael Kifer
    FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1078-1093 [Conf]
  44. Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
    Design and Implementation of the Physical Layer in WebBases: The XRover Experience. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1094-1105 [Conf]
  45. Guizhen Yang, Michael Kifer
    Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2002, pp:1013-1032 [Conf]
  46. Guizhen Yang, Michael Kifer
    On the Semantics of Anonymous Identity and Reification. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2002, pp:1047-1066 [Conf]
  47. Guizhen Yang, Michael Kifer, Chang Zhao
    Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:671-688 [Conf]
  48. Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang
    Logic Based Approaches to Workflow Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    Logics for Emerging Applications of Databases, 2003, pp:167-202 [Conf]
  49. Anthony J. Bonner, Michael Kifer
    transaction Logic: An (Early) Exposé. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Databases and Software Engineering, 1992, pp:1-24 [Conf]
  50. Weidong Chen, Michael Kifer
    Sorted HiLog: Sorts in Higher-Order Logic Data Languages. [Citation Graph (0, 21)][DBLP]
    ICDT, 1995, pp:252-265 [Conf]
  51. Anthony J. Bonner, Michael Kifer
    Applications of Transaction Logic to Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:67-81 [Conf]
  52. Krishnaprasad Thirunarayan, Michael Kifer
    An Evidence-based Framework for a Theory of Inheritance. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:1093-1098 [Conf]
  53. Michael Kifer
    Nonmonotonic Reasoning in FLORA-2. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:1-12 [Conf]
  54. Michael Kifer
    ODBASE 2005 PC Co-Chairs' Message. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (2), 2005, pp:1151-1151 [Conf]
  55. Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
    Computational Aspects of Resilient Data Extraction from Semistructured Sources. [Citation Graph (0, 18)][DBLP]
    PODS, 2000, pp:136-144 [Conf]
  56. Guizhen Yang, Michael Kifer, Vinay K. Chaudhri
    Efficiently ordering subgoals with access constraints. [Citation Graph (0, 0)][DBLP]
    PODS, 2006, pp:183-192 [Conf]
  57. Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
    A Realistic Architecture for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:17-29 [Conf]
  58. Michael Kifer
    Rules and Ontologies in F-Logic. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2005, pp:22-34 [Conf]
  59. Guizhen Yang, Michael Kifer
    Inheritance and Rules in Object-Oriented Semantic Web Languages. [Citation Graph (0, 0)][DBLP]
    RuleML, 2003, pp:95-110 [Conf]
  60. Michael Kifer
    Transaction Logic: An Introduction (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:47-48 [Conf]
  61. Andrea Calì, Michael Kifer
    Containment of Conjunctive Object Meta-Queries. [Citation Graph (0, 0)][DBLP]
    VLDB, 2006, pp:942-952 [Conf]
  62. Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
    A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. [Citation Graph (0, 0)][DBLP]
    VLDB, 2002, pp:694-705 [Conf]
  63. Michael Kifer
    Requirements for an Expressive Rule Language on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Rule Languages for Interoperability, 2005, pp:- [Conf]
  64. Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
    RuleML Position Statement. [Citation Graph (0, 0)][DBLP]
    Rule Languages for Interoperability, 2005, pp:- [Conf]
  65. Benjamin N. Grosof, Michael Kifer, David L. Martin
    Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. [Citation Graph (0, 0)][DBLP]
    Rule Languages for Interoperability, 2005, pp:- [Conf]
  66. Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
    CTR-S: a logic for specifying contracts in semantic web services. [Citation Graph (0, 0)][DBLP]
    WWW (Alternate Track Papers & Posters), 2004, pp:144-153 [Conf]
  67. Michael Kifer, Eliezer L. Lozinskii
    Can We Implement Logic as a Database System? [Citation Graph (0, 0)][DBLP]
    XP7.52 Workshop on Database Theory, 1986, pp:- [Conf]
  68. Weidong Chen, Michael Kifer, David Scott Warren
    HiLog as a Platform for Database Languages. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 1989, v:12, n:3, pp:37-44 [Journal]
  69. Michael Kifer
    A First-Order Formalism of Object-Oriented Languages. [Citation Graph (0, 9)][DBLP]
    IEEE Data Eng. Bull., 1991, v:14, n:2, pp:13-17 [Journal]
  70. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
    Where Are the Rules? [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2003, v:18, n:5, pp:76-83 [Journal]
  71. Michael Kifer
    On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1998, v:45, n:4, pp:588-633 [Journal]
  72. Michael Kifer
    Forword: Deductive Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 1995, v:4, n:2, pp:119-121 [Journal]
  73. Guizhen Yang, Michael Kifer
    Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. [Citation Graph (0, 0)][DBLP]
    J. Data Semantics, 2003, v:1, n:, pp:69-97 [Journal]
  74. Guizhen Yang, Michael Kifer
    Inheritance in Rule-Based Frame Systems: Semantics and Inference. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:79-135 [Journal]
  75. Michael Kifer, Scott A. Smolka
    OSP: An Environment for Operating System Projects. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1992, v:26, n:4, pp:98-100 [Journal]
  76. Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres
    Rule Interchange on the Web. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2007, pp:269-309 [Conf]
  77. Andrea Calì, Michael Kifer
    Containment of Conjunctive Object Meta-Queries. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:308-315 [Conf]
  78. Michael Kifer
    Semantic Web: Schism of the Languages. [Citation Graph (0, 0)][DBLP]
    SEBD, 2007, pp:3- [Conf]
  79. Dumitru Roman, Michael Kifer
    Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. [Citation Graph (0, 0)][DBLP]
    VLDB, 2007, pp:627-638 [Conf]

  80. Ontological Reasoning with F-logic Lite and its Extensions. [Citation Graph (, )][DBLP]


  81. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. [Citation Graph (, )][DBLP]


  82. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. [Citation Graph (, )][DBLP]


  83. Logic Programming with Defaults and Argumentation Theories. [Citation Graph (, )][DBLP]


  84. Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. [Citation Graph (, )][DBLP]


  85. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. [Citation Graph (, )][DBLP]


  86. Tabling for transaction logic. [Citation Graph (, )][DBLP]


  87. Deriving predicate statistics in datalog. [Citation Graph (, )][DBLP]


  88. Rule Interchange Format: The Framework. [Citation Graph (, )][DBLP]


  89. Semantic Web Service Choreography: Contracting and Enactment. [Citation Graph (, )][DBLP]


  90. OpenRuleBench: an analysis of the performance of rule engines. [Citation Graph (, )][DBLP]


  91. Rule Interchange Format: The Framework. [Citation Graph (, )][DBLP]


  92. Defeasibility in Answer Set Programs via Argumentation Theories. [Citation Graph (, )][DBLP]


  93. Query Answering in Belief Logic Programming. [Citation Graph (, )][DBLP]


Search in 0.065secs, Finished in 0.069secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002