| Publication | Date of Publication | Type |
|---|
Consistent query answering in multi-relation databases
Information and Computation | 2025-02-28 | Paper |
Deductive databases in four-valued logic: rule semantics and models
Journal Of Logic And Computation | 2023-05-16 | Paper |
Update rules in Datalog programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Passive and active rules in deductive databases
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Hypothesis-based semantics of logic programs in multivalued logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Maximal state independent approximations to minimal real change
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | Paper |
Computing supports of conjunctive queries on relational tables with functional dependencies
Fundamenta Informaticae | 2010-10-01 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Synthesizing Monadic Predicates
Journal Of Logic And Computation | 2008-12-22 | Paper |
| Abduction for accessing information sources | 2008-06-20 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Methods and Applications of Artificial Intelligence
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Computing Intensions of Digital Library Collections
Formal Concept Analysis | 2007-09-03 | Paper |
Knowledge Discovery in Inductive Databases
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Constraint-Based Mining and Inductive Databases
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Journal on Data Semantics II
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Parametrized semantics of logic programs -- a unifying framework
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2088798 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086269 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087279 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1929962 (Why is no real title available?) | 2003-06-18 | Paper |
Monotonic complements for independent data warehouses
The VLDB Journal | 2002-09-03 | Paper |
A theory of contexts in information bases
Information Systems | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1759493 (Why is no real title available?) | 2002-06-25 | Paper |
Deriving and retrieving contextual categorical information through instance inheritance
Fundamenta Informaticae | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1487814 (Why is no real title available?) | 2001-05-20 | Paper |
Enforcement of integrity constraints by means of minimal sufficient changes
Programming and Computer Software | 2001-04-26 | Paper |
Deterministic enforcement of constraints
Programming and Computer Software | 2001-04-26 | Paper |
| scientific article; zbMATH DE number 1507279 (Why is no real title available?) | 2000-09-14 | Paper |
| scientific article; zbMATH DE number 1453061 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1420814 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1418327 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1406248 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1337732 (Why is no real title available?) | 1999-09-16 | Paper |
Update rules in datalog programs
Journal Of Logic And Computation | 1999-02-02 | Paper |
Deriving semantic information through property covering and inheritance
Data & Knowledge Engineering | 1999-01-12 | Paper |
Specialization by restriction and scheme derivations
Information Systems | 1999-01-11 | Paper |
| scientific article; zbMATH DE number 1223549 (Why is no real title available?) | 1998-11-15 | Paper |
| scientific article; zbMATH DE number 622433 (Why is no real title available?) | 1994-08-21 | Paper |
Introducing negative information in relational databases
Lecture Notes in Computer Science | 1988-01-01 | Paper |
Update semantics of relational views
ACM Transactions on Database Systems | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3646330 (Why is no real title available?) | 1978-01-01 | Paper |
A fast algorithm for reliability calculations in sparse networks
Networks | 1977-01-01 | Paper |
A Method for Calculation of Network Reliability
IEEE Transactions on Reliability | 1976-01-01 | Paper |
