Embedding circumscriptive theories in general disjunctive programs View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1995

AUTHORS

Chiaki Sakama , Katsumi Inoue

ABSTRACT

This paper presents a method of embedding circumscriptive theories in general disjunctive programs. In a general disjunctive program, negation as failure occurs not only in the body but in the head of a rule. In this setting, minimized predicates of a circumscriptive theory are specified using the negation in the body, while fixed and varying predicates are expressed by the negation in the head. Moreover, the translation implies a close relationship between circumscription and abductive logic programming. That is, fixed and varying predicates in a circumscriptive theory are also viewed as abducible predicates in an abductive disjunctive program. Our method of translating circumscription into logic programming is fairly general compared with the existing approaches and exploits new applications of logic programming for representing commonsense knowledge. More... »

PAGES

344-357

References to SciGraph publications

  • 1991-08. Stable semantics for disjunctive programs in NEW GENERATION COMPUTING
  • 1993-06. Autoepistemic circumscription and logic programming in JOURNAL OF AUTOMATED REASONING
  • 1991-08. Classical negation in logic programs and disjunctive databases in NEW GENERATION COMPUTING
  • 1989. Compiling circumscriptive theories into logic programs in NON-MONOTONIC REASONING
  • 1995. From disjunctive programs to abduction in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING
  • Book

    TITLE

    Logic Programming and Nonmonotonic Reasoning

    ISBN

    978-3-540-59487-1
    978-3-540-49282-5

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-59487-6_25

    DOI

    http://dx.doi.org/10.1007/3-540-59487-6_25

    DIMENSIONS

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


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "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": [
          {
            "affiliation": {
              "alternateName": "Advanced Science, Technology & Management Research Institute of Kyoto", 
              "id": "https://www.grid.ac/institutes/grid.471419.e", 
              "name": [
                "ASTEM Research Institute of Kyoto, 17 Chudoji Minami-machi, Shimogyo, 600\u00a0Kyoto, Japan"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sakama", 
            "givenName": "Chiaki", 
            "id": "sg:person.013007416304.21", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013007416304.21"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Toyohashi University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.412804.b", 
              "name": [
                "Department of Information and Computer Sciences, Toyohashi University of Technology, Tempaku-cho, 441\u00a0Toyohashi, Japan"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Inoue", 
            "givenName": "Katsumi", 
            "id": "sg:person.012712054671.81", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012712054671.81"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "https://doi.org/10.1016/b978-1-4832-1452-8.50123-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002932913"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-934613-40-8.50008-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004316598"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90067-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004428593"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(89)90067-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004428593"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-1-4832-1453-5.50018-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007686427"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-50701-9_21", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011563847", 
              "https://doi.org/10.1007/3-540-50701-9_21"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90019-t", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015933610"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90019-t", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1015933610"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90051-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019192212"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90051-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1019192212"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037169", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025338679", 
              "https://doi.org/10.1007/bf03037169"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037169", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025338679", 
              "https://doi.org/10.1007/bf03037169"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(80)90011-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025745623"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(80)90011-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025745623"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(94)90103-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026015288"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(94)90103-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026015288"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027440265", 
              "https://doi.org/10.1007/bf03037171"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037171", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027440265", 
              "https://doi.org/10.1007/bf03037171"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-934613-40-8.50009-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1028488518"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(85)90040-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036048083"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(85)90040-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036048083"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0030658", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044483572", 
              "https://doi.org/10.1007/bfb0030658"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90030-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050698544"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(92)90030-2", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050698544"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00881833", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051632093", 
              "https://doi.org/10.1007/bf00881833"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(85)90055-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052271488"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(85)90055-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052271488"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1093/logcom/2.6.719", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1059875518"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1995", 
        "datePublishedReg": "1995-01-01", 
        "description": "This paper presents a method of embedding circumscriptive theories in general disjunctive programs. In a general disjunctive program, negation as failure occurs not only in the body but in the head of a rule. In this setting, minimized predicates of a circumscriptive theory are specified using the negation in the body, while fixed and varying predicates are expressed by the negation in the head. Moreover, the translation implies a close relationship between circumscription and abductive logic programming. That is, fixed and varying predicates in a circumscriptive theory are also viewed as abducible predicates in an abductive disjunctive program. Our method of translating circumscription into logic programming is fairly general compared with the existing approaches and exploits new applications of logic programming for representing commonsense knowledge.", 
        "editor": [
          {
            "familyName": "Marek", 
            "givenName": "V. Wiktor", 
            "type": "Person"
          }, 
          {
            "familyName": "Nerode", 
            "givenName": "Anil", 
            "type": "Person"
          }, 
          {
            "familyName": "Truszczy\u0144ski", 
            "givenName": "M.", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-59487-6_25", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-59487-1", 
            "978-3-540-49282-5"
          ], 
          "name": "Logic Programming and Nonmonotonic Reasoning", 
          "type": "Book"
        }, 
        "name": "Embedding circumscriptive theories in general disjunctive programs", 
        "pagination": "344-357", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-59487-6_25"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "7fcce837b1b46c760c741297e591e7d79c05d5fe0d90b8239953ee5b2612873c"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1026827374"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-59487-6_25", 
          "https://app.dimensions.ai/details/publication/pub.1026827374"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T22:42", 
        "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_8695_00000046.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-59487-6_25"
      }
    ]
     

    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/3-540-59487-6_25'

    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/3-540-59487-6_25'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-59487-6_25'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-59487-6_25'


     

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

    144 TRIPLES      23 PREDICATES      45 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-59487-6_25 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Na994ca414a244563b59ffcca1c084180
    4 schema:citation sg:pub.10.1007/3-540-50701-9_21
    5 sg:pub.10.1007/bf00881833
    6 sg:pub.10.1007/bf03037169
    7 sg:pub.10.1007/bf03037171
    8 sg:pub.10.1007/bfb0030658
    9 https://doi.org/10.1016/0004-3702(80)90011-9
    10 https://doi.org/10.1016/0004-3702(85)90040-2
    11 https://doi.org/10.1016/0004-3702(85)90055-4
    12 https://doi.org/10.1016/0004-3702(89)90067-2
    13 https://doi.org/10.1016/0004-3702(92)90019-t
    14 https://doi.org/10.1016/0004-3702(92)90030-2
    15 https://doi.org/10.1016/0004-3702(92)90051-x
    16 https://doi.org/10.1016/0004-3702(94)90103-1
    17 https://doi.org/10.1016/b978-0-934613-40-8.50008-7
    18 https://doi.org/10.1016/b978-0-934613-40-8.50009-9
    19 https://doi.org/10.1016/b978-1-4832-1452-8.50123-8
    20 https://doi.org/10.1016/b978-1-4832-1453-5.50018-0
    21 https://doi.org/10.1093/logcom/2.6.719
    22 schema:datePublished 1995
    23 schema:datePublishedReg 1995-01-01
    24 schema:description This paper presents a method of embedding circumscriptive theories in general disjunctive programs. In a general disjunctive program, negation as failure occurs not only in the body but in the head of a rule. In this setting, minimized predicates of a circumscriptive theory are specified using the negation in the body, while fixed and varying predicates are expressed by the negation in the head. Moreover, the translation implies a close relationship between circumscription and abductive logic programming. That is, fixed and varying predicates in a circumscriptive theory are also viewed as abducible predicates in an abductive disjunctive program. Our method of translating circumscription into logic programming is fairly general compared with the existing approaches and exploits new applications of logic programming for representing commonsense knowledge.
    25 schema:editor Neac5b50dae2f41eca7422f9484886394
    26 schema:genre chapter
    27 schema:inLanguage en
    28 schema:isAccessibleForFree true
    29 schema:isPartOf N7fee49cbdb764e54903cea504d73b7f3
    30 schema:name Embedding circumscriptive theories in general disjunctive programs
    31 schema:pagination 344-357
    32 schema:productId N09331003aa0749ba843e6761756845b3
    33 N482ebb7fdd8d4d9982410649f0f15ffe
    34 N65a21027113d47ed99b5ef30aba339e5
    35 schema:publisher N851ba3236aeb4990a46afdb87668eddc
    36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026827374
    37 https://doi.org/10.1007/3-540-59487-6_25
    38 schema:sdDatePublished 2019-04-15T22:42
    39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    40 schema:sdPublisher Nec96de33183b4d799bc5f33d078a10b9
    41 schema:url http://link.springer.com/10.1007/3-540-59487-6_25
    42 sgo:license sg:explorer/license/
    43 sgo:sdDataset chapters
    44 rdf:type schema:Chapter
    45 N09331003aa0749ba843e6761756845b3 schema:name readcube_id
    46 schema:value 7fcce837b1b46c760c741297e591e7d79c05d5fe0d90b8239953ee5b2612873c
    47 rdf:type schema:PropertyValue
    48 N3790fc5027da4a5690b1fed988c60b03 schema:familyName Nerode
    49 schema:givenName Anil
    50 rdf:type schema:Person
    51 N482ebb7fdd8d4d9982410649f0f15ffe schema:name dimensions_id
    52 schema:value pub.1026827374
    53 rdf:type schema:PropertyValue
    54 N65a21027113d47ed99b5ef30aba339e5 schema:name doi
    55 schema:value 10.1007/3-540-59487-6_25
    56 rdf:type schema:PropertyValue
    57 N7fee49cbdb764e54903cea504d73b7f3 schema:isbn 978-3-540-49282-5
    58 978-3-540-59487-1
    59 schema:name Logic Programming and Nonmonotonic Reasoning
    60 rdf:type schema:Book
    61 N851ba3236aeb4990a46afdb87668eddc schema:location Berlin, Heidelberg
    62 schema:name Springer Berlin Heidelberg
    63 rdf:type schema:Organisation
    64 N89a3771c25a440048ff729b5307ce492 rdf:first N3790fc5027da4a5690b1fed988c60b03
    65 rdf:rest Nd8ab5294e23647149b03ab5035d3b8dd
    66 N912ad38df5414289b36f81304caacd6f schema:familyName Truszczyński
    67 schema:givenName M.
    68 rdf:type schema:Person
    69 Na2ec3ccf9d1b4a43aaa8c52e4d6bf672 schema:familyName Marek
    70 schema:givenName V. Wiktor
    71 rdf:type schema:Person
    72 Na994ca414a244563b59ffcca1c084180 rdf:first sg:person.013007416304.21
    73 rdf:rest Nd02949e5dbd4418888ac34d5f0308b84
    74 Nd02949e5dbd4418888ac34d5f0308b84 rdf:first sg:person.012712054671.81
    75 rdf:rest rdf:nil
    76 Nd8ab5294e23647149b03ab5035d3b8dd rdf:first N912ad38df5414289b36f81304caacd6f
    77 rdf:rest rdf:nil
    78 Neac5b50dae2f41eca7422f9484886394 rdf:first Na2ec3ccf9d1b4a43aaa8c52e4d6bf672
    79 rdf:rest N89a3771c25a440048ff729b5307ce492
    80 Nec96de33183b4d799bc5f33d078a10b9 schema:name Springer Nature - SN SciGraph project
    81 rdf:type schema:Organization
    82 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    83 schema:name Information and Computing Sciences
    84 rdf:type schema:DefinedTerm
    85 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    86 schema:name Computer Software
    87 rdf:type schema:DefinedTerm
    88 sg:person.012712054671.81 schema:affiliation https://www.grid.ac/institutes/grid.412804.b
    89 schema:familyName Inoue
    90 schema:givenName Katsumi
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012712054671.81
    92 rdf:type schema:Person
    93 sg:person.013007416304.21 schema:affiliation https://www.grid.ac/institutes/grid.471419.e
    94 schema:familyName Sakama
    95 schema:givenName Chiaki
    96 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013007416304.21
    97 rdf:type schema:Person
    98 sg:pub.10.1007/3-540-50701-9_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011563847
    99 https://doi.org/10.1007/3-540-50701-9_21
    100 rdf:type schema:CreativeWork
    101 sg:pub.10.1007/bf00881833 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051632093
    102 https://doi.org/10.1007/bf00881833
    103 rdf:type schema:CreativeWork
    104 sg:pub.10.1007/bf03037169 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025338679
    105 https://doi.org/10.1007/bf03037169
    106 rdf:type schema:CreativeWork
    107 sg:pub.10.1007/bf03037171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027440265
    108 https://doi.org/10.1007/bf03037171
    109 rdf:type schema:CreativeWork
    110 sg:pub.10.1007/bfb0030658 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044483572
    111 https://doi.org/10.1007/bfb0030658
    112 rdf:type schema:CreativeWork
    113 https://doi.org/10.1016/0004-3702(80)90011-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025745623
    114 rdf:type schema:CreativeWork
    115 https://doi.org/10.1016/0004-3702(85)90040-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036048083
    116 rdf:type schema:CreativeWork
    117 https://doi.org/10.1016/0004-3702(85)90055-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052271488
    118 rdf:type schema:CreativeWork
    119 https://doi.org/10.1016/0004-3702(89)90067-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004428593
    120 rdf:type schema:CreativeWork
    121 https://doi.org/10.1016/0004-3702(92)90019-t schema:sameAs https://app.dimensions.ai/details/publication/pub.1015933610
    122 rdf:type schema:CreativeWork
    123 https://doi.org/10.1016/0004-3702(92)90030-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050698544
    124 rdf:type schema:CreativeWork
    125 https://doi.org/10.1016/0004-3702(92)90051-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1019192212
    126 rdf:type schema:CreativeWork
    127 https://doi.org/10.1016/0004-3702(94)90103-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026015288
    128 rdf:type schema:CreativeWork
    129 https://doi.org/10.1016/b978-0-934613-40-8.50008-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004316598
    130 rdf:type schema:CreativeWork
    131 https://doi.org/10.1016/b978-0-934613-40-8.50009-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028488518
    132 rdf:type schema:CreativeWork
    133 https://doi.org/10.1016/b978-1-4832-1452-8.50123-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002932913
    134 rdf:type schema:CreativeWork
    135 https://doi.org/10.1016/b978-1-4832-1453-5.50018-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007686427
    136 rdf:type schema:CreativeWork
    137 https://doi.org/10.1093/logcom/2.6.719 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059875518
    138 rdf:type schema:CreativeWork
    139 https://www.grid.ac/institutes/grid.412804.b schema:alternateName Toyohashi University of Technology
    140 schema:name Department of Information and Computer Sciences, Toyohashi University of Technology, Tempaku-cho, 441 Toyohashi, Japan
    141 rdf:type schema:Organization
    142 https://www.grid.ac/institutes/grid.471419.e schema:alternateName Advanced Science, Technology & Management Research Institute of Kyoto
    143 schema:name ASTEM Research Institute of Kyoto, 17 Chudoji Minami-machi, Shimogyo, 600 Kyoto, Japan
    144 rdf:type schema:Organization
     




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


    ...