Maria Garcia De La Banda


Ontology type: schema:Person     


Person Info

NAME

Maria Garcia

SURNAME

De La Banda

Publications in SciGraph latest 50 shown

  • 2020-09-02 Core-Guided Model Reformulation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2019-04-04 Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures in PROTEIN SUPERSECONDARY STRUCTURES
  • 2018-08-23 Process Plant Layout Optimization: Equipment Allocation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-08-23 Solver-Independent Large Neighbourhood Search in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2018-08-23 Towards Semi-Automatic Learning-Based Model Transformation in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2017-07-13 Context-Sensitive Dynamic Partial Order Reduction in COMPUTER AIDED VERIFICATION
  • 2013-09-07 The future of optimization technology in CONSTRAINTS
  • 2011-11-16 Exploiting subproblem dominance in constraint programming in CONSTRAINTS
  • 2010 Automatically Exploiting Subproblem Equivalence in Constraint Programming in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS
  • 2009 Using Relaxations in Maximum Density Still Life in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2009
  • 2008 Adding Search to Zinc in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2006 From Zinc to Design Model in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2005 Adding Constraint Solving to Mercury in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2005 The G12 Project: Mapping Solver Independent Models to Efficient Solutions in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005
  • 2005 The G12 Project: Mapping Solver Independent Models to Efficient Solutions in LOGIC PROGRAMMING
  • 2004 Herbrand Constraints in HAL in PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
  • 2004 A Generic Framework for Context-Sensitive Analysis of Modular Programs in PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC
  • 2004 The Refined Operational Semantics of Constraint Handling Rules in LOGIC PROGRAMMING
  • 2004 Compiling Ask Constraints in LOGIC PROGRAMMING
  • 2002-09-18 Trailing Analysis for HAL in LOGIC PROGRAMMING
  • 2001-11-13 Building Constraint Solvers with HAL in LOGIC PROGRAMMING
  • 2001-11-13 Optimizing Compilation of Constraint Handling Rules in LOGIC PROGRAMMING
  • 2001-05-02 A Model for Inter-module Analysis and Optimizing Compilation in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2000-12-15 Mode Checking in HAL in COMPUTATIONAL LOGIC — CL 2000
  • 1999 An Overview of HAL in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP’99
  • 1996 Independence in dynamically scheduled logic languages in ALGEBRAIC AND LOGIC PROGRAMMING
  • 1994 Goal dependent vs. goal independent analysis of logic programs in LOGIC PROGRAMMING AND AUTOMATED 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.1002.3", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.425461.0", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7489.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5690.a", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.1008.9", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.482873.2", 
            "type": "Organization"
          }
        ], 
        "familyName": "De La Banda", 
        "givenName": "Maria Garcia", 
        "id": "sg:person.016350443307.93", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-6666-514X"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93", 
          "https://orcid.org/0000-0002-6666-514X"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_684.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.016350443307.93'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    This table displays all metadata directly associated to this object as RDF triples.

    31 TRIPLES      11 PREDICATES      18 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.016350443307.93 schema:affiliation N0444153682bb423b94b96f0242a8474e
    2 grid-institutes:grid.1008.9
    3 grid-institutes:grid.425461.0
    4 grid-institutes:grid.482873.2
    5 grid-institutes:grid.5690.a
    6 grid-institutes:grid.7489.2
    7 schema:familyName De La Banda
    8 schema:givenName Maria Garcia
    9 schema:identifier Nccdd6ff9b6b9496aba2c26a387d71e8f
    10 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
    11 https://orcid.org/0000-0002-6666-514X
    12 schema:sdDatePublished 2022-01-01T19:56
    13 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    14 schema:sdPublisher N1c04fc0c61b040ae9dd6c3073ec1673f
    15 sgo:license sg:explorer/license/
    16 sgo:sdDataset persons
    17 rdf:type schema:Person
    18 N0444153682bb423b94b96f0242a8474e schema:affiliation grid-institutes:grid.1002.3
    19 sgo:isCurrent true
    20 rdf:type schema:OrganizationRole
    21 N1c04fc0c61b040ae9dd6c3073ec1673f schema:name Springer Nature - SN SciGraph project
    22 rdf:type schema:Organization
    23 Nccdd6ff9b6b9496aba2c26a387d71e8f schema:name orcid_id
    24 schema:value 0000-0002-6666-514X
    25 rdf:type schema:PropertyValue
    26 grid-institutes:grid.1002.3 schema:Organization
    27 grid-institutes:grid.1008.9 schema:Organization
    28 grid-institutes:grid.425461.0 schema:Organization
    29 grid-institutes:grid.482873.2 schema:Organization
    30 grid-institutes:grid.5690.a schema:Organization
    31 grid-institutes:grid.7489.2 schema:Organization
     




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


    ...