![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michael Kifer
Person information
- affiliation: Stony Brook University, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j32]Yuheng Wang
, Paul Fodor
, Michael Kifer:
Knowledge Authoring for Rules and Actions. Theory Pract. Log. Program. 23(4): 797-811 (2023) - [c102]Mira Balaban, Michael Kifer, Azzam Maraee:
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) 2023: 635-638 - [p3]Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236 - [i5]Yuheng Wang, Paul Fodor, Michael Kifer:
Knowledge Authoring for Rules and Actions. CoRR abs/2305.07763 (2023) - 2022
- [c101]Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer:
Mediation-based MLM in FOModeLer. MoDELS (Companion) 2022: 444-452 - [c100]Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer:
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium 2022: 107-122 - 2020
- [j31]Mira Balaban, Igal Khitron, Michael Kifer:
Logic-based Software Modeling with FOML. J. Object Technol. 19(3): 3:1-21 (2020)
2010 – 2019
- 2019
- [j30]Tiantian Gao
, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. 19(5-6): 636-653 (2019) - [i4]Tiantian Gao, Paul Fodor, Michael Kifer:
Querying Knowledge via Multi-Hop English Questions. CoRR abs/1907.08176 (2019) - 2018
- [j29]Dumitru Roman, Michael Kifer:
ServLog: A unifying logical framework for service modeling and contracting. Semantic Web 9(2): 257-290 (2018) - [c99]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Formal Executable Theory of Multilevel Modeling. CAiSE 2018: 391-406 - [c98]Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee:
Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) 2018: 693-697 - [c97]Tiantian Gao, Paul Fodor
, Michael Kifer:
Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) 2018: 461-480 - [c96]Tiantian Gao, Paul Fodor
, Michael Kifer:
High Accuracy Question Answering via Hybrid Controlled Natural Language. WI 2018: 17-24 - [p2]David Maier, K. Tuncay Tekle, Michael Kifer, David Scott Warren:
Datalog: concepts, history, and outlook. Declarative Logic Programming 2018: 3-100 - [e10]Michael Kifer, Yanhong Annie Liu:
Declarative Logic Programming: Theory, Systems, and Applications. ACM Books 20, ACM / Morgan & Claypool 2018, ISBN 978-1-97000-199-0 [contents] - [r3]Michael Kifer:
RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [c95]Benjamin N. Grosof, Michael Kifer, Paul Fodor:
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) 2017 - [e9]Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao:
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures. Lecture Notes in Computer Science 9885, Springer 2017, ISBN 978-3-319-49492-0 [contents] - 2016
- [j28]Tiantian Gao, Paul Fodor
, Michael Kifer:
Paraconsistency and word puzzles. Theory Pract. Log. Program. 16(5-6): 703-720 (2016) - [c94]Reza Basseda, Michael Kifer:
Formalizing Goal Serializability for Evaluation of Planning Features. JELIA 2016: 515-521 - [c93]Mira Balaban, Phillipa Bennett, Khanh-Hoang Doan, Geri Georg, Martin Gogolla, Igal Khitron, Michael Kifer:
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. OCL@MoDELS 2016: 57-72 - [c92]Mira Balaban, Igal Khitron, Michael Kifer:
Multilevel Modeling and Reasoning with FOML. SwSTE 2016: 61-70 - [i3]Tiantian Gao, Paul Fodor, Michael Kifer:
Paraconsistency and Word Puzzles. CoRR abs/1608.01338 (2016) - 2015
- [j27]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web 6(1): 81-98 (2015) - [c91]Reza Basseda, Michael Kifer:
State Space Planning Using Transaction Logic. PADL 2015: 17-33 - [c90]Reza Basseda, Michael Kifer:
Planning with Regression Analysis in Transaction Logic. RR 2015: 45-60 - [c89]Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell:
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. RuleML 2015: 376-387 - [c88]Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift:
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML 2015 - [c87]Benjamin N. Grosof, Michael Kifer, Paul Fodor
:
The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation). Reasoning Web 2015: 189-192 - 2014
- [c86]Reza Basseda, Michael Kifer, Anthony J. Bonner:
Planning with Transaction Logic. RR 2014: 29-44 - [r2]Michael Kifer:
RIF: The Rule Interchange Format. Encyclopedia of Social Network Analysis and Mining 2014: 1586-1588 - 2013
- [j26]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. 48: 115-174 (2013) - [j25]Senlin Liang, Michael Kifer:
A practical analysis of non-termination in large logic programs. Theory Pract. Log. Program. 13(4-5): 705-719 (2013) - [c85]Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
:
Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops 2013: 274-277 - [c84]Senlin Liang, Michael Kifer:
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. PADL 2013: 173-189 - [c83]Carl Andersen, Brett Benyo
, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) 2013 - [i2]Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Understanding Rulelog Computations in Silk. CoRR abs/1308.4125 (2013) - 2012
- [j24]Martín Rezk, Michael Kifer:
Transaction Logic with Partially Defined Actions. J. Data Semant. 1(2): 99-131 (2012) - [c82]Martín Rezk, Michael Kifer:
Formalizing Production Systems with Rule-Based Ontologies. FoIKS 2012: 332-351 - [c81]Senlin Liang, Michael Kifer:
Deriving Predicate Statistics for Logic Rules. RR 2012: 139-155 - [i1]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints. CoRR abs/1212.3357 (2012) - 2011
- [c80]Paul Fodor, Michael Kifer:
Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) 2011: 162-174 - [c79]Mira Balaban, Michael Kifer:
Logic-Based Model-Level Software Development with F-OML. MoDELS 2011: 517-532 - [c78]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 - [c77]Martín Rezk, Michael Kifer:
Reasoning with Actions in Transaction Logic. RR 2011: 201-216 - [r1]Michael Kifer:
KR and Reasoning on the Semantic Web: RIF. Handbook of Semantic Web Technologies 2011: 399-439 - 2010
- [j23]Mira Balaban, Michael Kifer:
An Overview of F-OML: An F-Logic Based Object Modeling Language. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 36 (2010) - [j22]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) - [c76]Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris:
Ontological Reasoning with F-logic Lite and its Extensions. AAAI 2010: 1660-1665 - [c75]Michael Kifer:
Rule Interchange Format: Logic Programming's Second Wind? ILP 2010: 1 - [c74]Senlin Liang, Michael Kifer:
Deriving predicate statistics in datalog. PPDP 2010: 45-56 - [c73]Paul Fodor
, Michael Kifer:
Tabling for transaction logic. PPDP 2010: 199-208 - [c72]Hui Wan, Michael Kifer, Benjamin N. Grosof:
Defeasibility in Answer Set Programs via Argumentation Theories. RR 2010: 149-163 - [c71]Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer:
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge 2010
2000 – 2009
- 2009
- [c70]Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor
, Senlin Liang:
Logic Programming with Defaults and Argumentation Theories. ICLP 2009: 432-448 - [c69]Hui Wan, Michael Kifer:
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR 2009: 316-328 - [c68]Hui Wan, Michael Kifer:
Query Answering in Belief Logic Programming. SUM 2009: 268-281 - [c67]Senlin Liang, Paul Fodor
, Hui Wan, Michael Kifer:
OpenRuleBench: an analysis of the performance of rule engines. WWW 2009: 601-610 - [p1]Jürgen Angele, Michael Kifer, Georg Lausen:
Ontologies in F-Logic. Handbook on Ontologies 2009: 45-70 - 2008
- [c66]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008 - [c65]Dumitru Roman, Michael Kifer, Dieter Fensel:
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC 2008: 659-673 - [c64]Andrea Calì, Georg Gottlob, Michael Kifer:
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80 - [c63]Michael Kifer:
Rule Interchange Format: The Framework. RR 2008: 1-11 - [c62]Michael Kifer:
Rule Interchange Format: The Framework. RuleML 2008: 1-2 - [c61]Dumitru Roman, Michael Kifer:
Semantic Web Service Choreography: Contracting and Enactment. ISWC 2008: 550-566 - 2007
- [b3]Michael Kifer, Scott A. Smolka:
Introduction to Operating System Design and Implementation - The OSP 2 Approach. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-842-5, pp. I-XII, 1-172 - [c60]Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres:
Rule Interchange on the Web. Reasoning Web 2007: 269-309 - [c59]Michael Kifer:
Semantic Web: Schism of the Languages. SEBD 2007: 3 - [c58]Andrea Calì, Michael Kifer:
Containment of Conjunctive Object Meta-Queries. SEBD 2007: 308-315 - [c57]Dumitru Roman, Michael Kifer:
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB 2007: 627-638 - [e8]Enrico Franconi, Michael Kifer, Wolfgang May:
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 [contents] - [e7]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics VIII. Lecture Notes in Computer Science 4380, Springer 2007, ISBN 978-3-540-70663-2 [contents] - [e6]Stefano Spaccapietra, Paolo Atzeni, François Fages, Mohand-Said Hacid, Michael Kifer, John Mylopoulos, Barbara Pernici, Pavel Shvaiko, Juan Trujillo, Ilya Zaihrayeu:
Journal on Data Semantics IX. Lecture Notes in Computer Science 4601, Springer 2007, ISBN 978-3-540-74982-0 [contents] - 2006
- [j21]Guizhen Yang, Michael Kifer:
Inheritance in Rule-Based Frame Systems: Semantics and Inference. J. Data Semant.: 79-135 (2006) - [c56]Guizhen Yang, Michael Kifer, Vinay K. Chaudhri:
Efficiently ordering subgoals with access constraints. PODS 2006: 183-192 - [c55]Andrea Calì, Michael Kifer:
Containment of Conjunctive Object Meta-Queries. VLDB 2006: 942-952 - 2005
- [c54]Michael Kifer:
Nonmonotonic Reasoning in FLORA-2. LPNMR 2005: 1-12 - [c53]Michael Kifer:
ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) 2005: 1151-1151 - [c52]Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel:
A Realistic Architecture for the Semantic Web. RuleML 2005: 17-29 - [c51]Michael Kifer:
Rules and Ontologies in F-Logic. Reasoning Web 2005: 22-34 - [c50]Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner:
RuleML Position Statement. Rule Languages for Interoperability 2005 - [c49]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 - [c48]Michael Kifer:
Requirements for an Expressive Rule Language on the Semantic Web. Rule Languages for Interoperability 2005 - [e5]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
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 [contents] - [e4]Robert Meersman, Zahir Tari, Mohand-Said Hacid, John Mylopoulos, Barbara Pernici, Özalp Babaoglu, Hans-Arno Jacobsen, Joseph P. Loyall, Michael Kifer, Stefano Spaccapietra:
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 [contents] - 2004
- [j20]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ACM SIGACCESS Access. Comput. 77-78: 185-192 (2004) - [c47]Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer:
Semantic bookmarking for non-visual web access. ASSETS 2004: 185-192 - [c46]Michael Kifer, Rubén Lara, Axel Polleres, Chang Zhao, Uwe Keller, Holger Lausen, Dieter Fensel:
A Logical Framework for Web Service Discovery. SWS@ISWC 2004 - [c45]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 - 2003
- [j19]Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner:
Where Are the Rules? IEEE Intell. Syst. 18(5): 76-83 (2003) - [j18]Guizhen Yang, Michael Kifer:
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semant. 1: 69-97 (2003) - [c44]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 - [c43]Guizhen Yang, Michael Kifer, Chang Zhao:
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. OTM 2003: 671-688 - [c42]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 - [c41]Guizhen Yang, Michael Kifer:
Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML 2003: 95-110 - 2002
- [c40]Guizhen Yang, Michael Kifer:
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. OTM 2002: 1013-1032 - [c39]Guizhen Yang, Michael Kifer:
On the Semantics of Anonymous Identity and Reification. OTM 2002: 1047-1066 - [c38]Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu:
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB 2002: 694-705 - 2001
- [b2]Philip M. Lewis, Arthur J. Bernstein, Michael Kifer:
Databases and Transaction Processing: An Application-Oriented Approach. Addison-Wesley 2001, ISBN 0-201-70872-8 - 2000
- [c37]Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer:
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941 - [c36]Guizhen Yang, Michael Kifer:
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic 2000: 1078-1093 - [c35]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 - [c34]Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan:
Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS 2000: 136-144
1990 – 1999
- 1999
- [c33]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 - [c32]Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan:
A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference 1999: 491-502 - [e3]Enrico Franconi, Michael Kifer:
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 [contents] - 1998
- [j17]Michael Kifer:
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45(4): 588-633 (1998) - [c31]Anthony J. Bonner, Michael Kifer:
The State of Change: A Survey. Transactions and Change in Logic Databases 1998: 1-36 - [c30]Anthony J. Bonner, Michael Kifer:
A Logic for Programming Database Transactions. Logics for Databases and Information Systems 1998: 117-166 - [c29]Anthony J. Bonner, Michael Kifer:
Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases 1998: 166-196 - [c28]Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan:
Logic Based Modeling and Analysis of Workflows. PODS 1998: 25-33 - [e2]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. Lecture Notes in Computer Science 1472, Springer 1998, ISBN 3-540-65305-8 [contents] - 1997
- [c27]Michael Kifer:
Transaction Logic: An Introduction (Abstract). ILPS 1997: 47-48 - 1996
- [c26]Anthony J. Bonner, Michael Kifer:
Concurrency and Communication in Transaction Logic. JICSLP 1996: 142-156 - 1995
- [j16]Michael Kifer, Georg Lausen, James Wu:
Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843 (1995) - [j15]Michael Kifer:
Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. 4(2): 119-121 (1995) - [c25]Michael Kifer:
Deductive and Object Data Languages: A Quest for Integration. DOOD 1995: 187-212 - [c24]Weidong Chen, Michael Kifer:
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT 1995: 252-265 - 1994
- [j14]Anthony J. Bonner, Michael Kifer:
An Overview of Transaction Logic. Theor. Comput. Sci. 133(2): 205-265 (1994) - [c23]Anthony J. Bonner, Michael Kifer:
Applications of Transaction Logic to Knowledge Representation. ICTL 1994: 67-81 - 1993
- [j13]Krishnaprasad Thirunarayan, Michael Kifer:
A Theory of Nonmonotonic Inheritance Based on Annotated Logic. Artif. Intell. 60(1): 23-50 (1993) - [j12]Michael Kifer, James Wu:
A Logic Programming with Complex Objects. J. Comput. Syst. Sci. 47(1): 77-120 (1993) - [j11]Weidong Chen, Michael Kifer, David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming. J. Log. Program. 15(3): 187-230 (1993) - [c22]Anthony J. Bonner, Michael Kifer, Mariano P. Consens:
Database Programming in Transaction Logic. DBPL 1993: 309-337 - [c21]Anthony J. Bonner, Michael Kifer:
Transaction Logic Programming. ICLP 1993: 257-279 - 1992
- [j10]Michael Kifer, Eliezer L. Lozinskii:
A Logic for Reasoning with Inconsistency. J. Autom. Reason. 9(2): 179-215 (1992) - [j9]Michael Kifer, V. S. Subrahmanian:
Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12(3&4): 335-367 (1992) - [j8]Michael Kifer, Scott A. Smolka:
OSP: An Environment for Operating System Projects. ACM SIGOPS Oper. Syst. Rev. 26(4): 98-100 (1992) - [c20]Anthony J. Bonner, Michael Kifer:
transaction Logic: An (Early) Exposé. Formal Methods in Databases and Software Engineering 1992: 1-24 - [c19]Michael Kifer, Won Kim, Yehoshua Sagiv:
Querying Object-Oriented Databases. SIGMOD Conference 1992: 393-402 - 1991
- [j7]Michael Kifer:
A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17 (1991) - [c18]Michael Kifer, James Wu:
A First-Order Theory of Types and Polymorphism in Logic Programming. LICS 1991: 310-321 - [e1]Claude Delobel, Michael Kifer, Yoshifumi Masunaga:
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 [contents] - 1990
- [j6]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)
1980 – 1989
- 1989
- [j5]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog as a Platform for Database Languages. IEEE Data Eng. Bull. 12(3): 37-44 (1989) - [c17]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog as a Platform for Database Languages. DBPL 1989: 315-329 - [c16]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 - [c15]Krishnaprasad Thirunarayan, Michael Kifer:
An Evidence-based Framework for a Theory of Inheritance. IJCAI 1989: 1093-1098 - [c14]Krishnaprasad Thirunarayan, Michael Kifer, David Scott Warren:
On the Declarative Semantics of Inheritance Networks. IJCAI 1989: 1099-1103 - [c13]Michael Kifer, Eliezer L. Lozinskii:
RI: A Logic for Reasoning with Inconsistency. LICS 1989: 253-262 - [c12]Michael Kifer, James Wu:
A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 - [c11]Michael Kifer, Georg Lausen:
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 - [c10]Michael Kifer, V. S. Subrahmanian:
On the Expressive Power of Annotated Logic Programs. NACLP 1989: 1069-1089 - [c9]Weidong Chen, Michael Kifer, David Scott Warren:
HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs. NACLP 1989: 1090-1114 - 1988
- [j4]Michael Kifer, Eliezer L. Lozinskii:
SYGRAF: Implementing Logic Programs in a Database Style. IEEE Trans. Software Eng. 14(7): 922-935 (1988) - [c8]Michael Kifer, Ai Li:
On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117 - [c7]Michael Kifer:
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). JCDKB 1988: 405-415 - [c6]Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz:
An Axiomatic Approach to Deciding Query Safety in Deductive Databases. PODS 1988: 52-60 - 1987
- [j3]Catriel Beeri, Michael Kifer:
A theory of intersection anomalies in relational database schemes. J. ACM 34(3): 544-577 (1987) - [c5]Michael Kifer, Eliezer L. Lozinskii:
Implementing Logic Programs as a Database System. ICDE 1987: 375-385 - 1986
- [j2]Catriel Beeri, Michael Kifer:
Elimination of intersection anomalies from database schemes. J. ACM 33(3): 423-450 (1986) - [j1]Catriel Beeri, Michael Kifer:
An Integrated Approach to Logical Design of Relational Database Schemes. ACM Trans. Database Syst. 11(2): 134-158 (1986) - [c4]Michael Kifer, Eliezer L. Lozinskii:
Filtering Data Flow in Deductive Databases. ICDT 1986: 186-202 - [c3]Michael Kifer, Eliezer L. Lozinskii:
Can We Implement Logic as a Database System? XP7.52 Workshop on Database Theory 1986 - 1984
- [b1]Michael Kifer:
The design of schemes with desirable properties for relational databases (תכנון סכמות עם תכונות רצויות במסדי נתונים יחסיים.). Hebrew University of Jerusalem, Israel, 1984 - [c2]Catriel Beeri, Michael Kifer:
Comprehensive Approach to the Design of Relational Database Schemes. VLDB 1984: 196-207 - 1983
- [c1]Catriel Beeri, Michael Kifer:
Elimination of Intersection Anomalies from Database Schemes. PODS 1983: 340-351
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-29 00:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint