Partial deduction of disjunctive logic programs: A declarative approach View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1994

AUTHORS

Chiaki Sakama , Hirohisa Seki

ABSTRACT

This paper presents a partial deduction method for disjunctive logic programs. We first show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the stable model semantics of normal disjunctive programs. Goal-oriented partial deduction is also presented for query optimization. More... »

PAGES

170-182

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
  • 1994. A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation in INNOVATIONEN BEI RECHEN- UND KOMMUNIKATIONSSYSTEMEN
  • 1982. On indefinite databases and the closed world assumption in 6TH CONFERENCE ON AUTOMATED DEDUCTION
  • 1992. An introduction to partial deduction in META-PROGRAMMING IN LOGIC
  • 1988-09. Annotated bibliography on partial evaluation and mixed computation in NEW GENERATION COMPUTING
  • Book

    TITLE

    Logic Program Synthesis and Transformation — Meta-Programming in Logic

    ISBN

    978-3-540-58792-7
    978-3-540-49104-0

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-58792-6_11

    DOI

    http://dx.doi.org/10.1007/3-540-58792-6_11

    DIMENSIONS

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


    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": "Nagoya Institute of Technology", 
              "id": "https://www.grid.ac/institutes/grid.47716.33", 
              "name": [
                "Department of Artificial Intelligence and Computer Science, Nagoya Institute of Technology, Gokiso, Showa-ku, 466\u00a0Nagoya, Japan"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Seki", 
            "givenName": "Hirohisa", 
            "id": "sg:person.013430634536.40", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013430634536.40"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "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/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/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": "sg:pub.10.1007/3-540-56282-6_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030666912", 
              "https://doi.org/10.1007/3-540-56282-6_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-51136-3_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031241056", 
              "https://doi.org/10.1007/978-3-642-51136-3_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(91)90027-m", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034776089"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0304-3975(91)90007-o", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1041682099"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037145", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047071302", 
              "https://doi.org/10.1007/bf03037145"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf03037145", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047071302", 
              "https://doi.org/10.1007/bf03037145"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/0743-1066(93)90021-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1047735432"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1994", 
        "datePublishedReg": "1994-01-01", 
        "description": "This paper presents a partial deduction method for disjunctive logic programs. We first show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the stable model semantics of normal disjunctive programs. Goal-oriented partial deduction is also presented for query optimization.", 
        "editor": [
          {
            "familyName": "Fribourg", 
            "givenName": "Laurent", 
            "type": "Person"
          }, 
          {
            "familyName": "Turini", 
            "givenName": "Franco", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-58792-6_11", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": {
          "isbn": [
            "978-3-540-58792-7", 
            "978-3-540-49104-0"
          ], 
          "name": "Logic Program Synthesis and Transformation \u2014 Meta-Programming in Logic", 
          "type": "Book"
        }, 
        "name": "Partial deduction of disjunctive logic programs: A declarative approach", 
        "pagination": "170-182", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-58792-6_11"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "39f852e198c473a509e6339afeaf4aa0a8a689d3d82ec06c2ee5d0aa6d19aba8"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1012167606"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-58792-6_11", 
          "https://app.dimensions.ai/details/publication/pub.1012167606"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T23:37", 
        "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_8697_00000020.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-58792-6_11"
      }
    ]
     

    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-58792-6_11'

    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-58792-6_11'

    Turtle is a human-readable linked data format.

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

    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-58792-6_11'


     

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

    113 TRIPLES      23 PREDICATES      36 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-58792-6_11 schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author Na70cd1397cf74d0fbbc4ff30c6fc5134
    4 schema:citation sg:pub.10.1007/3-540-56282-6_4
    5 sg:pub.10.1007/978-3-642-51136-3_13
    6 sg:pub.10.1007/bf03037145
    7 sg:pub.10.1007/bf03037169
    8 sg:pub.10.1007/bf03037171
    9 sg:pub.10.1007/bfb0000066
    10 https://doi.org/10.1016/0304-3975(91)90007-o
    11 https://doi.org/10.1016/0743-1066(91)90027-m
    12 https://doi.org/10.1016/0743-1066(93)90021-8
    13 schema:datePublished 1994
    14 schema:datePublishedReg 1994-01-01
    15 schema:description This paper presents a partial deduction method for disjunctive logic programs. We first show that standard partial deduction in logic programming is not applicable as it is in the context of disjunctive logic programs. Then we introduce a new partial deduction technique for disjunctive logic programs, and show that it preserves the minimal model semantics of positive disjunctive programs, and the stable model semantics of normal disjunctive programs. Goal-oriented partial deduction is also presented for query optimization.
    16 schema:editor N7c126aa4949546bd821ca6889b7621f9
    17 schema:genre chapter
    18 schema:inLanguage en
    19 schema:isAccessibleForFree true
    20 schema:isPartOf N6aa13540a6f148b28de0a1538a125e9a
    21 schema:name Partial deduction of disjunctive logic programs: A declarative approach
    22 schema:pagination 170-182
    23 schema:productId N1163e020e36e43db99a3fc65956f079d
    24 N1de4a4221011416291f97a4489bf33d6
    25 Nb45c1e0f5da44bbc973ad70ef3a3d23e
    26 schema:publisher N39b42c33d58044808f09c4e7baa2f104
    27 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012167606
    28 https://doi.org/10.1007/3-540-58792-6_11
    29 schema:sdDatePublished 2019-04-15T23:37
    30 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    31 schema:sdPublisher N4b2a06fb35634b488ea9c8cb3f7bfa7c
    32 schema:url http://link.springer.com/10.1007/3-540-58792-6_11
    33 sgo:license sg:explorer/license/
    34 sgo:sdDataset chapters
    35 rdf:type schema:Chapter
    36 N10cf74633e594cddb59863e343635758 schema:familyName Fribourg
    37 schema:givenName Laurent
    38 rdf:type schema:Person
    39 N1163e020e36e43db99a3fc65956f079d schema:name dimensions_id
    40 schema:value pub.1012167606
    41 rdf:type schema:PropertyValue
    42 N1de4a4221011416291f97a4489bf33d6 schema:name readcube_id
    43 schema:value 39f852e198c473a509e6339afeaf4aa0a8a689d3d82ec06c2ee5d0aa6d19aba8
    44 rdf:type schema:PropertyValue
    45 N39b42c33d58044808f09c4e7baa2f104 schema:location Berlin, Heidelberg
    46 schema:name Springer Berlin Heidelberg
    47 rdf:type schema:Organisation
    48 N4b2a06fb35634b488ea9c8cb3f7bfa7c schema:name Springer Nature - SN SciGraph project
    49 rdf:type schema:Organization
    50 N6aa13540a6f148b28de0a1538a125e9a schema:isbn 978-3-540-49104-0
    51 978-3-540-58792-7
    52 schema:name Logic Program Synthesis and Transformation — Meta-Programming in Logic
    53 rdf:type schema:Book
    54 N7c126aa4949546bd821ca6889b7621f9 rdf:first N10cf74633e594cddb59863e343635758
    55 rdf:rest N9a28f4c18a1047d380f189d1378a4852
    56 N9a28f4c18a1047d380f189d1378a4852 rdf:first Ndb5a855642e44d588c1606b8684caee7
    57 rdf:rest rdf:nil
    58 Na2f35ea4be984ddeb77d8f23c8e612a2 rdf:first sg:person.013430634536.40
    59 rdf:rest rdf:nil
    60 Na70cd1397cf74d0fbbc4ff30c6fc5134 rdf:first sg:person.013007416304.21
    61 rdf:rest Na2f35ea4be984ddeb77d8f23c8e612a2
    62 Nb45c1e0f5da44bbc973ad70ef3a3d23e schema:name doi
    63 schema:value 10.1007/3-540-58792-6_11
    64 rdf:type schema:PropertyValue
    65 Ndb5a855642e44d588c1606b8684caee7 schema:familyName Turini
    66 schema:givenName Franco
    67 rdf:type schema:Person
    68 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    69 schema:name Information and Computing Sciences
    70 rdf:type schema:DefinedTerm
    71 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    72 schema:name Computer Software
    73 rdf:type schema:DefinedTerm
    74 sg:person.013007416304.21 schema:affiliation https://www.grid.ac/institutes/grid.471419.e
    75 schema:familyName Sakama
    76 schema:givenName Chiaki
    77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013007416304.21
    78 rdf:type schema:Person
    79 sg:person.013430634536.40 schema:affiliation https://www.grid.ac/institutes/grid.47716.33
    80 schema:familyName Seki
    81 schema:givenName Hirohisa
    82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013430634536.40
    83 rdf:type schema:Person
    84 sg:pub.10.1007/3-540-56282-6_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030666912
    85 https://doi.org/10.1007/3-540-56282-6_4
    86 rdf:type schema:CreativeWork
    87 sg:pub.10.1007/978-3-642-51136-3_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031241056
    88 https://doi.org/10.1007/978-3-642-51136-3_13
    89 rdf:type schema:CreativeWork
    90 sg:pub.10.1007/bf03037145 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047071302
    91 https://doi.org/10.1007/bf03037145
    92 rdf:type schema:CreativeWork
    93 sg:pub.10.1007/bf03037169 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025338679
    94 https://doi.org/10.1007/bf03037169
    95 rdf:type schema:CreativeWork
    96 sg:pub.10.1007/bf03037171 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027440265
    97 https://doi.org/10.1007/bf03037171
    98 rdf:type schema:CreativeWork
    99 sg:pub.10.1007/bfb0000066 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004234601
    100 https://doi.org/10.1007/bfb0000066
    101 rdf:type schema:CreativeWork
    102 https://doi.org/10.1016/0304-3975(91)90007-o schema:sameAs https://app.dimensions.ai/details/publication/pub.1041682099
    103 rdf:type schema:CreativeWork
    104 https://doi.org/10.1016/0743-1066(91)90027-m schema:sameAs https://app.dimensions.ai/details/publication/pub.1034776089
    105 rdf:type schema:CreativeWork
    106 https://doi.org/10.1016/0743-1066(93)90021-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047735432
    107 rdf:type schema:CreativeWork
    108 https://www.grid.ac/institutes/grid.471419.e schema:alternateName Advanced Science, Technology & Management Research Institute of Kyoto
    109 schema:name ASTEM Research Institute of Kyoto, 17 Chudoji Minami-machi, Shimogyo, 600 Kyoto, Japan
    110 rdf:type schema:Organization
    111 https://www.grid.ac/institutes/grid.47716.33 schema:alternateName Nagoya Institute of Technology
    112 schema:name Department of Artificial Intelligence and Computer Science, Nagoya Institute of Technology, Gokiso, Showa-ku, 466 Nagoya, Japan
    113 rdf:type schema:Organization
     




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


    ...