MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Manolis Gergatsoulis" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 25 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Temporal and Modal Logic Programming Languages  
  • by Manolis Gergatsoulis — 2001 — In A. Kent and J.G. Williams (Eds.), Encyclopedia of Microcomputers
  • …Temporal and modal logics have been used in many applications in Arti cial Intelligence and Computer Science for the manipulation of information with timedependent or, in general, context-dependent properties. Knowledge representation and reasoning, temporal planning, simulation, temporal veri catio…
  • Cited by 5 (1 self) – Add To MetaCart
  • The branching-time transformation technique for chain datalog programs  
  • by Panos Rondogiannis, Manolis Gergatsoulis — 2001 — Journal of Intelligent Information Systems
  • …Abstract. The branching-time transformation technique has proven to be an e cient approach for implementing functional programming languages. In this paper we demonstrate that such a technique can also be de ned for logic programming languages. More speci cally, we rstintroduce Branching Datalog, a …
  • Cited by 3 (2 self) – Add To MetaCart
  • Multidimensional rdf  
  • by Manolis Gergatsoulis, Pantelis Lilis — 2005 — In Proc. 2005 Intl. Conf. on Ontologies, Databases, and Semantics (ODBASE
  • …Abstract. RDF has been proposed by W3C as a metadata model and language for representing information about resources in WWW. In this paper we introduce Multidimensional RDF (or MRDF), as an extension of RDF, suitable for representing context-dependent RDF data. In MRDF we have a set of dimensions wh…
  • Cited by 1 (0 self) – Add To MetaCart
  • Representing changes in XML documents using dimensions  
  • by Manolis Gergatsoulis, Yannis Stavrakas — 2003 — In XSym
  • …Abstract. In this paper, we present a method for representing the history of XML documents using Multidimensional XML (MXML). We demonstrate how a set of basic change operations on XML documents can be represented in MXML, and show that temporal XML snapshots can be obtained from MXML representation…
  • Cited by 14 (2 self) – Add To MetaCart
  • Unfold/Fold Transformations For Definite Clause Programs  
  • by Manolis Gergatsoulis, Maria Katzouraki — 1994 — In Proceedings of PLILP, LNCS 844
  • …. An unfold/fold program transformation system which extends the unfold/fold transformations of H. Tamaki and T. Sato is presented in this paper. The system consists of unfolding, simultaneous folding, and generalization + equality introduction rules. The simultaneous folding rule permits the foldin…
  • Cited by 17 (5 self) – Add To MetaCart
  • Linearizability on Datalog Programs  
  • by Foto Afrati, Manolis Gergatsoulis, Francesca Toni
  • …We study the problem of transforming database queries into a special class of database logic programs (Datalog programs), namely linear Datalog programs, whose clauses have at most one intentional atom in their bodies. In particular we investigate linearisability of (database queries corresponding t…
  • Add To MetaCart
  • Multidimensional XML (Extended Abstract)  
  • by Yannis Stavrakas, Manolis Gergatsoulis, Panos Rondogiannis
  • …The Extensible Markup Language (XML) tends to become a widely accepted formalism for the representation and exchange of data over the Web. A problem that often arises in practice is the representation in XML of data that are context-dependent (for example, information that exists in many di erent la…
  • Add To MetaCart
  • Representing Context-Dependent Information Using Multidimensional XML  
  • by Yannis Stavrakas, Manolis Gergatsoulis, Theodoros Mitakos — 2000 — Research and Advanced Technology for Digital Libraries, 4th European Conference ECDL'2000, Lecture Notes in Computer Science (LNCS) 1923
  • …XML (eXtensible Markup Language) is emerging as a new standard for data representation and exchange over the Web [3]. It is a markup language that resembles HTML, but unlike HTML, it focuses on the structure of data rather than on their presentation. The extensibility of XML makes it an ideal candid…
  • Cited by 5 (5 self) – Add To MetaCart
  • Temporal Disjunctive Logic Programming  
  • by Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos — 1997
  • …In this paper we introduce the logic programming language Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic behaviour as well as uncertainty, two notions that are very common in a v…
  • Cited by 1 (1 self) – Add To MetaCart
  • Incorporating Dimensions to XML and DTD  
  • by Manolis Gergatsoulis, Yannis Stavrakas, Dimitris Karteris — 2001 — In In Database and Expert Systems Applications (DEXA’01
  • …Abstract. In this paper we investigate various aspects of representing multidimensional information in the frame of the WWW. Multidimensional XML (MXML) is an extension of XML suitable for representing data that assume di erent facets, having di erent value or di erent structure, under di erent cont…
  • Cited by 7 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB