| Publication | Date of Publication | Type |
|---|
Paraconsistency and word puzzles
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Planning with regression analysis in transaction logic | 2017-06-26 | Paper |
Formalizing Goal Serializability for Evaluation of Planning Features
Logics in Artificial Intelligence | 2016-11-30 | Paper |
A practical analysis of non-termination in large logic programs
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Taming the infinite chase: query answering under expressive relational constraints
The Journal of Artificial Intelligence Research (JAIR) | 2013-10-29 | Paper |
| Transaction logic with defaults and argumentation theories | 2012-08-29 | Paper |
Reasoning about anonymous resources and meta statements on the semantic web
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Logic Programming with Defaults and Argumentation Theories
Logic Programming | 2009-07-24 | Paper |
Inheritance in Rule-Based Frame Systems: Semantics and Inference
Journal on Data Semantics VII | 2007-11-29 | Paper |
Introduction to operating system design and implementation. The OSP 2 approach
Undergraduate Topics in Computer Science | 2007-09-07 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
On the decidability and axiomatization of query finiteness in deductive databases
Journal of the ACM | 2005-01-25 | Paper |
| scientific article; zbMATH DE number 1947735 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1947733 (Why is no real title available?) | 2003-07-09 | Paper |
| scientific article; zbMATH DE number 1696855 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696845 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1696856 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1536548 (Why is no real title available?) | 2000-11-28 | Paper |
An overview of transaction logic
Theoretical Computer Science | 2000-06-13 | Paper |
| scientific article; zbMATH DE number 1302016 (Why is no real title available?) | 1999-12-13 | Paper |
| scientific article; zbMATH DE number 1182730 (Why is no real title available?) | 1999-03-18 | Paper |
A logic for reasoning with inconsistency
Journal of Automated Reasoning | 1995-03-05 | Paper |
A theory of nonmonotonic inheritance based on annotated logic
Artificial Intelligence | 1994-01-09 | Paper |
HiLog: A foundation for higher-order logic programming
The Journal of Logic Programming | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 4174348 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4176500 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181307 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4064538 (Why is no real title available?) | 1988-01-01 | Paper |
An integrated approach to logical design of relational database schemes
ACM Transactions on Database Systems | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4049158 (Why is no real title available?) | 1986-01-01 | Paper |
