Manolis Gergatsoulis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On transformations into linear database logic programs	2024-07-11	Paper
Unfold/fold transformations for disjunctive logic programs Information Processing Letters	2016-05-26	Paper
Query containment under bag and bag-set semantics Information Processing Letters	2012-01-18	Paper
View selection for real conjunctive queries Acta Informatica	2007-09-10	Paper
A value-propagating transformation technique for Datalog programs based on non-deterministic constructs	2006-09-18	Paper
Temporal stratification tests for linear and branching-time deductive databases Theoretical Computer Science	2005-09-22	Paper
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING International Journal of Foundations of Computer Science	2005-06-22	Paper
Linearisability on Datalog programs Theoretical Computer Science	2004-10-27	Paper
scientific article; zbMATH DE number 2090114 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2088747 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1863371 (Why is no real title available?)	2003-02-04	Paper
Representing time-dependent information in multidimensional XML	2002-09-29	Paper
scientific article; zbMATH DE number 1755602 (Why is no real title available?)	2002-06-16	Paper
The branching-time transformation technique for chain datalog programs Journal of Intelligent Information Systems	2002-01-22	Paper
Extensions of the branching-time logic programming language CACTUS	2001-12-06	Paper
Temporal disjunctive logic programming New Generation Computing	2001-04-17	Paper
Branching-time logic programming: the language Cactus and its applications Computer Languages	2000-01-04	Paper

Research outcomes over time

This page was built for person: Manolis Gergatsoulis