Michael Kifer

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 24

Top Venues

CoRR

MoDELS (Companion)

Theory Pract. Log. Program.

Publications

Mira Balaban, Michael Kifer, Azzam Maraee
Clabject Typing in MLM - the Double Life of a Clabject: A Position Paper. MoDELS (Companion) (2023)
Yuheng Wang, Paul Fodor, Michael Kifer
Knowledge Authoring for Rules and Actions. CoRR (2023)
Yuheng Wang, Giorgian Borca-Tasciuc, Nikhil Goel, Paul Fodor, Michael Kifer
Knowledge Authoring with Factual English. ICLP Technical Communications / Doctoral Consortium (2022)
Mira Balaban, Igal Khitron, Azzam Maraee, Michael Kifer
Mediation-based MLM in FOModeLer. MoDELS (Companion) (2022)
Mira Balaban, Igal Khitron, Michael Kifer
Logic-based Software Modeling with FOML. J. Object Technol. 19 (3) (2020)
Tiantian Gao, Paul Fodor, Michael Kifer
Querying Knowledge via Multi-Hop English Questions. Theory Pract. Log. Program. 19 (5-6) (2019)
Tiantian Gao, Paul Fodor, Michael Kifer
Querying Knowledge via Multi-Hop English Questions. CoRR (2019)
Dumitru Roman, Michael Kifer
ServLog: A unifying logical framework for service modeling and contracting. Semantic Web 9 (2) (2018)
Tiantian Gao, Paul Fodor, Michael Kifer
Knowledge Authoring for Rule-Based Reasoning. OTM Conferences (2) (2018)
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
Multilevel modeling: what's in a level? A position paper. MoDELS (Workshops) (2018)
Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
Formal Executable Theory of Multilevel Modeling. CAiSE (2018)
Tiantian Gao, Paul Fodor, Michael Kifer
High Accuracy Question Answering via Hybrid Controlled Natural Language. WI (2018)
Benjamin N. Grosof, Michael Kifer, Paul Fodor
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning. RuleML+RR (Supplement) (2017)
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)
Mira Balaban, Igal Khitron, Michael Kifer
Multilevel Modeling and Reasoning with FOML. SwSTE (2016)
Tiantian Gao, Paul Fodor, Michael Kifer
Paraconsistency and word puzzles. Theory Pract. Log. Program. 16 (5-6) (2016)
Tiantian Gao, Paul Fodor, Michael Kifer
Paraconsistency and Word Puzzles. CoRR (2016)
Reza Basseda, Michael Kifer
Formalizing Goal Serializability for Evaluation of Planning Features. JELIA (2016)
Reza Basseda, Michael Kifer
State Space Planning Using Transaction Logic. PADL (2015)
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)
Reza Basseda, Tiantian Gao, Michael Kifer, Steven Greenspan, Charley Chell
Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning. RuleML (2015)
Hui Wan, Michael Kifer, Benjamin N. Grosof
Defeasibility in answer set programs with defaults and argumentation rules. Semantic Web 6 (1) (2015)
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)
Reza Basseda, Michael Kifer
Planning with Regression Analysis in Transaction Logic. RR (2015)
Reza Basseda, Michael Kifer, Anthony J. Bonner
Planning with Transaction Logic. RR (2014)
Andrea Calì, Georg Gottlob, Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. 48 (2013)
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)
Reza Basseda, Michael Kifer, John P. Kane, Steven Greenspan, Paul Fodor
Developing Troubleshooting Systems Using Ontologies. Web Intelligence/IAT Workshops (2013)
Senlin Liang, Michael Kifer
Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs. PADL (2013)
Senlin Liang, Michael Kifer
A practical analysis of non-termination in large logic programs. Theory Pract. Log. Program. 13 (4-5) (2013)
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 (2013)
Andrea Calì, Georg Gottlob, Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints CoRR (2012)
Martín Rezk, Michael Kifer
Transaction Logic with Partially Defined Actions. J. Data Semant. 1 (2) (2012)
Senlin Liang, Michael Kifer
Deriving Predicate Statistics for Logic Rules. RR (2012)
Martín Rezk, Michael Kifer
Formalizing Production Systems with Rule-Based Ontologies. FoIKS (2012)
Martín Rezk, Michael Kifer
On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic. RR (2011)
Martín Rezk, Michael Kifer
Reasoning with Actions in Transaction Logic. RR (2011)
Mira Balaban, Michael Kifer
Logic-Based Model-Level Software Development with F-OML. MoDELS (2011)
Paul Fodor, Michael Kifer
Transaction Logic with Defaults and Argumentation Theories. ICLP (Technical Communications) (2011)
Hui Wan, Michael Kifer, Benjamin N. Grosof
Defeasibility in Answer Set Programs via Argumentation Theories. RR (2010)
Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer
Omni-directional Hyper Logic Programs in SILK and RIF. RuleML Challenge (2010)
Paul Fodor, Michael Kifer
Tabling for transaction logic. PPDP (2010)
Senlin Liang, Michael Kifer
Deriving predicate statistics in datalog. PPDP (2010)
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)
Harold Boley, Michael Kifer
A Guide to the Basic Logic Dialect for Rule Interchange on the Web. IEEE Trans. Knowl. Data Eng. 22 (11) (2010)
Michael Kifer
Rule Interchange Format: Logic Programming's Second Wind? ILP (2010)
Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
Ontological Reasoning with F-logic Lite and its Extensions. AAAI (2010)
Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang
Logic Programming with Defaults and Argumentation Theories. ICLP (2009)
Hui Wan, Michael Kifer
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. LPNMR (2009)
Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines. WWW (2009)
Hui Wan, Michael Kifer
Query Answering in Belief Logic Programming. SUM (2009)
Andrea Calì, Georg Gottlob, Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics (2008)
Dumitru Roman, Michael Kifer
Semantic Web Service Choreography: Contracting and Enactment. ISWC (2008)
Michael Kifer
Rule Interchange Format: The Framework. RR (2008)
Andrea Calì, Georg Gottlob, Michael Kifer
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR (2008)
Dumitru Roman, Michael Kifer, Dieter Fensel
WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic. ESWC (2008)
Michael Kifer
Rule Interchange Format: The Framework. RuleML (2008)
Dumitru Roman, Michael Kifer
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic. VLDB (2007)
Michael Kifer
Semantic Web: Schism of the Languages. SEBD (2007)
Andrea Calì, Michael Kifer
Containment of Conjunctive Object Meta-Queries. SEBD (2007)
Harold Boley, Michael Kifer, Paula-Lavinia Patranjan, Axel Polleres
Rule Interchange on the Web. Reasoning Web (2007)
Guizhen Yang, Michael Kifer, Vinay K. Chaudhri
Efficiently ordering subgoals with access constraints. PODS (2006)
Andrea Calì, Michael Kifer
Containment of Conjunctive Object Meta-Queries. VLDB (2006)
Guizhen Yang, Michael Kifer
Inheritance in Rule-Based Frame Systems: Semantics and Inference. J. Data Semant. (2006)
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)
Michael Kifer
ODBASE 2005 PC Co-Chairs' Message. OTM Conferences (2) (2005)
Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
A Realistic Architecture for the Semantic Web. RuleML (2005)
Michael Kifer
Rules and Ontologies in F-Logic. Reasoning Web (2005)
Harold Boley, Mike Dean, Benjamin N. Grosof, Michael Kifer, Said Tabet, Gerd Wagner
RuleML Position Statement. Rule Languages for Interoperability (2005)
Michael Kifer
Nonmonotonic Reasoning in FLORA-2. LPNMR (2005)
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)
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
CTR-S: a logic for specifying contracts in semantic web services. WWW (Alternate Track Papers & Posters) (2004)
Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer
Semantic bookmarking for non-visual web access. ACM SIGACCESS Access. Comput. (2004)
Saikat Mukherjee, I. V. Ramakrishnan, Michael Kifer
Semantic bookmarking for non-visual web access. ASSETS (2004)
Guizhen Yang, Michael Kifer
Inheritance and Rules in Object-Oriented Semantic Web Languages. RuleML (2003)
Ian Horrocks, Jürgen Angele, Stefan Decker, Michael Kifer, Benjamin N. Grosof, Gerd Wagner
Where Are the Rules? IEEE Intell. Syst. 18 (5) (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)
Guizhen Yang, Michael Kifer
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. J. Data Semant. 1 (2003)
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)
Guizhen Yang, Michael Kifer, Chang Zhao
Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. OTM (2003)
Guizhen Yang, Michael Kifer
On the Semantics of Anonymous Identity and Reification. OTM (2002)
Guizhen Yang, Michael Kifer
Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases. OTM (2002)
Pinar Senkul, Michael Kifer, Ismail Hakki Toroslu
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. VLDB (2002)
Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
Computational Aspects of Resilient Data Extraction from Semistructured Sources. PODS (2000)
Guizhen Yang, Michael Kifer
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. Computational Logic (2000)
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic (2000)
Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan
Design and Implementation of the Physical Layer in WebBases: The XRover Experience. Computational Logic (2000)
Hasan Davulcu, Juliana Freire, Michael Kifer, I. V. Ramakrishnan
A Layered Architecture for Querying Dynamic Web Content. SIGMOD Conference (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)
Hasan Davulcu, Michael Kifer, C. R. Ramakrishnan, I. V. Ramakrishnan
Logic Based Modeling and Analysis of Workflows. PODS (1998)
Michael Kifer
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. J. ACM 45 (4) (1998)
Anthony J. Bonner, Michael Kifer
Results on Reasoning about Updates in Transaction Logic. Transactions and Change in Logic Databases (1998)
Anthony J. Bonner, Michael Kifer
The State of Change: A Survey. Transactions and Change in Logic Databases (1998)
Anthony J. Bonner, Michael Kifer
A Logic for Programming Database Transactions. Logics for Databases and Information Systems (1998)
Michael Kifer
Transaction Logic: An Introduction (Abstract). ILPS (1997)
Anthony J. Bonner, Michael Kifer
Concurrency and Communication in Transaction Logic. JICSLP (1996)
Michael Kifer, Georg Lausen, James Wu
Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42 (4) (1995)
Michael Kifer
Forword: Deductive Object-Oriented Databases. J. Intell. Inf. Syst. 4 (2) (1995)
Weidong Chen, Michael Kifer
Sorted HiLog: Sorts in Higher-Order Logic Data Languages. ICDT (1995)

Michael Kifer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Kifer