Michael Kifer

Martín Rezk, Michael Kifer: Transaction Logic with Partially Defined Actions. J. Data Semantics 1(2): 99-131 (2012)

Martín Rezk, Michael Kifer: Formalizing Production Systems with Rule-Based Ontologies. FoIKS 2012: 332-351

Senlin Liang, Michael Kifer: Deriving Predicate Statistics for Logic Rules. RR 2012: 139-155

Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints. CoRR abs/1212.3357 (2012)

Paul Fodor, Michael Kifer: Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) 2011: 162-174

Mira Balaban, Michael Kifer: Logic-Based Model-Level Software Development with F-OML. MoDELS 2011: 517-532

Martín Rezk, Michael Kifer: On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. RR 2011: 185-200

Martín Rezk, Michael Kifer: Reasoning with Actions in Transaction Logic. RR 2011: 201-216

Mira Balaban, Michael Kifer: An Overview of F-OML: An F-Logic Based Object Modeling Language. ECEASST 36 (2010)

Harold Boley, Michael Kifer: A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22(11): 1593-1608 (2010)

Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris: Ontological Reasoning with F-logic Lite and its Extensions. AAAI 2010

Michael Kifer: Rule Interchange Format: Logic Programming's Second Wind? ILP 2010: 1

Senlin Liang, Michael Kifer: Deriving predicate statistics in datalog. PPDP 2010: 45-56

Paul Fodor, Michael Kifer: Tabling for transaction logic. PPDP 2010: 199-208

Hui Wan, Michael Kifer, Benjamin N. Grosof: Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163

Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang: Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448

Hui Wan, Michael Kifer: Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR 2009: 316-328

Hui Wan, Michael Kifer: Query Answering in Belief Logic Programming. SUM 2009: 268-281

Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer: OpenRuleBench: an analysis of the performance of rule engines. WWW 2009: 601-610

Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008

Dumitru Roman, Michael Kifer, Dieter Fensel: WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC 2008: 659-673

Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80

Michael Kifer: Rule Interchange Format: The Framework. RR 2008: 1-11

Michael Kifer: Rule Interchange Format: The Framework. RuleML 2008: 1-2

Dumitru Roman, Michael Kifer: Semantic Web Service Choreography: Contracting and Enactment. International Semantic Web Conference 2008: 550-566

Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres: Rule Interchange on the Web. Reasoning Web 2007: 269-309

Michael Kifer: Semantic Web: Schism of the Languages. SEBD 2007: 3

Andrea Calì, Michael Kifer: Containment of Conjunctive Object Meta-Queries. SEBD 2007: 308-315

Dumitru Roman, Michael Kifer: Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB 2007: 627-638

Enrico Franconi, Michael Kifer, Wolfgang May (Eds.): The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4519, Springer 2007, isbn 978-3-540-72666-1

Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (Eds.): Journal on Data Semantics VIII. Lecture Notes in Computer Science 4380, Springer 2007, isbn 978-3-540-70663-2

Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu (Eds.): Journal on Data Semantics IX. Lecture Notes in Computer Science 4601, Springer 2007, isbn 978-3-540-74982-0

Guizhen Yang, Michael Kifer: Inheritance in Rule-Based Frame Systems: Semantics and Inference. : 79-135 (2006)

Guizhen Yang, Michael Kifer, Vinay K. Chaudhri: Efficiently ordering subgoals with access constraints. PODS 2006: 183-192

Andrea Calì, Michael Kifer: Containment of Conjunctive Object Meta-Queries. VLDB 2006: 942-952

Michael Kifer: Nonmonotonic Reasoning in FLORA-2. LPNMR 2005: 1-12

Michael Kifer: ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) 2005: 1151-1151

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel: A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29

Michael Kifer: Rules and Ontologies in F-Logic. Reasoning Web 2005: 22-34

Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner: RuleML Position Statement. Rule Languages for Interoperability 2005

Benjamin N. Grosof, Michael Kifer, David L. Martin: Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Rule Languages for Interoperability 2005

Michael Kifer: Requirements for an Expressive Rule Language on the Semantic Web. Rule Languages for Interoperability 2005

Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra (Eds.): On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I. Lecture Notes in Computer Science 3760, Springer 2005, isbn 3-540-29736-7

Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra (Eds.): On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part II. Lecture Notes in Computer Science 3761, Springer 2005, isbn 3-540-29738-3

Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer: Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192

Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan: CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) 2004: 144-153

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: Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semantics 1: 69-97 (2003)

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

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

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 Hakki 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, isbn 0-201-70872-8

Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941

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

Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144

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

Enrico Franconi, Michael Kifer (Eds.): Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999. CEUR Workshop Proceedings 21, CEUR-WS.org 1999

Michael Kifer: On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45(4): 588-633 (1998)

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: A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998: 117-166

Anthony J. Bonner, Michael Kifer: Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998: 166-196

Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan: Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33

Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov (Eds.): 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. Lecture Notes in Computer Science 1472, Springer 1998, isbn 3-540-65305-8

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, 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)

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

Anthony J. Bonner, Michael Kifer: An Overview of Transaction Logic. Theor. Comput. Sci. 133(2): 205-265 (1994)

Anthony J. Bonner, Michael Kifer: Applications of Transaction Logic to Knowledge Representation. ICTL 1994: 67-81

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, Mariano P. Consens: Database Programming in Transaction Logic. DBPL 1993: 309-337

Anthony J. Bonner, Michael Kifer: Transaction Logic Programming. ICLP 1993: 257-279

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)

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: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17 (1991)

Michael Kifer, James Wu: A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991: 310-321

Claude Delobel, Michael Kifer, Yoshifumi Masunaga (Eds.): Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings. Lecture Notes in Computer Science 566, Springer 1991, isbn 3-540-55015-1

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. IEEE Data Eng. Bull. 12(3): 37-44 (1989)

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, 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

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, Eliezer L. Lozinskii: SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. 14(7): 922-935 (1988)

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

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: Implementing Logic Programs as a Database System. ICDE 1987: 375-385

Catriel Beeri, Michael Kifer: Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986)

Catriel Beeri, Michael Kifer: An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986)

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: 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