Michael Kifer

According to our database1, Michael Kifer authored at least 132 papers between 1984 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Logic-based Software Modeling with FOML.
J. Object Technol., 2020

2019
Querying Knowledge via Multi-Hop English Questions.
Theory Pract. Log. Program., 2019

2018
RIF: The Rule Interchange Format.
Proceedings of the Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018

ServLog: A unifying logical framework for service modeling and contracting.
Semantic Web, 2018

High Accuracy Question Answering via Hybrid Controlled Natural Language.
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Knowledge Authoring for Rule-Based Reasoning.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Multilevel modeling: what's in a level? A position paper.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Formal Executable Theory of Multilevel Modeling.
Proceedings of the Advanced Information Systems Engineering, 2018

Datalog: concepts, history, and outlook.
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017
Rulelog: Highly Expressive Semantic Rules with Scalable Deep Reasoning.
Proceedings of the Doctoral Consortium, 2017

2016
Paraconsistency and word puzzles.
Theory Pract. Log. Program., 2016

Multilevel Modeling and Reasoning with FOML.
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

A Comparison of Textual Modeling Languages: OCL, Alloy, FOML.
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Formalizing Goal Serializability for Evaluation of Planning Features.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Defeasibility in answer set programs with defaults and argumentation rules.
Semantic Web, 2015

The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation).
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog.
Proceedings of the RuleML 2015 Challenge, 2015

Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Planning with Regression Analysis in Transaction Logic.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

State Space Planning Using Transaction Logic.
Proceedings of the Practical Aspects of Declarative Languages, 2015

2014
RIF: The Rule Interchange Format.
Encyclopedia of Social Network Analysis and Mining, 2014

Planning with Transaction Logic.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

2013
A practical analysis of non-termination in large logic programs.
Theory Pract. Log. Program., 2013

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
J. Artif. Intell. Res., 2013

Understanding Rulelog Computations in Silk.
CoRR, 2013

Advanced Knowledge Base Debugging for Rulelog.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Developing Troubleshooting Systems Using Ontologies.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology, 2013

2012
Transaction Logic with Partially Defined Actions.
J. Data Semant., 2012

Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints
CoRR, 2012

Deriving Predicate Statistics for Logic Rules.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Formalizing Production Systems with Rule-Based Ontologies.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011
KR and Reasoning on the Semantic Web: RIF.
Proceedings of the Handbook of Semantic Web Technologies, 2011

Reasoning with Actions in Transaction Logic.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

On the Equivalence between the $\mathcal{L}_1$ Action Language and Partial Actions in Transaction Logic.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Logic-Based Model-Level Software Development with F-OML.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Transaction Logic with Defaults and Argumentation Theories.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
A Guide to the Basic Logic Dialect for Rule Interchange on the Web.
IEEE Trans. Knowl. Data Eng., 2010

An Overview of F-OML: An F-Logic Based Object Modeling Language.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Omni-directional Hyper Logic Programs in SILK and RIF.
Proceedings of the RuleML-2010 Challenge, 2010

Defeasibility in Answer Set Programs via Argumentation Theories.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Deriving predicate statistics in datalog.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Tabling for transaction logic.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

Rule Interchange Format: Logic Programming's Second Wind?
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Ontological Reasoning with F-logic Lite and its Extensions.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Ontologies in F-Logic.
Proceedings of the Handbook on Ontologies, 2009

OpenRuleBench: an analysis of the performance of rule engines.
Proceedings of the 18th International Conference on World Wide Web, 2009

Query Answering in Belief Logic Programming.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Logic Programming with Defaults and Argumentation Theories.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Semantic Web Service Choreography: Contracting and Enactment.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Rule Interchange Format: The Framework.
Proceedings of the Rule Representation, 2008

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic.
Proceedings of the Semantic Web: Research and Applications, 2008

2007
Introduction to Operating System Design and Implementation - The OSP 2 Approach.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-843-2, 2007

Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic.
Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Semantic Web: Schism of the Languages.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Containment of Conjunctive Object Meta-Queries.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Rule Interchange on the Web.
Proceedings of the Reasoning Web, 2007

2006
Inheritance in Rule-Based Frame Systems: Semantics and Inference.
J. Data Semant., 2006

Efficiently ordering subgoals with access constraints.
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005
Requirements for an Expressive Rule Language on the Semantic Web.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Rules in the Semantic Web Services Language (SWSL): An Overview for Standardization Directions.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

RuleML Position Statement.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

Rules and Ontologies in F-Logic.
Proceedings of the Reasoning Web, 2005

A Realistic Architecture for the Semantic Web.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

ODBASE 2005 PC Co-Chairs' Message.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Nonmonotonic Reasoning in FLORA-2.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004
Semantic bookmarking for non-visual web access.
ACM SIGACCESS Access. Comput., 2004

CTR-S: a logic for specifying contracts in semantic web services.
Proceedings of the 13th international conference on World Wide Web, 2004

A Logical Framework for Web Service Discovery.
Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, 2004

2003
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web.
J. Data Semant., 2003

Where Are the Rules?
IEEE Intell. Syst., 2003

Inheritance and Rules in Object-Oriented Semantic Web Languages.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2003

Logic Based Approaches to Workflow Modeling and Verification.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

On the complexity of schema inference from web pages in the presence of nullable data attributes.
Proceedings of the 2003 ACM CIKM International Conference on Information and Knowledge Management, 2003

2002
A Logical Framework for Scheduling Workflows under Resource Allocation Constraints.
Proceedings of 28th International Conference on Very Large Data Bases, 2002

On the Semantics of Anonymous Identity and Reification.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2001
Databases and Transaction Processing: An Application-Oriented Approach
Addison-Wesley, ISBN: 0-201-70872-8, 2001

2000
Computational Aspects of Resilient Data Extraction from Semistructured Sources.
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.
Proceedings of the Computational Logic, 2000

Design and Implementation of the Physical Layer in WebBases: The XRover Experience.
Proceedings of the Computational Logic, 2000

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Proceedings of the Computational Logic, 2000

1999
A Layered Architecture for Querying Dynamic Web Content.
Proceedings of the SIGMOD 1999, 1999

Modeling and Analysis of Interactions in Virtual Enterprises.
Proceedings of the Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises, 1999

1998
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.
J. ACM, 1998

Logic Based Modeling and Analysis of Workflows.
Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1998

Results on Reasoning about Updates in Transaction Logic.
Proceedings of the Transactions and Change in Logic Databases, 1998

The State of Change: A Survey.
Proceedings of the Transactions and Change in Logic Databases, 1998

A Logic for Programming Database Transactions.
Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997
Transaction Logic: An Introduction (Abstract).
Proceedings of the Logic Programming, 1997

1996
Concurrency and Communication in Transaction Logic.
Proceedings of the Logic Programming, 1996

1995
Forword: Deductive Object-Oriented Databases.
J. Intell. Inf. Syst., 1995

Logical Foundations of Object-Oriented and Frame-Based Languages.
J. ACM, 1995

Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
Proceedings of the Database Theory, 1995

Deductive and Object Data Languages: A Quest for Integration.
Proceedings of the Deductive and Object-Oriented Databases, 1995

1994
An Overview of Transaction Logic.
Theor. Comput. Sci., 1994

Applications of Transaction Logic to Knowledge Representation.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
HILOG: A Foundation for Higher-Order Logic Programming.
J. Log. Program., 1993

A Logic Programming with Complex Objects.
J. Comput. Syst. Sci., 1993

A Theory of Nonmonotonic Inheritance Based on Annotated Logic.
Artif. Intell., 1993

Transaction Logic Programming.
Proceedings of the Logic Programming, 1993

Database Programming in Transaction Logic.
Proceedings of the Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August, 1993

1992
OSP: An Environment for Operating System Projects.
ACM SIGOPS Oper. Syst. Rev., 1992

Theory of Generalized Annotated Logic Programming and its Applications.
J. Log. Program., 1992

A Logic for Reasoning with Inconsistency.
J. Autom. Reason., 1992

Querying Object-Oriented Databases.
Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, 1992

transaction Logic: An (Early) Exposé.
Proceedings of the Formal Methods in Databases and Software Engineering, 1992

1991
A First-Order Formalism of Object-Oriented Languages.
IEEE Data Eng. Bull., 1991

A First-Order Theory of Types and Polymorphism in Logic Programming
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

1990
On Compile-Time Query Optimization in Deductive Databases by Means of Static Filtering.
ACM Trans. Database Syst., 1990

1989
HiLog as a Platform for Database Languages.
IEEE Data Eng. Bull., 1989

On the Expressive Power of Annotated Logic Programs.
Proceedings of the Logic Programming, 1989

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.
Proceedings of the Logic Programming, 1989

F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

RI: A Logic for Reasoning with Inconsistency
Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

On the Declarative Semantics of Inheritance Networks.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

An Evidence-based Framework for a Theory of Inheritance.
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Next Generation Database Management Systems Technology (Panel).
Proceedings of the Deductive and Object-Oriented Databases, 1989

1988
SYGRAF: Implementing Logic Programs in a Database Style.
IEEE Trans. Software Eng., 1988

An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1988

On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

On the Semantics of Rule-Based Expert Systems with Uncertainty.
Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987
A theory of intersection anomalies in relational database schemes.
J. ACM, 1987

Implementing Logic Programs as a Database System.
Proceedings of the Third International Conference on Data Engineering, 1987

1986
An Integrated Approach to Logical Design of Relational Database Schemes.
ACM Trans. Database Syst., 1986

Elimination of intersection anomalies from database schemes.
J. ACM, 1986

Can We Implement Logic as a Database System?
Proceedings of the XP / 7.52 Workshop on Database Theory, 1986

Filtering Data Flow in Deductive Databases.
Proceedings of the ICDT'86, 1986

1984
Comprehensive Approach to the Design of Relational Database Schemes.
Proceedings of the Tenth International Conference on Very Large Data Bases, 1984


  Loading...