Panos Rondogiannis


Ontology type: schema:Person     


Person Info

NAME

Panos

SURNAME

Rondogiannis

Publications in SciGraph latest 50 shown

  • 2016-11-01 Extensional Semantics for Higher-Order Logic Programs with Negation in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2014 Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION
  • 2013 The Generalized Intensional Transformation for Implementing Lazy Functional Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2013 Game Semantics for Non-monotonic Intensional Logic Programming in LOGIC PROGRAMMING AND NONMONOTONIC REASONING
  • 2010 Extensional Higher-Order Logic Programming in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2009 A Game-Theoretic Characterization of Boolean Grammars in DEVELOPMENTS IN LANGUAGE THEORY
  • 2008-11-07 Efficient Intensional Implementation for Lazy Functional Languages in MATHEMATICS IN COMPUTER SCIENCE
  • 2008-01-01 On the expressive power of univariate equations over sets of natural numbers in FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE – TCS 2008
  • 2007-01-01 A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation in LOGIC PROGRAMMING AND NONMONOTONIC REASONING
  • 2006 Well-Founded Semantics for Boolean Grammars in DEVELOPMENTS IN LANGUAGE THEORY
  • 2005 A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics in LOGIC PROGRAMMING
  • 2002-09-20 An Infinite-Valued Semantics for Logic Programs with Negation in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2002-07-04 A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2001-11 The Branching-Time Transformation Technique for Chain Datalog Programs in JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
  • 2001-03 Temporal disjunctive logic programming in NEW GENERATION COMPUTING
  • 2000 Multidimensional XML in DISTRIBUTED COMMUNITIES ON THE WEB
  • 1997 Cactus: A branching-time logic programming language in QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.5216.0", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9594.1", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.143640.4", 
            "type": "Organization"
          }
        ], 
        "familyName": "Rondogiannis", 
        "givenName": "Panos", 
        "id": "sg:person.010647771520.40", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010647771520.40"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-08-04T17:38", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220804/entities/gbq_results/person/person_729.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.010647771520.40'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.010647771520.40'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.010647771520.40'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.010647771520.40'


     




    Preview window. Press ESC to close (or click here)


    ...