Bern Martens


Ontology type: schema:Person     


Person Info

NAME

Bern

SURNAME

Martens

Publications in SciGraph latest 50 shown

  • 1999-04-30 Bottom-Up Specialisation of Logic Programs in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1998-11-18 Termination Analysis for Tabled Logic Programming in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1998-11-18 To Parse or Not To Parse in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1998-11-18 Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract) in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1998 A framework for bottom up specialisation of logic programs in PRINCIPLES OF DECLARATIVE PROGRAMMING
  • 1997 Conjunctive partial deduction in practice in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1996 Controlling conjunctive partial deduction in PROGRAMMING LANGUAGES: IMPLEMENTATIONS, LOGICS, AND PROGRAMS
  • 1996 Global control for partial deduction through characteristic atoms and global trees in PARTIAL EVALUATION
  • 1994 Some Further Issues in Finite Unfolding (Abstract) in LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION
  • 1992-03 A general criterion for avoiding infinite unfolding during partial deduction in NEW GENERATION COMPUTING
  • 1992 A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation in META-PROGRAMMING IN LOGIC
  • 1992 Integrity verification in knowledge bases in LOGIC PROGRAMMING
  • 1991-09 Compiling bottom-up and mixed derivations into top-down executable logic programs in JOURNAL OF AUTOMATED REASONING
  • Affiliations

  • KU Leuven (current)
  • 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.5596.f", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Martens", 
        "givenName": "Bern", 
        "id": "sg:person.011142616671.92", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011142616671.92"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2021-11-01T19:33", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/person/person_832.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.011142616671.92'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...