Michael Kifer - RankMe

160 papers A* 18A 7B 10C 4Misc 1Journal 38Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multi-paradigm Logic Programming in the ℰrgoAI System. CoRR Michael Kifer, Theresa Swift
2024	B	`conf`	Multi-paradigm Logic Programming in the LPNMR Theresa Swift, Michael Kifer
2023	—	`conf`	Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) Mira Balaban, Michael Kifer, Azzam Maraee
2023	—	`ch.`	Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield
2023	J	`jnl`	Knowledge Authoring for Rules and Actions. CoRR Yuheng Wang, Paul Fodor, Michael Kifer
2023	J	`jnl`	Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. Yuheng Wang, Paul Fodor, Michael Kifer
2022	—	`conf`	Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
2022	—	`conf`	Mediation-based MLM in FOModeLer. MoDELS (Companion) Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer
2020	J	`jnl`	Logic-based Software Modeling with FOML. J. Object Technol. Mira Balaban, Igal Khitron, Michael Kifer
2019	J	`jnl`	Querying Knowledge via Multi-Hop English Questions. CoRR Tiantian Gao, Paul Fodor, Michael Kifer
2019	J	`jnl`	Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. Tiantian Gao, Paul Fodor, Michael Kifer
2018	—	`ch.`	Datalog: concepts, history, and outlook. Declarative Logic Programming David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren
2018	—	`book`	Declarative Logic Programming: Theory, Systems, and Applications Declarative Logic Programming Michael Kifer, Yanhong Annie Liu
2018	A	`conf`	Formal Executable Theory of Multilevel Modeling. CAiSE Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018	B	`conf`	High Accuracy Question Answering via Hybrid Controlled Natural Language. WI Tiantian Gao, Paul Fodor, Michael Kifer
2018	—	`conf`	Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) Tiantian Gao, Paul Fodor, Michael Kifer
2018	—	`conf`	Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
2018	—	`ch.`	RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. Michael Kifer
2018	J	`jnl`	ServLog: A unifying logical framework for service modeling and contracting. Semantic Web Dumitru Roman, Michael Kifer
2017	—	`ed.`	Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures RW Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
2017	—	`conf`	Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) Benjamin N. Grosof, Michael Kifer, Paul Fodor
2016	—	`conf`	A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer
2016	B	`conf`	Formalizing Goal Serializability for Evaluation of Planning Features. JELIA Reza Basseda, Michael Kifer
2016	—	`conf`	Multilevel Modeling and Reasoning with FOML. SwSTE Mira Balaban, Igal Khitron, Michael Kifer
2016	J	`jnl`	Paraconsistency and Word Puzzles. CoRR Tiantian Gao, Paul Fodor, Michael Kifer
2016	J	`jnl`	Paraconsistency and word puzzles. Theory Pract. Log. Program. Tiantian Gao, Paul Fodor, Michael Kifer
2015	—	`conf`	Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift
2015	J	`jnl`	Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web Hui Wan, Michael Kifer, Benjamin N. Grosof
2015	—	`conf`	Planning with Regression Analysis in Transaction Logic. RR Reza Basseda, Michael Kifer
2015	—	`conf`	Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. RuleML Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell
2015	C	`conf`	State Space Planning Using Transaction Logic. PADL Reza Basseda, Michael Kifer
2015	—	`conf`	The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web Benjamin N. Grosof, Michael Kifer, Paul Fodor
2014	—	`conf`	Planning with Transaction Logic. RR Reza Basseda, Michael Kifer, Anthony J. Bonner
2014	—	`ch.`	RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining Michael Kifer
2013	J	`jnl`	A practical analysis of non-termination in large logic programs. Theory Pract. Log. Program. Senlin Liang, Michael Kifer
2013	—	`conf`	Advanced Knowledge Base Debugging for Rulelog. RuleML (2) Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2013	—	`conf`	Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
2013	J	`jnl`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. Andrea Calì, Georg Gottlob, Michael Kifer
2013	C	`conf`	Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. PADL Senlin Liang, Michael Kifer
2013	J	`jnl`	Understanding Rulelog Computations in Silk. CoRR Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift
2012	—	`conf`	Deriving Predicate Statistics for Logic Rules. RR Senlin Liang, Michael Kifer
2012	—	`conf`	Formalizing Production Systems with Rule-Based Ontologies. FoIKS Martín Rezk, Michael Kifer
2012	J	`jnl`	Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints CoRR Andrea Calì, Georg Gottlob, Michael Kifer
2012	J	`jnl`	Transaction Logic with Partially Defined Actions. J. Data Semant. Martín Rezk, Michael Kifer
2011	—	`ch.`	KR and Reasoning on the Semantic Web: RIF. Handbook of Semantic Web Technologies Michael Kifer
2011	A	`conf`	Logic-Based Model-Level Software Development with F-OML. MoDELS Mira Balaban, Michael Kifer
2011	—	`conf`	On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. RR Martín Rezk, Michael Kifer
2011	—	`conf`	Reasoning with Actions in Transaction Logic. RR Martín Rezk, Michael Kifer
2011	—	`conf`	Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) Paul Fodor, Michael Kifer
2010	J	`jnl`	A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. Harold Boley, Michael Kifer
2010	J	`jnl`	An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Mira Balaban, Michael Kifer
2010	—	`conf`	Defeasibility in Answer Set Programs via Argumentation Theories. RR Hui Wan, Michael Kifer, Benjamin N. Grosof
2010	C	`conf`	Deriving predicate statistics in datalog. PPDP Senlin Liang, Michael Kifer
2010	—	`conf`	Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer
2010	A*	`conf`	Ontological Reasoning with F-logic Lite and its Extensions. AAAI Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
2010	B	`conf`	Rule Interchange Format: Logic Programming's Second Wind? ILP Michael Kifer
2010	C	`conf`	Tabling for transaction logic. PPDP Paul Fodor, Michael Kifer
2009	B	`conf`	Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR Hui Wan, Michael Kifer
2009	B	`conf`	Logic Programming with Defaults and Argumentation Theories. ICLP Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
2009	—	`ch.`	Ontologies in F-Logic. Handbook on Ontologies Jürgen Angele, Michael Kifer, Georg Lausen
2009	A*	`conf`	OpenRuleBench: an analysis of the performance of rule engines. WWW Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
2009	—	`conf`	Query Answering in Belief Logic Programming. SUM Hui Wan, Michael Kifer
2008	—	`conf`	Rule Interchange Format: The Framework. RR Michael Kifer
2008	—	`conf`	Rule Interchange Format: The Framework. RuleML Michael Kifer
2008	Misc	`conf`	Semantic Web Service Choreography: Contracting and Enactment. ISWC Dumitru Roman, Michael Kifer
2008	—	`conf`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics Andrea Calì, Georg Gottlob, Michael Kifer
2008	A*	`conf`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR Andrea Calì, Georg Gottlob, Michael Kifer
2008	B	`conf`	WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC Dumitru Roman, Michael Kifer, Dieter Fensel
2007	—	`conf`	Containment of Conjunctive Object Meta-Queries. SEBD Andrea Calì, Michael Kifer
2007	—	`book`	Introduction to Operating System Design and Implementation - The OSP 2 Approach. Michael Kifer, Scott A. Smolka
2007	—	`ed.`	Journal on Data Semantics IX Journal on Data Semantics IX Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	—	`ed.`	Journal on Data Semantics VIII Journal on Data Semantics VIII Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu
2007	A*	`conf`	Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB Dumitru Roman, Michael Kifer
2007	—	`conf`	Rule Interchange on the Web. Reasoning Web Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres
2007	—	`conf`	Semantic Web: Schism of the Languages. SEBD Michael Kifer
2007	B	`ed.`	The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings ESWC Enrico Franconi, Michael Kifer, Wolfgang May
2006	A*	`conf`	Containment of Conjunctive Object Meta-Queries. VLDB Andrea Calì, Michael Kifer
2006	A*	`conf`	Efficiently ordering subgoals with access constraints. PODS Guizhen Yang, Michael Kifer, Vinay K. Chaudhri
2006	J	`jnl`	Inheritance in Rule-Based Frame Systems: Semantics and Inference. J. Data Semant. Guizhen Yang, Michael Kifer
2005	—	`conf`	A Realistic Architecture for the Semantic Web. RuleML Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
2005	B	`conf`	Nonmonotonic Reasoning in FLORA-2. LPNMR Michael Kifer
2005	—	`conf`	ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) Michael Kifer
2005	—	`ed.`	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 OTM Conferences (1) Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra
2005	—	`ed.`	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 OTM Conferences (2) Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra
2005	—	`conf`	Requirements for an Expressive Rule Language on the Semantic Web. Rule Languages for Interoperability Michael Kifer
2005	—	`conf`	RuleML Position Statement. Rule Languages for Interoperability Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
2005	—	`conf`	Rules and Ontologies in F-Logic. Reasoning Web Michael Kifer
2005	—	`conf`	Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions. Rule Languages for Interoperability Benjamin N. Grosof, Michael Kifer, David L. Martin
2004	—	`conf`	A Logical Framework for Web Service Discovery. SWS@ISWC Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel
2004	—	`conf`	CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
2004	A	`conf`	Semantic bookmarking for non-visual web access. ASSETS Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer
2004	J	`jnl`	Semantic bookmarking for non-visual web access. ACM SIGACCESS Access. Comput. Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer
2003	—	`conf`	Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. OTM Guizhen Yang, Michael Kifer, Chang Zhao
2003	—	`conf`	Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML Guizhen Yang, Michael Kifer
2003	—	`conf`	Logic Based Approaches to Workflow Modeling and Verification. Logics for Emerging Applications of Databases Saikat Mukherjee, Hasan Davulcu, Michael Kifer, Pinar Senkul, Guizhen Yang
2003	A	`conf`	On the complexity of schema inference from web pages in the presence of nullable data attributes. CIKM Guizhen Yang, I. V. Ramakrishnan, Michael Kifer
2003	J	`jnl`	Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semant. Guizhen Yang, Michael Kifer
2003	J	`jnl`	Where Are the Rules? IEEE Intell. Syst. Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
2002	A*	`conf`	A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
2002	—	`conf`	On the Semantics of Anonymous Identity and Reification. OTM Guizhen Yang, Michael Kifer
2002	—	`conf`	Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. OTM Guizhen Yang, Michael Kifer
2001	—	`book`	Databases and Transaction Processing: An Application-Oriented Approach Philip M. Lewis, Arthur J. Bernstein, Michael Kifer
2000	—	`conf`	Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer
2000	A*	`conf`	Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
2000	—	`conf`	Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
2000	—	`conf`	FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic Guizhen Yang, Michael Kifer
1999	—	`conf`	A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan
1999	—	`conf`	Modeling and Analysis of Interactions in Virtual Enterprises. RIDE Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan, I. V. Ramakrishnan, Steven Dawson
1999	—	`ed.`	Proceedings of the 6th International Workshop on Knowledge Representation meets Databases (KRDB'99), Linköping, Sweden, July 29-30, 1999 Enrico Franconi, Michael Kifer
1998	—	`conf`	A Logic for Programming Database Transactions. Logics for Databases and Information Systems Anthony J. Bonner, Michael Kifer
1998	A*	`conf`	Logic Based Modeling and Analysis of Workflows. PODS Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan
1998	J	`jnl`	On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM Michael Kifer
1998	—	`conf`	Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases Anthony J. Bonner, Michael Kifer
1998	—	`conf`	The State of Change: A Survey. Transactions and Change in Logic Databases Anthony J. Bonner, Michael Kifer
1998	—	`ed.`	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 Transactions and Change in Logic Databases Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
1997	—	`conf`	Transaction Logic: An Introduction (Abstract). ILPS Michael Kifer
1996	—	`conf`	Concurrency and Communication in Transaction Logic. JICSLP Anthony J. Bonner, Michael Kifer
1995	—	`conf`	Deductive and Object Data Languages: A Quest for Integration. DOOD Michael Kifer
1995	J	`jnl`	Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. Michael Kifer
1995	J	`jnl`	Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM Michael Kifer, Georg Lausen, James Wu
1995	A	`conf`	Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT Weidong Chen, Michael Kifer
1994	J	`jnl`	An Overview of Transaction Logic. Theor. Comput. Sci. Anthony J. Bonner, Michael Kifer
1994	—	`conf`	Applications of Transaction Logic to Knowledge Representation. ICTL Anthony J. Bonner, Michael Kifer
1993	J	`jnl`	A Logic Programming with Complex Objects. J. Comput. Syst. Sci. Michael Kifer, James Wu
1993	J	`jnl`	A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artif. Intell. Krishnaprasad Thirunarayan, Michael Kifer
1993	—	`conf`	Database Programming in Transaction Logic. DBPL Anthony J. Bonner, Michael Kifer, Mariano P. Consens
1993	J	`jnl`	HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. Weidong Chen, Michael Kifer, David Scott Warren
1993	B	`conf`	Transaction Logic Programming. ICLP Anthony J. Bonner, Michael Kifer
1992	J	`jnl`	A Logic for Reasoning with Inconsistency. J. Autom. Reason. Michael Kifer, Eliezer L. Lozinskii
1992	J	`jnl`	OSP: An Environment for Operating System Projects. ACM SIGOPS Oper. Syst. Rev. Michael Kifer, Scott A. Smolka
1992	—	`conf`	Querying Object-Oriented Databases. SIGMOD Conference Michael Kifer, Won Kim, Yehoshua Sagiv
1992	J	`jnl`	Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. Michael Kifer, V. S. Subrahmanian
1992	—	`conf`	transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering Anthony J. Bonner, Michael Kifer
1991	J	`jnl`	A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. Michael Kifer
1991	A*	`conf`	A First-Order Theory of Types and Polymorphism in Logic Programming LICS Michael Kifer, James Wu
1991	—	`ed.`	Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings DOOD Claude Delobel, Michael Kifer, Yoshifumi Masunaga
1990	J	`jnl`	On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering. ACM Trans. Database Syst. Michael Kifer, Eliezer L. Lozinskii
1989	A*	`conf`	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS Michael Kifer, James Wu
1989	A*	`conf`	An Evidence-based Framework for a Theory of Inheritance. IJCAI Krishnaprasad Thirunarayan, Michael Kifer
1989	—	`conf`	F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference Michael Kifer, Georg Lausen
1989	—	`conf`	HiLog as a Platform for Database Languages. DBPL Weidong Chen, Michael Kifer, David Scott Warren
1989	J	`jnl`	HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. Weidong Chen, Michael Kifer, David Scott Warren
1989	—	`conf`	HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP Weidong Chen, Michael Kifer, David Scott Warren
1989	—	`conf`	Next Generation Database Management Systems Technology (Panel). DOOD Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka
1989	A*	`conf`	On the Declarative Semantics of Inheritance Networks. IJCAI Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren
1989	—	`conf`	On the Expressive Power of Annotated Logic Programs. NACLP Michael Kifer, V. S. Subrahmanian
1989	A*	`conf`	RI: A Logic for Reasoning with Inconsistency LICS Michael Kifer, Eliezer L. Lozinskii
1988	A*	`conf`	An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz
1988	—	`conf`	On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB Michael Kifer
1988	A	`conf`	On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT Michael Kifer, Ai Li
1988	J	`jnl`	SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. Michael Kifer, Eliezer L. Lozinskii
1987	J	`jnl`	A theory of intersection anomalies in relational database schemes. J. ACM Catriel Beeri, Michael Kifer
1987	A*	`conf`	Implementing Logic Programs as a Database System. ICDE Michael Kifer, Eliezer L. Lozinskii
1986	J	`jnl`	An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. Catriel Beeri, Michael Kifer
1986	—	`conf`	Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory Michael Kifer, Eliezer L. Lozinskii
1986	J	`jnl`	Elimination of intersection anomalies from database schemes. J. ACM Catriel Beeri, Michael Kifer
1986	A	`conf`	Filtering Data Flow in Deductive Databases. ICDT Michael Kifer, Eliezer L. Lozinskii
1984	A*	`conf`	Comprehensive Approach to the Design of Relational Database Schemes. VLDB Catriel Beeri, Michael Kifer
1984	—	`—`	The design of schemes with desirable properties for relational databases (תכנון סכמות עם תכונות רצויות במסדי נתונים יחסיים.). Michael Kifer
1983	A*	`conf`	Elimination of Intersection Anomalies from Database Schemes. PODS Catriel Beeri, Michael Kifer