| Publication | Date of Publication | Type |
|---|
| The expressive power of ``possible-is-certain'' semantics (extended abstract) | 2024-06-21 | Paper |
The pushdown method to optimize chain logic programs
Automata, Languages and Programming | 2019-01-10 | Paper |
The expressive power of unique total stable model semantics
Automata, Languages and Programming | 2018-07-04 | Paper |
Grammars and automata to optimize chain logic queries
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
A probabilistic framework for estimating the accuracy of aggregate range queries evaluated over histograms
Information Sciences | 2012-10-02 | Paper |
Constraint-Based Mining and Inductive Databases
Lecture Notes in Computer Science | 2006-11-13 | Paper |
| scientific article; zbMATH DE number 2218053 (Why is no real title available?) | 2005-10-26 | Paper |
| scientific article; zbMATH DE number 2080485 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1977824 (Why is no real title available?) | 2003-09-09 | Paper |
| scientific article; zbMATH DE number 1945899 (Why is no real title available?) | 2003-07-03 | Paper |
| scientific article; zbMATH DE number 1926632 (Why is no real title available?) | 2003-06-11 | Paper |
Complexity and expressive power of deterministic semantics for DATALOG^ .
Information and Computation | 2003-01-14 | Paper |
Semi-automatic techniques for deriving interscheme properties from database schemes
Data & Knowledge Engineering | 2002-07-29 | Paper |
A technique for deriving hyponymies and overlappings from database schemes
Data & Knowledge Engineering | 2002-03-03 | Paper |
Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
Acta Informatica | 2001-08-26 | Paper |
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science | 1999-01-12 | Paper |
| scientific article; zbMATH DE number 1114053 (Why is no real title available?) | 1998-03-02 | Paper |
``Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence | 1998-01-07 | Paper |
Deterministic and non-deterministic stable models
Journal Of Logic And Computation | 1997-11-04 | Paper |
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
The expressive powers of stable models for bound and unbound DATALOG queries
Journal of Computer and System Sciences | 1997-08-03 | Paper |
Matching of bounded set terms in the logic language LDL++
The Journal of Logic Programming | 1997-06-15 | Paper |
Multiple total stable models are definitely needed to solve unique solution problems
Information Processing Letters | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 1407678 (Why is no real title available?) | 1997-01-01 | Paper |
Comparison of methods for logic-query implementation
The Journal of Logic Programming | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4053071 (Why is no real title available?) | 1988-01-01 | Paper |
The generalized counting method for recursive logic queries
Theoretical Computer Science | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049156 (Why is no real title available?) | 1986-01-01 | Paper |
Minimal Representation of Directed Hypergraphs
SIAM Journal on Computing | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3895108 (Why is no real title available?) | 1985-01-01 | Paper |
Database partitioning in a cluster of processors
ACM Transactions on Database Systems | 1985-01-01 | Paper |
Closures of database hypergraphs
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3911762 (Why is no real title available?) | 1984-01-01 | Paper |
Graph Algorithms for Functional Dependency Manipulation
Journal of the ACM | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3711459 (Why is no real title available?) | 1981-01-01 | Paper |
