A Logic for Incomplete Sequential Information View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2010

AUTHORS

David Hutchison , Takeo Kanade , Josef Kittler , Jon M. Kleinberg , Friedemann Mattern , John C. Mitchell , Moni Naor , Oscar Nierstrasz , C. Pandu Rangan , Bernhard Steffen , Madhu Sudan , Demetri Terzopoulos , Doug Tygar , Moshe Y. Vardi , Gerhard Weikum , Norihiro Kamide

ABSTRACT

Describing incomplete sequential information is of growing importance in Knowledge Representation in Artificial Intelligence and Computer Science. To obtain logical foundations for representing incomplete sequential information, a new logic, called sequence-indexed constructive propositional logic (SLJ), is introduced as a Gentzen-type sequent calculus by extending Gentzen’s LJ for intuitionistic logic. The system LJ is known as useful for representing incomplete information, and SLJ is obtained from LJ by adding a sequence modal operator which can represent sequential information. The cut-elimination and decidability theorems for SLJ are proved. A sequence-indexed Kripke semantics is introduced for SLJ, and the completeness theorem with respect to this semantics is proved. A logic programming framework can be developed based on SLJ. More... »

PAGES

153-162

Book

TITLE

Knowledge-Based and Intelligent Information and Engineering Systems

ISBN

978-3-642-15389-1
978-3-642-15390-7

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-15390-7_16

DOI

http://dx.doi.org/10.1007/978-3-642-15390-7_16

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "familyName": "Hutchison", 
        "givenName": "David", 
        "id": "sg:person.012636622347.55", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012636622347.55"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kanade", 
        "givenName": "Takeo", 
        "id": "sg:person.010127272557.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010127272557.31"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kittler", 
        "givenName": "Josef", 
        "id": "sg:person.010622266176.73", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010622266176.73"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Kleinberg", 
        "givenName": "Jon M.", 
        "id": "sg:person.011522233557.04", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011522233557.04"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Mattern", 
        "givenName": "Friedemann", 
        "id": "sg:person.012317614157.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012317614157.00"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Mitchell", 
        "givenName": "John C.", 
        "id": "sg:person.012713775677.86", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012713775677.86"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Naor", 
        "givenName": "Moni", 
        "id": "sg:person.07776170271.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Nierstrasz", 
        "givenName": "Oscar", 
        "id": "sg:person.014510135557.74", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014510135557.74"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Rangan", 
        "givenName": "C. Pandu", 
        "id": "sg:person.016366027737.61", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016366027737.61"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Steffen", 
        "givenName": "Bernhard", 
        "id": "sg:person.013270457265.00", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270457265.00"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Sudan", 
        "givenName": "Madhu", 
        "id": "sg:person.014663420265.17", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014663420265.17"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Terzopoulos", 
        "givenName": "Demetri", 
        "id": "sg:person.016347323445.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016347323445.35"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Tygar", 
        "givenName": "Doug", 
        "id": "sg:person.011464452455.47", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011464452455.47"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Vardi", 
        "givenName": "Moshe Y.", 
        "id": "sg:person.011743631465.56", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56"
        ], 
        "type": "Person"
      }, 
      {
        "familyName": "Weikum", 
        "givenName": "Gerhard", 
        "id": "sg:person.010663162237.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663162237.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Waseda University", 
          "id": "https://www.grid.ac/institutes/grid.5290.e", 
          "name": [
            "Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo\u00a0169-8050, Japan"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kamide", 
        "givenName": "Norihiro", 
        "id": "sg:person.016074105075.76", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016074105075.76"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0168-0072(91)90068-w", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1002917578"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-94-017-3598-8_11", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013771757", 
          "https://doi.org/10.1007/978-94-017-3598-8_11"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jal.2009.06.001", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019674856"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-10439-8_49", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033585096", 
          "https://doi.org/10.1007/978-3-642-10439-8_49"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-10439-8_49", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033585096", 
          "https://doi.org/10.1007/978-3-642-10439-8_49"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-56734-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702589", 
          "https://doi.org/10.1007/3-540-56734-8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-56734-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702589", 
          "https://doi.org/10.1007/3-540-56734-8"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-56734-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702589", 
          "https://doi.org/10.1007/3-540-56734-8"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2010", 
    "datePublishedReg": "2010-01-01", 
    "description": "Describing incomplete sequential information is of growing importance in Knowledge Representation in Artificial Intelligence and Computer Science. To obtain logical foundations for representing incomplete sequential information, a new logic, called sequence-indexed constructive propositional logic (SLJ), is introduced as a Gentzen-type sequent calculus by extending Gentzen\u2019s LJ for intuitionistic logic. The system LJ is known as useful for representing incomplete information, and SLJ is obtained from LJ by adding a sequence modal operator which can represent sequential information. The cut-elimination and decidability theorems for SLJ are proved. A sequence-indexed Kripke semantics is introduced for SLJ, and the completeness theorem with respect to this semantics is proved. A logic programming framework can be developed based on SLJ.", 
    "editor": [
      {
        "familyName": "Setchi", 
        "givenName": "Rossitza", 
        "type": "Person"
      }, 
      {
        "familyName": "Jordanov", 
        "givenName": "Ivan", 
        "type": "Person"
      }, 
      {
        "familyName": "Howlett", 
        "givenName": "Robert J.", 
        "type": "Person"
      }, 
      {
        "familyName": "Jain", 
        "givenName": "Lakhmi C.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-15390-7_16", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-642-15389-1", 
        "978-3-642-15390-7"
      ], 
      "name": "Knowledge-Based and Intelligent Information and Engineering Systems", 
      "type": "Book"
    }, 
    "name": "A Logic for Incomplete Sequential Information", 
    "pagination": "153-162", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-15390-7_16"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "067aa3323ef2ce281e63234fd905a3bef8051c136fabd0216f4f8c0cf42b8837"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1001360196"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-15390-7_16", 
      "https://app.dimensions.ai/details/publication/pub.1001360196"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T18:48", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8681_00000579.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-642-15390-7_16"
  }
]
 

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-642-15390-7_16'

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-642-15390-7_16'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-15390-7_16'

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-642-15390-7_16'


 

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

188 TRIPLES      23 PREDICATES      32 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-15390-7_16 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nedd6a452cad04ea380552360770e370f
4 schema:citation sg:pub.10.1007/3-540-56734-8
5 sg:pub.10.1007/978-3-642-10439-8_49
6 sg:pub.10.1007/978-94-017-3598-8_11
7 https://doi.org/10.1016/0168-0072(91)90068-w
8 https://doi.org/10.1016/j.jal.2009.06.001
9 schema:datePublished 2010
10 schema:datePublishedReg 2010-01-01
11 schema:description Describing incomplete sequential information is of growing importance in Knowledge Representation in Artificial Intelligence and Computer Science. To obtain logical foundations for representing incomplete sequential information, a new logic, called sequence-indexed constructive propositional logic (SLJ), is introduced as a Gentzen-type sequent calculus by extending Gentzen’s LJ for intuitionistic logic. The system LJ is known as useful for representing incomplete information, and SLJ is obtained from LJ by adding a sequence modal operator which can represent sequential information. The cut-elimination and decidability theorems for SLJ are proved. A sequence-indexed Kripke semantics is introduced for SLJ, and the completeness theorem with respect to this semantics is proved. A logic programming framework can be developed based on SLJ.
12 schema:editor Nedc2c3f2b78b44708d152d01d30b322e
13 schema:genre chapter
14 schema:inLanguage en
15 schema:isAccessibleForFree false
16 schema:isPartOf N3fff9fb580044975aad9164db183c76b
17 schema:name A Logic for Incomplete Sequential Information
18 schema:pagination 153-162
19 schema:productId N0e12a9550b8d4b5694e7cdeb5c343dde
20 Na13019f59e6942dd951ec09700e3e502
21 Nd99908a5b44b4237aab5d4c37ad61740
22 schema:publisher Ne8997f2dc4cf4b9aa70aabe0aa871131
23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001360196
24 https://doi.org/10.1007/978-3-642-15390-7_16
25 schema:sdDatePublished 2019-04-15T18:48
26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
27 schema:sdPublisher Nb145e89300364e31bd1b85b9e9902295
28 schema:url http://link.springer.com/10.1007/978-3-642-15390-7_16
29 sgo:license sg:explorer/license/
30 sgo:sdDataset chapters
31 rdf:type schema:Chapter
32 N009c28f8f1b84c34b59b15036511b687 rdf:first sg:person.012317614157.00
33 rdf:rest N2193d3e44f9d4945972bbfb07e881bb7
34 N0e12a9550b8d4b5694e7cdeb5c343dde schema:name dimensions_id
35 schema:value pub.1001360196
36 rdf:type schema:PropertyValue
37 N17f92a1abe03441caee385a50a6da424 rdf:first sg:person.011743631465.56
38 rdf:rest N3e2da0bb44044c9a8e9fa12ea4d0727a
39 N2193d3e44f9d4945972bbfb07e881bb7 rdf:first sg:person.012713775677.86
40 rdf:rest N28a9272aa5b8428bafe3a9cb8e5ba461
41 N248e65ee04844c5bb229df2dcb61503f schema:familyName Howlett
42 schema:givenName Robert J.
43 rdf:type schema:Person
44 N25d9de63096b475d979f24c059d3e948 schema:familyName Jain
45 schema:givenName Lakhmi C.
46 rdf:type schema:Person
47 N28a9272aa5b8428bafe3a9cb8e5ba461 rdf:first sg:person.07776170271.83
48 rdf:rest Nbdcc1ed4fb49489ab481009173bbd837
49 N3e2da0bb44044c9a8e9fa12ea4d0727a rdf:first sg:person.010663162237.83
50 rdf:rest Necfdb70290914ca8b917f0d5ae944d85
51 N3fff9fb580044975aad9164db183c76b schema:isbn 978-3-642-15389-1
52 978-3-642-15390-7
53 schema:name Knowledge-Based and Intelligent Information and Engineering Systems
54 rdf:type schema:Book
55 N48e7876586d347119ad4d9ef952a79a1 rdf:first sg:person.010127272557.31
56 rdf:rest N7569e39cc3cd451eb5db9698865de11e
57 N4f3b12a5f7d8442bb0135a28d5059d41 rdf:first sg:person.016366027737.61
58 rdf:rest Nc9ad1f46074844d89b06ecc26eb09212
59 N5cf476d2255f439eb16446f981c5e01f rdf:first sg:person.016347323445.35
60 rdf:rest Ne81805fd48b84cad8f5fb5c1358084eb
61 N6090f2a99a044f749bb42631831dcd0c rdf:first sg:person.011522233557.04
62 rdf:rest N009c28f8f1b84c34b59b15036511b687
63 N6f198c0d807a46339ffbf8948f0aac8e rdf:first N248e65ee04844c5bb229df2dcb61503f
64 rdf:rest N8cd14b6c7124442f9f735cf78bbfda10
65 N72371b7c1e5741c4af5d029c0e8d9dbf schema:familyName Setchi
66 schema:givenName Rossitza
67 rdf:type schema:Person
68 N7569e39cc3cd451eb5db9698865de11e rdf:first sg:person.010622266176.73
69 rdf:rest N6090f2a99a044f749bb42631831dcd0c
70 N827759ec4c5c40a7bcaec3b0a6089fda rdf:first sg:person.014663420265.17
71 rdf:rest N5cf476d2255f439eb16446f981c5e01f
72 N8cd14b6c7124442f9f735cf78bbfda10 rdf:first N25d9de63096b475d979f24c059d3e948
73 rdf:rest rdf:nil
74 N8f5ab7ac1a204f8fb4ae537da8f42b31 rdf:first Nb64671284650484696820b63d012ebed
75 rdf:rest N6f198c0d807a46339ffbf8948f0aac8e
76 Na13019f59e6942dd951ec09700e3e502 schema:name readcube_id
77 schema:value 067aa3323ef2ce281e63234fd905a3bef8051c136fabd0216f4f8c0cf42b8837
78 rdf:type schema:PropertyValue
79 Nb145e89300364e31bd1b85b9e9902295 schema:name Springer Nature - SN SciGraph project
80 rdf:type schema:Organization
81 Nb64671284650484696820b63d012ebed schema:familyName Jordanov
82 schema:givenName Ivan
83 rdf:type schema:Person
84 Nbdcc1ed4fb49489ab481009173bbd837 rdf:first sg:person.014510135557.74
85 rdf:rest N4f3b12a5f7d8442bb0135a28d5059d41
86 Nc9ad1f46074844d89b06ecc26eb09212 rdf:first sg:person.013270457265.00
87 rdf:rest N827759ec4c5c40a7bcaec3b0a6089fda
88 Nd99908a5b44b4237aab5d4c37ad61740 schema:name doi
89 schema:value 10.1007/978-3-642-15390-7_16
90 rdf:type schema:PropertyValue
91 Ne81805fd48b84cad8f5fb5c1358084eb rdf:first sg:person.011464452455.47
92 rdf:rest N17f92a1abe03441caee385a50a6da424
93 Ne8997f2dc4cf4b9aa70aabe0aa871131 schema:location Berlin, Heidelberg
94 schema:name Springer Berlin Heidelberg
95 rdf:type schema:Organisation
96 Necfdb70290914ca8b917f0d5ae944d85 rdf:first sg:person.016074105075.76
97 rdf:rest rdf:nil
98 Nedc2c3f2b78b44708d152d01d30b322e rdf:first N72371b7c1e5741c4af5d029c0e8d9dbf
99 rdf:rest N8f5ab7ac1a204f8fb4ae537da8f42b31
100 Nedd6a452cad04ea380552360770e370f rdf:first sg:person.012636622347.55
101 rdf:rest N48e7876586d347119ad4d9ef952a79a1
102 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
103 schema:name Information and Computing Sciences
104 rdf:type schema:DefinedTerm
105 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
106 schema:name Computation Theory and Mathematics
107 rdf:type schema:DefinedTerm
108 sg:person.010127272557.31 schema:familyName Kanade
109 schema:givenName Takeo
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010127272557.31
111 rdf:type schema:Person
112 sg:person.010622266176.73 schema:familyName Kittler
113 schema:givenName Josef
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010622266176.73
115 rdf:type schema:Person
116 sg:person.010663162237.83 schema:familyName Weikum
117 schema:givenName Gerhard
118 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010663162237.83
119 rdf:type schema:Person
120 sg:person.011464452455.47 schema:familyName Tygar
121 schema:givenName Doug
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011464452455.47
123 rdf:type schema:Person
124 sg:person.011522233557.04 schema:familyName Kleinberg
125 schema:givenName Jon M.
126 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011522233557.04
127 rdf:type schema:Person
128 sg:person.011743631465.56 schema:familyName Vardi
129 schema:givenName Moshe Y.
130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011743631465.56
131 rdf:type schema:Person
132 sg:person.012317614157.00 schema:familyName Mattern
133 schema:givenName Friedemann
134 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012317614157.00
135 rdf:type schema:Person
136 sg:person.012636622347.55 schema:familyName Hutchison
137 schema:givenName David
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012636622347.55
139 rdf:type schema:Person
140 sg:person.012713775677.86 schema:familyName Mitchell
141 schema:givenName John C.
142 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012713775677.86
143 rdf:type schema:Person
144 sg:person.013270457265.00 schema:familyName Steffen
145 schema:givenName Bernhard
146 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013270457265.00
147 rdf:type schema:Person
148 sg:person.014510135557.74 schema:familyName Nierstrasz
149 schema:givenName Oscar
150 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014510135557.74
151 rdf:type schema:Person
152 sg:person.014663420265.17 schema:familyName Sudan
153 schema:givenName Madhu
154 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014663420265.17
155 rdf:type schema:Person
156 sg:person.016074105075.76 schema:affiliation https://www.grid.ac/institutes/grid.5290.e
157 schema:familyName Kamide
158 schema:givenName Norihiro
159 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016074105075.76
160 rdf:type schema:Person
161 sg:person.016347323445.35 schema:familyName Terzopoulos
162 schema:givenName Demetri
163 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016347323445.35
164 rdf:type schema:Person
165 sg:person.016366027737.61 schema:familyName Rangan
166 schema:givenName C. Pandu
167 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016366027737.61
168 rdf:type schema:Person
169 sg:person.07776170271.83 schema:familyName Naor
170 schema:givenName Moni
171 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07776170271.83
172 rdf:type schema:Person
173 sg:pub.10.1007/3-540-56734-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702589
174 https://doi.org/10.1007/3-540-56734-8
175 rdf:type schema:CreativeWork
176 sg:pub.10.1007/978-3-642-10439-8_49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033585096
177 https://doi.org/10.1007/978-3-642-10439-8_49
178 rdf:type schema:CreativeWork
179 sg:pub.10.1007/978-94-017-3598-8_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013771757
180 https://doi.org/10.1007/978-94-017-3598-8_11
181 rdf:type schema:CreativeWork
182 https://doi.org/10.1016/0168-0072(91)90068-w schema:sameAs https://app.dimensions.ai/details/publication/pub.1002917578
183 rdf:type schema:CreativeWork
184 https://doi.org/10.1016/j.jal.2009.06.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019674856
185 rdf:type schema:CreativeWork
186 https://www.grid.ac/institutes/grid.5290.e schema:alternateName Waseda University
187 schema:name Waseda Institute for Advanced Study, Waseda University, 1-6-1 Nishi Waseda, Shinjuku-ku, Tokyo 169-8050, Japan
188 rdf:type schema:Organization
 




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


...