An alternative approach to the semantics of disjunctive logic programs and deductive databases View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1994-02

AUTHORS

Chiaki Sakama, Katsumi Inoue

ABSTRACT

In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of disjunctive logic programs. The possible model semantics is an alternative theoretical framework to the classical minimal model semantics and provides a flexible inference mechanism for inferring negation in disjunctive logic programs. We also present a proof procedure for the possible model semantics and show that the possible model semantics has an advantage from the computational complexity point of view. More... »

PAGES

145-172

References to SciGraph publications

  • 1991-08. Stable semantics for disjunctive programs in NEW GENERATION COMPUTING
  • 1991-08. Classical negation in logic programs and disjunctive databases in NEW GENERATION COMPUTING
  • 1993-09. Disjunctive LP+integrity constraints= stable model semantics in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 1989-09. Weak Generalized Closed World Assumption in JOURNAL OF AUTOMATED REASONING
  • 1988-12. Inferring negative information from disjunctive databases in JOURNAL OF AUTOMATED REASONING
  • 1992. Embedding negation as failure into a model generation theorem prover in AUTOMATED DEDUCTION—CADE-11
  • 1978. On Closed World Data Bases in LOGIC AND DATA BASES
  • 1988. SATCHMO: A theorem prover implemented in Prolog in 9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
  • 1992-06. Generalized disjunctive well-founded semantics for logic programs in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 1982. On indefinite databases and the closed world assumption in 6TH CONFERENCE ON AUTOMATED DEDUCTION
  • 1978. Negation as Failure in LOGIC AND DATA BASES
  • 1992-06. Formalizing a logic for logic programming in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 1991. Semantics of disjunctive logic programs and deductive databases in DEDUCTIVE AND OBJECT-ORIENTED DATABASES
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bf00881915

    DOI

    http://dx.doi.org/10.1007/bf00881915

    DIMENSIONS

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


    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": [
          {
            "affiliation": {
              "alternateName": "Advanced Science, Technology & Management Research Institute of Kyoto", 
              "id": "https://www.grid.ac/institutes/grid.471419.e", 
              "name": [
                "Advanced Software Technology and Mechatronics Research Institute of Kyoto, 17 Chudoji Minami-machi, Shimogyo, 600, Kyoto, 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, Toyohashi, 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-0-934613-40-8.50016-6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002714613"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "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": "sg:pub.10.1007/bfb0000066", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1004234601", 
              "https://doi.org/10.1007/bfb0000066"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-55602-8_180", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005271410", 
              "https://doi.org/10.1007/3-540-55602-8_180"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(92)90019-c", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1009190114"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(90)90032-z", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010453766"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/153850.153864", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018478248"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01543479", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018883679", 
              "https://doi.org/10.1007/bf01543479"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01543479", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1018883679", 
              "https://doi.org/10.1007/bf01543479"
            ], 
            "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": "sg:pub.10.1007/bf01543473", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025591506", 
              "https://doi.org/10.1007/bf01543473"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01543473", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025591506", 
              "https://doi.org/10.1007/bf01543473"
            ], 
            "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": "sg:pub.10.1007/bf00297247", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026759736", 
              "https://doi.org/10.1007/bf00297247"
            ], 
            "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/b978-0-444-88433-6.50028-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1029074111"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012847", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031681210", 
              "https://doi.org/10.1007/bfb0012847"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4684-3384-5_11", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032205900", 
              "https://doi.org/10.1007/978-1-4684-3384-5_11"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-55015-1_5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032546285", 
              "https://doi.org/10.1007/3-540-55015-1_5"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-934613-40-8.50006-3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032550618"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/b978-0-444-88433-6.50029-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034910133"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00248321", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035100456", 
              "https://doi.org/10.1007/bf00248321"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00248321", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1035100456", 
              "https://doi.org/10.1007/bf00248321"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01530802", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040741957", 
              "https://doi.org/10.1007/bf01530802"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/321978.321991", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1042730246"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(90)90101-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046877456"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0004-3702(90)90101-5", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1046877456"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1145/116825.116836", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051648473"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4684-3384-5_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052783206", 
              "https://doi.org/10.1007/978-1-4684-3384-5_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1109/69.219736", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1061213210"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1994-02", 
        "datePublishedReg": "1994-02-01", 
        "description": "In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of disjunctive logic programs. The possible model semantics is an alternative theoretical framework to the classical minimal model semantics and provides a flexible inference mechanism for inferring negation in disjunctive logic programs. We also present a proof procedure for the possible model semantics and show that the possible model semantics has an advantage from the computational complexity point of view.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/bf00881915", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "13"
          }
        ], 
        "name": "An alternative approach to the semantics of disjunctive logic programs and deductive databases", 
        "pagination": "145-172", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "e48a8e9f1019d79d74d1547b109cda5447f4504d173e9485601a88168f8355e1"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bf00881915"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1047974635"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/bf00881915", 
          "https://app.dimensions.ai/details/publication/pub.1047974635"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-10T17:25", 
        "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_8672_00000483.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "http://link.springer.com/10.1007/BF00881915"
      }
    ]
     

    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/bf00881915'

    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/bf00881915'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf00881915'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf00881915'


     

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

    165 TRIPLES      21 PREDICATES      54 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bf00881915 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author N4ae52df221c54800859dfb9b8539675a
    4 schema:citation sg:pub.10.1007/3-540-55015-1_5
    5 sg:pub.10.1007/3-540-55602-8_180
    6 sg:pub.10.1007/978-1-4684-3384-5_11
    7 sg:pub.10.1007/978-1-4684-3384-5_3
    8 sg:pub.10.1007/bf00248321
    9 sg:pub.10.1007/bf00297247
    10 sg:pub.10.1007/bf01530802
    11 sg:pub.10.1007/bf01543473
    12 sg:pub.10.1007/bf01543479
    13 sg:pub.10.1007/bf03037169
    14 sg:pub.10.1007/bf03037171
    15 sg:pub.10.1007/bfb0000066
    16 sg:pub.10.1007/bfb0012847
    17 https://doi.org/10.1016/0004-3702(80)90011-9
    18 https://doi.org/10.1016/0004-3702(90)90101-5
    19 https://doi.org/10.1016/0304-3975(92)90019-c
    20 https://doi.org/10.1016/0743-1066(90)90032-z
    21 https://doi.org/10.1016/b978-0-444-88433-6.50028-9
    22 https://doi.org/10.1016/b978-0-444-88433-6.50029-0
    23 https://doi.org/10.1016/b978-0-934613-40-8.50006-3
    24 https://doi.org/10.1016/b978-0-934613-40-8.50009-9
    25 https://doi.org/10.1016/b978-0-934613-40-8.50016-6
    26 https://doi.org/10.1016/b978-1-4832-1452-8.50123-8
    27 https://doi.org/10.1109/69.219736
    28 https://doi.org/10.1145/116825.116836
    29 https://doi.org/10.1145/153850.153864
    30 https://doi.org/10.1145/321978.321991
    31 schema:datePublished 1994-02
    32 schema:datePublishedReg 1994-02-01
    33 schema:description In this paper, we study a new semantics of logic programming and deductive databases. Thepossible model semantics is introduced as a declarative semantics of disjunctive logic programs. The possible model semantics is an alternative theoretical framework to the classical minimal model semantics and provides a flexible inference mechanism for inferring negation in disjunctive logic programs. We also present a proof procedure for the possible model semantics and show that the possible model semantics has an advantage from the computational complexity point of view.
    34 schema:genre research_article
    35 schema:inLanguage en
    36 schema:isAccessibleForFree false
    37 schema:isPartOf N2fffdf0b667d4df9b0005b547ed7f391
    38 N34eb1b8bc92c42e9bea25499913e0d68
    39 sg:journal.1136522
    40 schema:name An alternative approach to the semantics of disjunctive logic programs and deductive databases
    41 schema:pagination 145-172
    42 schema:productId N60d7d666275c4ff9aa51538b1413e938
    43 N866e65f4b19b42e8af3a247c0fc0ef84
    44 Naaa2378b38d745dd886189caad9d60d5
    45 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047974635
    46 https://doi.org/10.1007/bf00881915
    47 schema:sdDatePublished 2019-04-10T17:25
    48 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    49 schema:sdPublisher Nb43fcfe7a0d9482497427d0a4ae65589
    50 schema:url http://link.springer.com/10.1007/BF00881915
    51 sgo:license sg:explorer/license/
    52 sgo:sdDataset articles
    53 rdf:type schema:ScholarlyArticle
    54 N2fffdf0b667d4df9b0005b547ed7f391 schema:volumeNumber 13
    55 rdf:type schema:PublicationVolume
    56 N34eb1b8bc92c42e9bea25499913e0d68 schema:issueNumber 1
    57 rdf:type schema:PublicationIssue
    58 N4ae52df221c54800859dfb9b8539675a rdf:first sg:person.013007416304.21
    59 rdf:rest N8b6e1fd225244ffe958f61184d14f405
    60 N60d7d666275c4ff9aa51538b1413e938 schema:name readcube_id
    61 schema:value e48a8e9f1019d79d74d1547b109cda5447f4504d173e9485601a88168f8355e1
    62 rdf:type schema:PropertyValue
    63 N866e65f4b19b42e8af3a247c0fc0ef84 schema:name dimensions_id
    64 schema:value pub.1047974635
    65 rdf:type schema:PropertyValue
    66 N8b6e1fd225244ffe958f61184d14f405 rdf:first sg:person.012712054671.81
    67 rdf:rest rdf:nil
    68 Naaa2378b38d745dd886189caad9d60d5 schema:name doi
    69 schema:value 10.1007/bf00881915
    70 rdf:type schema:PropertyValue
    71 Nb43fcfe7a0d9482497427d0a4ae65589 schema:name Springer Nature - SN SciGraph project
    72 rdf:type schema:Organization
    73 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Information and Computing Sciences
    75 rdf:type schema:DefinedTerm
    76 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Computation Theory and Mathematics
    78 rdf:type schema:DefinedTerm
    79 sg:journal.1136522 schema:issn 0168-7433
    80 1573-0670
    81 schema:name Journal of Automated Reasoning
    82 rdf:type schema:Periodical
    83 sg:person.012712054671.81 schema:affiliation https://www.grid.ac/institutes/grid.412804.b
    84 schema:familyName Inoue
    85 schema:givenName Katsumi
    86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012712054671.81
    87 rdf:type schema:Person
    88 sg:person.013007416304.21 schema:affiliation https://www.grid.ac/institutes/grid.471419.e
    89 schema:familyName Sakama
    90 schema:givenName Chiaki
    91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013007416304.21
    92 rdf:type schema:Person
    93 sg:pub.10.1007/3-540-55015-1_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032546285
    94 https://doi.org/10.1007/3-540-55015-1_5
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/3-540-55602-8_180 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005271410
    97 https://doi.org/10.1007/3-540-55602-8_180
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/978-1-4684-3384-5_11 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032205900
    100 https://doi.org/10.1007/978-1-4684-3384-5_11
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/978-1-4684-3384-5_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052783206
    103 https://doi.org/10.1007/978-1-4684-3384-5_3
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/bf00248321 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035100456
    106 https://doi.org/10.1007/bf00248321
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/bf00297247 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026759736
    109 https://doi.org/10.1007/bf00297247
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/bf01530802 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040741957
    112 https://doi.org/10.1007/bf01530802
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/bf01543473 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025591506
    115 https://doi.org/10.1007/bf01543473
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/bf01543479 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018883679
    118 https://doi.org/10.1007/bf01543479
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/bf03037169 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025338679
    121 https://doi.org/10.1007/bf03037169
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/bf03037171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027440265
    124 https://doi.org/10.1007/bf03037171
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/bfb0000066 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004234601
    127 https://doi.org/10.1007/bfb0000066
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/bfb0012847 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031681210
    130 https://doi.org/10.1007/bfb0012847
    131 rdf:type schema:CreativeWork
    132 https://doi.org/10.1016/0004-3702(80)90011-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025745623
    133 rdf:type schema:CreativeWork
    134 https://doi.org/10.1016/0004-3702(90)90101-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046877456
    135 rdf:type schema:CreativeWork
    136 https://doi.org/10.1016/0304-3975(92)90019-c schema:sameAs https://app.dimensions.ai/details/publication/pub.1009190114
    137 rdf:type schema:CreativeWork
    138 https://doi.org/10.1016/0743-1066(90)90032-z schema:sameAs https://app.dimensions.ai/details/publication/pub.1010453766
    139 rdf:type schema:CreativeWork
    140 https://doi.org/10.1016/b978-0-444-88433-6.50028-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029074111
    141 rdf:type schema:CreativeWork
    142 https://doi.org/10.1016/b978-0-444-88433-6.50029-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034910133
    143 rdf:type schema:CreativeWork
    144 https://doi.org/10.1016/b978-0-934613-40-8.50006-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032550618
    145 rdf:type schema:CreativeWork
    146 https://doi.org/10.1016/b978-0-934613-40-8.50009-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028488518
    147 rdf:type schema:CreativeWork
    148 https://doi.org/10.1016/b978-0-934613-40-8.50016-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002714613
    149 rdf:type schema:CreativeWork
    150 https://doi.org/10.1016/b978-1-4832-1452-8.50123-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002932913
    151 rdf:type schema:CreativeWork
    152 https://doi.org/10.1109/69.219736 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061213210
    153 rdf:type schema:CreativeWork
    154 https://doi.org/10.1145/116825.116836 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051648473
    155 rdf:type schema:CreativeWork
    156 https://doi.org/10.1145/153850.153864 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018478248
    157 rdf:type schema:CreativeWork
    158 https://doi.org/10.1145/321978.321991 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042730246
    159 rdf:type schema:CreativeWork
    160 https://www.grid.ac/institutes/grid.412804.b schema:alternateName Toyohashi University of Technology
    161 schema:name Department of Information and Computer Sciences, Toyohashi University of Technology, Tempaku-cho, 441, Toyohashi, Japan
    162 rdf:type schema:Organization
    163 https://www.grid.ac/institutes/grid.471419.e schema:alternateName Advanced Science, Technology & Management Research Institute of Kyoto
    164 schema:name Advanced Software Technology and Mechatronics Research Institute of Kyoto, 17 Chudoji Minami-machi, Shimogyo, 600, Kyoto, Japan
    165 rdf:type schema:Organization
     




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


    ...