#### Filter Results:

- Full text PDF available (49)

#### Publication Year

1994

2017

- This year (3)
- Last 5 years (19)
- Last 10 years (32)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Panos Rondogiannis, William W. Wadge
- ACM Trans. Comput. Log.
- 2005

We give a purely model-theoretic characterization of the semantics of logic programs with negation-as-failure allowed in clause bodies. In our semantics, the meaning of a program is, as in the classical case, the unique <i>minimum</i> model in a program-independent ordering. We use an expanded truth domain that has an uncountable linearly ordered set of… (More)

- Panos Rondogiannis, William W. Wadge
- J. Funct. Program.
- 1997

The purpose of this paper is to demonstrate that rst-order functional programs can be transformed into intensional programs of nullary variables, in a semantics preserving way. On the foundational side, the goal of our study is to bring new insights and a better understanding of the nature of functional languages. From a practical point of view, our… (More)

- Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
- Developments in Language Theory
- 2006

Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In this paper we give a novel semantics for boolean grammars which applies to all such grammars , independently of their syntax. The key idea of our proposal comes from the area of negation in… (More)

We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets. Moreover, every program has a unique minimum Herbrand model which is the greatest lower bound of all Herbrand models of the program and the least… (More)

Extensional higher-order logic programming has been introduced as a generalization of classical logic programming. An important characteristic of this paradigm is that it preserves all the well-known properties of traditional logic programming. In this paper we consider the semantics of negation in the context of the new paradigm. Using some recent results… (More)

- Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
- Theor. Comput. Sci.
- 2005

We consider the problem of extending temporal deductive databases with stratified negation. We argue that the classical stratification test for deductive databases is too restrictive when one shifts attention to the temporal case. Moreover, as we demonstrate, the (more general) local stratification approach is impractical: detecting whether a temporal… (More)

- Zoltán Ésik, Panos Rondogiannis
- Theor. Comput. Sci.
- 2015

Cím: A fixed point theorem for non-monotonic functions

- Christos Nomikos, Panos Rondogiannis
- LATA
- 2007

We introduce locally stratified Boolean grammars, a natural subclass of Boolean grammars with many desirable properties. Informally, if a grammar is locally stratified then the set of all pairs of the form (nonterminal, string) of the grammar can be mapped to a (possibly infinite) set of strata so as that the following holds: if the membership of a string w… (More)

- Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
- Theor. Comput. Sci.
- 2009

We obtain a simple, purely game-theoretic characterization of Boolean grammars In particular, we propose a two-player infinite game of perfect information for Boolean grammars, which is equivalent to their well-founded semantics. The game is directly applicable to the simpler classes of conjunctive and context-free grammars, and offers a promising new… (More)

- Panos Rondogiannis, William W. Wadge
- J. Funct. Program.
- 1999

In this paper we demonstrate that a broad class of higher-order functional programs can be transformed into semantically equivalent multidimensional intensional programs that contain only nullary variable definitions. The proposed algorithm systematically eliminates user-defined functions from the source program, by appropriately introducing context… (More)