Manolis Gergatsoulis

Available identifiers

zbMath Open gergatsoulis.manolisMaRDI QIDQ169898

List of research outcomes

Publication	Date of Publication	Type
Unfold/fold transformations for disjunctive logic programs	2016-05-26	Paper
Query containment under bag and bag-set semantics	2012-01-18	Paper
View selection for real conjunctive queries	2007-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q5487109	2006-09-18	Paper
Temporal stratification tests for linear and branching-time deductive databases	2005-09-22	Paper
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING	2005-06-22	Paper
Linearisability on Datalog programs	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3045440	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808806	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4790645	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q2768165	2002-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4535510	2002-06-16	Paper
The branching-time transformation technique for chain datalog programs	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2758304	2001-12-06	Paper
Temporal disjunctive logic programming	2001-04-17	Paper
Branching-time logic programming: the language Cactus and its applications	2000-01-04	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Manolis Gergatsoulis