Michael Kifer

Available identifiers

zbMath Open kifer.michaelMaRDI QIDQ685337

List of research outcomes

Publication	Date of Publication	Type
Paraconsistency and word puzzles	2017-11-09	Paper
Planning with regression analysis in transaction logic	2017-06-26	Paper
Formalizing Goal Serializability for Evaluation of Planning Features	2016-11-30	Paper
A practical analysis of non-termination in large logic programs	2014-02-27	Paper
Taming the infinite chase: query answering under expressive relational constraints	2013-10-29	Paper
Transaction logic with defaults and argumentation theories	2012-08-29	Paper
Journal on Data Semantics I	2010-03-03	Paper
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence	2009-11-10	Paper
Logic Programming with Defaults and Argumentation Theories	2009-07-24	Paper
Inheritance in Rule-Based Frame Systems: Semantics and Inference	2007-11-29	Paper
Introduction to operating system design and implementation. The OSP 2 approach	2007-09-07	Paper
Logic Programming and Nonmonotonic Reasoning	2006-06-23	Paper
On the decidability and axiomatization of query finiteness in deductive databases	2005-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q4411720	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4411718	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q2767130	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767117	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2767132	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4518415	2000-11-28	Paper
An overview of transaction logic	2000-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4247254	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4400802	1999-03-18	Paper
A logic for reasoning with inconsistency	1995-03-05	Paper
A theory of nonmonotonic inheritance based on annotated logic	1994-01-09	Paper
HiLog: A foundation for higher-order logic programming	1993-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q3198883	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3200591	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204442	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798294	1988-01-01	Paper
An integrated approach to logical design of relational database schemes	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3786038	1986-01-01	Paper

Research outcomes over time

This page was built for person: Michael Kifer