| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7453122 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453122 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453119 (Why is no real title available?) | 2022-01-06 | Paper |
A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Logic programming semantics made easy
Automata, Languages and Programming | 2019-12-04 | Paper |
| Expressing and supporting efficiently greedy algorithms as locally stratified logic programs | 2019-04-24 | Paper |
| Parallel bottom-up evaluation of logic programs: \(\mathcal{D}e\mathcal{ALS}\) on shared-memory multicore machines | 2019-04-24 | Paper |
| scientific article; zbMATH DE number 7015121 (Why is no real title available?) | 2019-02-07 | Paper |
The pushdown method to optimize chain logic programs
Automata, Languages and Programming | 2019-01-10 | Paper |
Scaling-up reasoning and advanced analytics on BigData
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
User-friendly temporal queries on historical knowledge bases
Information and Computation | 2018-03-21 | Paper |
Fixpoint semantics and optimization of recursive Datalog programs with aggregates
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Analysing microarray expression data through effective clustering
Information Sciences | 2016-01-14 | Paper |
High-performance complex event processing over hierarchical data
ACM Transactions on Database Systems | 2015-09-03 | Paper |
Grammars and automata to optimize chain logic queries
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
A declarative extension of horn clauses, and its significance for Datalog and its applications
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Optimal sampling from sliding windows
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Discovery Science
Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2086272 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080400 (Why is no real title available?) | 2004-08-04 | Paper |
The deductive database system [Lscr ][Dscr ][Lscr ]++
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Greedy algorithms in Datalog
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Efficient schemes for managing multiversion XML documents
The VLDB Journal | 2003-10-12 | Paper |
| scientific article; zbMATH DE number 1926634 (Why is no real title available?) | 2003-06-11 | Paper |
Pushing extrema aggregates to optimize logic queries
Information Systems | 2003-02-20 | Paper |
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences | 2002-08-26 | Paper |
| scientific article; zbMATH DE number 1368934 (Why is no real title available?) | 2002-02-17 | Paper |
| Nonmonotonic reasoning in \(LDL^{++}\) | 2001-08-30 | Paper |
Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
Acta Informatica | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1420817 (Why is no real title available?) | 2000-03-22 | Paper |
Polynomial-time computable stable models
Annals of Mathematics and Artificial Intelligence | 1998-08-03 | Paper |
Deterministic and non-deterministic stable models
Journal Of Logic And Computation | 1997-11-04 | Paper |
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
The logic of totally and partially ordered plans: A deductive database approach
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 1024673 (Why is no real title available?) | 1997-06-22 | Paper |
Extrema predicates in deductive databases
Journal of Computer and System Sciences | 1995-10-25 | Paper |
Compilation of set terms in the logic data language (LDL)
The Journal of Logic Programming | 1992-08-13 | 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 |
Database relations with null values
Journal of Computer and System Sciences | 1984-01-01 | Paper |
A new normal form for the design of relational database schemata
ACM Transactions on Database Systems | 1982-01-01 | Paper |
A formal approach to the definition and the design of conceptual schemata for databased systems
ACM Transactions on Database Systems | 1982-01-01 | Paper |
On the design of relational database schemata
ACM Transactions on Database Systems | 1981-01-01 | Paper |
Mixed transitivity for functional and multivalued dependencies in database relations
Information Processing Letters | 1980-01-01 | Paper |
