Ontology type: schema:Chapter
2005
AUTHORSPeter J. Stuckey , Maria Garcia de la Banda , Michael Maher , Kim Marriott , John Slaney , Zoltan Somogyi , Mark Wallace , Toby Walsh
ABSTRACTThe G12 project recently started by National ICT Australia (NICTA)is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far. More... »
PAGES9-13
Logic Programming
ISBN
978-3-540-29208-1
978-3-540-31947-4
http://scigraph.springernature.com/pub.10.1007/11562931_3
DOIhttp://dx.doi.org/10.1007/11562931_3
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1037313849
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",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Information and Computing Sciences",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Artificial Intelligence and Image Processing",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia",
"id": "http://www.grid.ac/institutes/grid.1008.9",
"name": [
"NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia"
],
"type": "Organization"
},
"familyName": "Stuckey",
"givenName": "Peter J.",
"id": "sg:person.012243374043.93",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"School of Comp. Sci. & Soft. Eng., Monash University, Australia"
],
"type": "Organization"
},
"familyName": "de la Banda",
"givenName": "Maria Garcia",
"id": "sg:person.016350443307.93",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia",
"id": "http://www.grid.ac/institutes/grid.1005.4",
"name": [
"NICTA Kensington Laboratory, University of New South Wales, 2052, Australia"
],
"type": "Organization"
},
"familyName": "Maher",
"givenName": "Michael",
"id": "sg:person.015555013771.33",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015555013771.33"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"School of Comp. Sci. & Soft. Eng., Monash University, Australia"
],
"type": "Organization"
},
"familyName": "Marriott",
"givenName": "Kim",
"id": "sg:person.014375607254.44",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "NICTA Canberra Laboratory, 2601, Canberra, ACT, Australia",
"id": "http://www.grid.ac/institutes/None",
"name": [
"NICTA Canberra Laboratory, 2601, Canberra, ACT, Australia"
],
"type": "Organization"
},
"familyName": "Slaney",
"givenName": "John",
"id": "sg:person.011000764740.78",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011000764740.78"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia",
"id": "http://www.grid.ac/institutes/grid.1008.9",
"name": [
"NICTA Victoria Laboratory, Department of Computer Science and Software Engineering, University of Melbourne, 3010, Australia"
],
"type": "Organization"
},
"familyName": "Somogyi",
"givenName": "Zoltan",
"id": "sg:person.014231042555.87",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014231042555.87"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia",
"id": "http://www.grid.ac/institutes/grid.1002.3",
"name": [
"School of Comp. Sci. & Soft. Eng., Monash University, Australia"
],
"type": "Organization"
},
"familyName": "Wallace",
"givenName": "Mark",
"id": "sg:person.016566542221.14",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "NICTA Kensington Laboratory, University of New South Wales, 2052, Australia",
"id": "http://www.grid.ac/institutes/grid.1005.4",
"name": [
"NICTA Kensington Laboratory, University of New South Wales, 2052, Australia"
],
"type": "Organization"
},
"familyName": "Walsh",
"givenName": "Toby",
"id": "sg:person.016152454637.18",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016152454637.18"
],
"type": "Person"
}
],
"datePublished": "2005",
"datePublishedReg": "2005-01-01",
"description": "The G12 project recently started by National ICT Australia (NICTA)is an ambitious project to develop a software platform for solving large scale industrial combinatorial optimisation problems. The core design involves three languages: Zinc, Cadmium and Mercury (Group 12 of the periodic table). Zinc is a declarative modelling language for expressing problems, independent of any solving methodology. Cadmium is a mapping language for mapping Zinc models to underlying solvers and/or search strategies, including hybrid approaches. Finally, existing Mercury will be extended as a language for building extensible and hybridizable solvers. The same Zinc model, used with different Cadmium mappings, will allow us to experiment with different complete, local, or hybrid search approaches for the same problem. This talk will explain the G12 global design, the final G12 objectives, and our progress so far.",
"editor": [
{
"familyName": "Gabbrielli",
"givenName": "Maurizio",
"type": "Person"
},
{
"familyName": "Gupta",
"givenName": "Gopal",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/11562931_3",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-29208-1",
"978-3-540-31947-4"
],
"name": "Logic Programming",
"type": "Book"
},
"keywords": [
"G12 project",
"Zinc models",
"declarative modelling language",
"hybrid search approach",
"National ICT Australia",
"combinatorial optimization problems",
"modelling language",
"underlying solver",
"software platform",
"mapping language",
"search approach",
"efficient solution",
"hybrid approach",
"optimization problem",
"independent models",
"search strategy",
"language",
"global design",
"same problem",
"solver",
"core design",
"ambitious project",
"project",
"platform",
"design",
"model",
"methodology",
"mapping",
"solution",
"strategies",
"objective",
"progress",
"talk",
"problem",
"approach",
"Australia",
"mercury",
"zinc",
"cadmium"
],
"name": "The G12 Project: Mapping Solver Independent Models to Efficient Solutions",
"pagination": "9-13",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1037313849"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/11562931_3"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/11562931_3",
"https://app.dimensions.ai/details/publication/pub.1037313849"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:49",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_49.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/11562931_3"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
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/pub.10.1007/11562931_3'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/11562931_3'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11562931_3'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11562931_3'
This table displays all metadata directly associated to this object as RDF triples.
162 TRIPLES
23 PREDICATES
65 URIs
58 LITERALS
7 BLANK NODES