BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Germany
1 × Spain
1 × USA
2 × Italy
Collaborated with:
C.Nomikos A.Charalambidis A.Troumpoukis W.W.Wadge V.Kountouriotis Z.Ésik G.Fourtounis N.Papaspyrou P.Potikas M.Gergatsoulis
Talks about:
program (5) logic (5) higher (4) order (4) grammar (3) boolean (3) semant (3) transform (2) implement (2) extension (2)

Person: Panos Rondogiannis

DBLP DBLP: Rondogiannis:Panos

Contributed to:

PPDP 20152015
ICLP 20142014
KR 20142014
PADL 20132013
DLT 20092009
LATA 20072007
DLT 20062006
ICLP 20052005
LOPSTR 20012001
SAC 19941994
PPDP 20162016

Wrote 11 papers:

PPDP-2015-RondogiannisT #logic programming #using
Expressing preferences in logic programming using an infinite-valued logic (PR, AT), pp. 208–219.
ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, , PR), pp. 725–737.
KR-2014-CharalambidisR #higher-order #logic programming
Constructive Negation in Extensional Higher-Order Logic Programming (AC, PR).
PADL-2013-FourtounisPR #functional #implementation #lazy evaluation
The Generalized Intensional Transformation for Implementing Lazy Functional Languages (GF, NP, PR), pp. 157–172.
DLT-2009-KountouriotisNR #boolean grammar #game studies
A Game-Theoretic Characterization of Boolean Grammars (VK, CN, PR), pp. 334–347.
LATA-2007-NomikosR #boolean grammar
Locally Stratified Boolean Grammars (CN, PR), pp. 437–448.
DLT-2006-KountouriotisNR #boolean grammar #semantics
Well-Founded Semantics for Boolean Grammars (VK, CN, PR), pp. 203–214.
ICLP-2005-NomikosRW #equivalence #semantics
A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics (CN, PR, WWW), pp. 414–415.
LOPSTR-2001-PotikasRG #datalog #nondeterminism #source code
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs (PP, PR, MG), pp. 25–45.
SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation
Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
PPDP-2016-CharalambidisRT #higher-order #logic programming #representation
Higher-order logic programming: an expressive language for representing qualitative preferences (AC, PR, AT), pp. 24–37.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.