Adding Search to Zinc View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2008

AUTHORS

Reza Rafeh , Kim Marriott , Maria Garcia de la Banda , Nicholas Nethercote , Mark Wallace

ABSTRACT

We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies. More... »

PAGES

624-629

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-85958-1_54

DOI

http://dx.doi.org/10.1007/978-3-540-85958-1_54

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1040568523


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

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": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rafeh", 
        "givenName": "Reza", 
        "id": "sg:person.016367526545.88", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016367526545.88"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, 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": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, 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 Victoria Research Laboratory, University of Melbourne, Australia", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "NICTA Victoria Research Laboratory, University of Melbourne, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nethercote", 
        "givenName": "Nicholas", 
        "id": "sg:person.07732570545.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732570545.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Clayton School\u00a0of IT, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "Clayton School\u00a0of IT, 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"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.", 
    "editor": [
      {
        "familyName": "Stuckey", 
        "givenName": "Peter J.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-85958-1_54", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-85957-4", 
        "978-3-540-85958-1"
      ], 
      "name": "Principles and Practice of Constraint Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "non-intrusive extension", 
      "user-defined functions", 
      "local search", 
      "search patterns", 
      "search strategy", 
      "search", 
      "different kinds", 
      "users", 
      "generality", 
      "extension", 
      "kind", 
      "number", 
      "strategies", 
      "branches", 
      "parameters", 
      "patterns", 
      "function", 
      "approach", 
      "zinc"
    ], 
    "name": "Adding Search to Zinc", 
    "pagination": "624-629", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040568523"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-85958-1_54"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-85958-1_54", 
      "https://app.dimensions.ai/details/publication/pub.1040568523"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:52", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_407.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-85958-1_54"
  }
]
 

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/pub.10.1007/978-3-540-85958-1_54'

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/978-3-540-85958-1_54'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-85958-1_54'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-85958-1_54'


 

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

110 TRIPLES      23 PREDICATES      45 URIs      38 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-85958-1_54 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N78bb18b6bfd9451f955c026589f8878d
4 schema:datePublished 2008
5 schema:datePublishedReg 2008-01-01
6 schema:description We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a number of generic search patterns that take Zinc user-defined functions as parameters. We show the generality of the approach by using it to implement three very different kinds of search: backtracking search, branch-and-bound search, and local search. Our approach is competitive with hand-coded search strategies.
7 schema:editor N6e6a18d86f2e4cb098e257c9841905d4
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N5e1e706fa27744a8aaccc6338ec55aa3
12 schema:keywords approach
13 branches
14 different kinds
15 extension
16 function
17 generality
18 kind
19 local search
20 non-intrusive extension
21 number
22 parameters
23 patterns
24 search
25 search patterns
26 search strategy
27 strategies
28 user-defined functions
29 users
30 zinc
31 schema:name Adding Search to Zinc
32 schema:pagination 624-629
33 schema:productId N254d85c514714c949625a0de11f2e969
34 N442a05d3cdb242dc8c4000d7b9f64a11
35 schema:publisher N8483c868aadc42599add96e4b25e4e6f
36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040568523
37 https://doi.org/10.1007/978-3-540-85958-1_54
38 schema:sdDatePublished 2022-05-10T10:52
39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
40 schema:sdPublisher N56ae83793ac045e9a8ae1e85eb510357
41 schema:url https://doi.org/10.1007/978-3-540-85958-1_54
42 sgo:license sg:explorer/license/
43 sgo:sdDataset chapters
44 rdf:type schema:Chapter
45 N254d85c514714c949625a0de11f2e969 schema:name doi
46 schema:value 10.1007/978-3-540-85958-1_54
47 rdf:type schema:PropertyValue
48 N4368ca67ae7e4f75961f98eec759b45c rdf:first sg:person.016350443307.93
49 rdf:rest N65ec3f0ce33444ffae48504edad3705d
50 N442a05d3cdb242dc8c4000d7b9f64a11 schema:name dimensions_id
51 schema:value pub.1040568523
52 rdf:type schema:PropertyValue
53 N56ae83793ac045e9a8ae1e85eb510357 schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 N5e1e706fa27744a8aaccc6338ec55aa3 schema:isbn 978-3-540-85957-4
56 978-3-540-85958-1
57 schema:name Principles and Practice of Constraint Programming
58 rdf:type schema:Book
59 N627ef18cfba042b4a2177100935f877f rdf:first sg:person.014375607254.44
60 rdf:rest N4368ca67ae7e4f75961f98eec759b45c
61 N65ec3f0ce33444ffae48504edad3705d rdf:first sg:person.07732570545.28
62 rdf:rest N8e568e8ed42547e28e283a9253c6f4c3
63 N6e6a18d86f2e4cb098e257c9841905d4 rdf:first Nbb95e345dadf49589a0e087129303b54
64 rdf:rest rdf:nil
65 N78bb18b6bfd9451f955c026589f8878d rdf:first sg:person.016367526545.88
66 rdf:rest N627ef18cfba042b4a2177100935f877f
67 N8483c868aadc42599add96e4b25e4e6f schema:name Springer Nature
68 rdf:type schema:Organisation
69 N8e568e8ed42547e28e283a9253c6f4c3 rdf:first sg:person.016566542221.14
70 rdf:rest rdf:nil
71 Nbb95e345dadf49589a0e087129303b54 schema:familyName Stuckey
72 schema:givenName Peter J.
73 rdf:type schema:Person
74 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
75 schema:name Information and Computing Sciences
76 rdf:type schema:DefinedTerm
77 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
78 schema:name Artificial Intelligence and Image Processing
79 rdf:type schema:DefinedTerm
80 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
81 schema:familyName Marriott
82 schema:givenName Kim
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
84 rdf:type schema:Person
85 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
86 schema:familyName de la Banda
87 schema:givenName Maria Garcia
88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
89 rdf:type schema:Person
90 sg:person.016367526545.88 schema:affiliation grid-institutes:grid.1002.3
91 schema:familyName Rafeh
92 schema:givenName Reza
93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016367526545.88
94 rdf:type schema:Person
95 sg:person.016566542221.14 schema:affiliation grid-institutes:grid.1002.3
96 schema:familyName Wallace
97 schema:givenName Mark
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016566542221.14
99 rdf:type schema:Person
100 sg:person.07732570545.28 schema:affiliation grid-institutes:None
101 schema:familyName Nethercote
102 schema:givenName Nicholas
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732570545.28
104 rdf:type schema:Person
105 grid-institutes:None schema:alternateName NICTA Victoria Research Laboratory, University of Melbourne, Australia
106 schema:name NICTA Victoria Research Laboratory, University of Melbourne, Australia
107 rdf:type schema:Organization
108 grid-institutes:grid.1002.3 schema:alternateName Clayton School of IT, Monash University, Australia
109 schema:name Clayton School of IT, Monash University, Australia
110 rdf:type schema:Organization
 




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


...